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

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

All Implemented Interfaces:

Function

Enclosing class:

CPAbstraction

protected class CPAbstraction.ExceptionHeaderFunction

extends CPAbstraction.CPFunction

Creates a new stack with only a CFPComponentLattice.NONNULLCOMPONENT.

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.ExceptionHeaderFunction()
Creates a new ExceptionHeaderFunction instance.

Method Summary

java.lang.Object	apply(java.lang.Object x) Creates a new stack with only a CFPComponentLattice.NONNULLCOMPONENT.
protected void	apply(java.lang.Object[] locals, java.util.Stack stack) Always throws an IllegalArgumentException.
java.lang.String	toString()

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

getDomain, getRange

Methods inherited from class java.lang.Object

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

Constructor Detail

CPAbstraction.ExceptionHeaderFunction

public CPAbstraction.ExceptionHeaderFunction()

Creates a new ExceptionHeaderFunction instance.

Method Detail

apply

public java.lang.Object apply(java.lang.Object x)
                       throws FunctionException

Creates a new stack with only a CFPComponentLattice.NONNULLCOMPONENT.

Overrides:

apply in class CPAbstraction.CPFunction

Parameters:

x - an Object value

Returns:

an Object value

Throws:

FunctionException - if an error occurs

apply

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

Always throws an IllegalArgumentException.

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