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

Interface InvokeCleanup

All Known Implementing Classes:

AssignInvoke, InvokeStmt

public interface InvokeCleanup

Method Summary

Modifier and Type	Method and Description
ProgramState	getCleanedResultState(ProgramState state)

Method Detail

getCleanedResultState

ProgramState getCleanedResultState(ProgramState state)