ProgramPoint (lisa 0.1b1 API)

All Superinterfaces:

CodeElement

All Known Implementing Classes:

AccessGlobal, AccessInstanceGlobal, Assignment, BinaryExpression, BinaryNativeCall, Call, CFGCall, Expression, HybridCall, Literal, NativeCall, NoOp, NullLiteral, OpenCall, Ret, Return, Statement, TernaryNativeCall, Throw, UnaryNativeCall, 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
  Modifier and Type Method Description
  
  CFG getCFG()
  Yields the CFG that this program point belongs to.
  - 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