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

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

All Implemented Interfaces:

Function

Enclosing class:

CPAbstraction

protected class CPAbstraction.AllocationFunction

extends CPAbstraction.CPFunction

Pushes a CFPComponentLattice.NONNULLCOMPONENT onto the stack.

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

Function.Tools

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

consume, produce

Constructor Summary

CPAbstraction.AllocationFunction(int consume, int produce)
Creates a new AllocationFunction instance.

Method Summary

protected void	apply(java.lang.Object[] locals, java.util.Stack stack) Removes as many elements from the stack as necessary, pushes as many CFPComponentLattice.UNKNOWNCOMPONENT as necessary, and pushed a CFPComponentLattice.NONNULLCOMPONENT.
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

Constructor Detail

CPAbstraction.AllocationFunction

public CPAbstraction.AllocationFunction(int consume,
                                        int produce)

Creates a new AllocationFunction instance.

Parameters:

consume - an int value

produce - an int value

Method Detail

apply

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

Removes as many elements from the stack as necessary, pushes as many CFPComponentLattice.UNKNOWNCOMPONENT as necessary, and pushed a CFPComponentLattice.NONNULLCOMPONENT.

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