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

Packages that use de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke	This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class and Description
InvokeCleanup
InvokeHelper An instance of this class is a helper for a specific invoke statement.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Class and Description
InvokeHelper An instance of this class is a helper for a specific invoke statement.