Interface PluggableStatement
-
- Functional Interface:
- This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface PluggableStatement
AStatement
that can be dynamically plugged into aCFG
in place of another statement. This is used for resolving calls to native constructs (NativeCFG
s) that get rewritten intoNaryExpression
s.
Note: NativeCFGs will build instances of this interface assuming that the following contract is satisfied. Classes implementing this interface should provide a public static method named build, returning aNaryExpression
and with the following parameters:CFG
,CodeLocation
,Expression
[]
.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
setOriginatingStatement(Statement st)
Sets the originalStatement
that got rewritten by theis pluggable statement.
-