Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.

See: Description

Interface Summary

Interface	Description
InvokeCleanup

Class Summary

Class	Description
InstanceInvokeHelper	Prepares the heap for the invoke of an instance method and cleans it afterwards.
InvokeHelper	An instance of this class is a helper for a specific invoke statement.
StaticInvokeHelper	Prepares the heap for the invoke of a static method and cleans it afterwards.

Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke Description

This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.

Author:

Hannah Arndt