| 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.
|
| Constructor and Description |
|---|
AssignInvoke(SceneObject sceneObject,
SettableValue lhs,
Method method,
InvokeHelper invokePrepare,
int nextPC) |
InvokeStmt(SceneObject sceneObject,
Method method,
InvokeHelper invokePrepare,
int nextPC) |
| Modifier and Type | Class and Description |
|---|---|
class |
InstanceInvokeHelper
Prepares the heap for the invoke of an instance method and cleans it afterwards.
|
class |
StaticInvokeHelper
Prepares the heap for the invoke of a static method and cleans it afterwards.
|
Copyright © 2019. All rights reserved.