de.rwth.dfa.jvm.samples
Class CPAbstraction.IncLocalFunction

java.lang.Object
  |
  +--de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction
        |
        +--de.rwth.dfa.jvm.samples.CPAbstraction.IncLocalFunction

All Implemented Interfaces:

Function

Enclosing class:

CPAbstraction

protected class CPAbstraction.IncLocalFunction

extends CPAbstraction.CPFunction

Increments the content of a local variable slot.

Inner classes inherited from class de.rwth.domains.Function

Function.Tools

Field Summary

protected int	increment The increment to use.
protected int	index The local variable slot to increment.

Fields inherited from class de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction

consume, produce

Constructor Summary

CPAbstraction.IncLocalFunction(int index, int increment, int consume, int produce)
Creates a new IncLocalFunction instance.

Method Summary

protected void	apply(java.lang.Object[] locals, java.util.Stack stack) Increments the local variable slot of this function by this functions increment.
java.lang.String	toString()

Methods inherited from class de.rwth.dfa.jvm.samples.CPAbstraction.CPFunction

apply, getDomain, getRange

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

index

protected int index

The local variable slot to increment.

increment

protected int increment

The increment to use.

Constructor Detail

CPAbstraction.IncLocalFunction

public CPAbstraction.IncLocalFunction(int index,
                                      int increment,
                                      int consume,
                                      int produce)

Creates a new IncLocalFunction instance.

Parameters:

index - an int value

increment - an int value

consume - an int value

produce - an int value

Method Detail

apply

protected void apply(java.lang.Object[] locals,
                     java.util.Stack stack)
              throws FunctionException

Increments the local variable slot of this function by this functions increment.

Overrides:

apply in class CPAbstraction.CPFunction

Parameters:

locals - an Object[] value

stack - a Stack value

Throws:

FunctionException - if an error occurs

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object