de.rwth.dfa.jvm.samples
Class SSAbstraction.SSFunction

java.lang.Object
  |
  +--de.rwth.dfa.jvm.samples.SSAbstraction.SSFunction

All Implemented Interfaces:

Function

Enclosing class:

SSAbstraction

protected class SSAbstraction.SSFunction

extends java.lang.Object

implements Function

This class models the functions of this abstraction.

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

Function.Tools

Field Summary

protected int	consume The number of operand stack elements consumed by this function.
protected int	produce The number of operand stack elements produced by this function.

Constructor Summary

SSAbstraction.SSFunction(de.fub.bytecode.generic.InstructionHandle ih)
Creates a new SSFunction instance.

Method Summary

java.lang.Object	apply(java.lang.Object o) Models the effect of the instruction of this function on the operand stack size.
Set	getDomain() Returns this abstractions instance of SSLattice.
Set	getRange() Returns this abstractions instance of SSLattice.

Methods inherited from class java.lang.Object

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

Field Detail

produce

protected int produce

The number of operand stack elements produced by this function.

consume

protected int consume

The number of operand stack elements consumed by this function.

Constructor Detail

SSAbstraction.SSFunction

public SSAbstraction.SSFunction(de.fub.bytecode.generic.InstructionHandle ih)

Creates a new SSFunction instance.

Parameters:

ih - an InstructionHandle value

Method Detail

apply

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

Models the effect of the instruction of this function on the operand stack size.

Specified by:

apply in interface Function

Parameters:

o - an Object value: Must be an element of SSLattice

Returns:

an Object value: Must be an element of SSLattice

Throws:

FunctionException - if an error occurs

getDomain

public Set getDomain()

Returns this abstractions instance of SSLattice.

Specified by:

getDomain in interface Function

Returns:

a Set value

getRange

public Set getRange()

Returns this abstractions instance of SSLattice.

Specified by:

getRange in interface Function

Returns:

a Set value