ProgramPoint (lisa-sdk 0.1b3 API)

All Superinterfaces:

CodeElement

All Known Implementing Classes:

AccessGlobal, AccessInstanceGlobal, Addition, And, Assignment, BinaryExpression, BinaryNativeCall, Call, CFGCall, Concat, Contains, Division, EndsWith, Equal, Equals, Expression, FalseLiteral, Float32Literal, Float64Literal, GreaterOrEqual, GreaterThan, HybridCall, IndexOf, Int16Literal, Int32Literal, Int64Literal, Int8Literal, Length, LessOrEqual, LessThan, Literal, Multiplication, NativeCall, Negation, NoOp, Not, NotEqual, NullLiteral, OpenCall, Or, Remainder, Replace, Ret, Return, StartsWith, Statement, StringLiteral, Substring, Subtraction, TernaryNativeCall, Throw, TrueLiteral, UInt16Literal, UInt32Literal, UInt64Literal, UInt8Literal, 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