ProgramPoint (lisa-sdk 0.1b6 API)

All Superinterfaces:

CodeElement

All Known Implementing Classes:

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