ProgramPoint (lisa-sdk 0.1 API)

All Superinterfaces:

CodeElement

All Known Implementing Classes:

Assignment, BinaryExpression, BinaryStatement, Call, CallWithResult, CFGCall, DefaultParamInitialization, Expression, Literal, MultiCall, NamedParameterExpression, NaryExpression, NaryStatement, NativeCall, NoOp, OpenCall, Ret, Return, Statement, TernaryExpression, TernaryStatement, Throw, TruncatedParamsCall, UnaryExpression, UnaryStatement, UnresolvedCall, VariableRef
```
public interface ProgramPoint
extends CodeElement
```
A program point, representing an instruction that is happening in one of the CFG under analysis.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`CFG`	`getCFG()`	Yields the `CFG` that this program point belongs to.
`default Program`	`getProgram()`	Yields the `Program` where this program point is defined.

Methods inherited from interface it.unive.lisa.program.CodeElement
getLocation

- Method Detail
  - getCFG
```
CFG getCFG()
```
    Yields the CFG that this program point belongs to.
    
    Returns:
    
    the containing cfg
  - getProgram
```
default Program getProgram()
```
    Yields the Program where this program point is defined. By default, this is obtained through the CFG returned by getCFG().
    
    Returns:
    
    the containing program