|
| void | analyze (Collection< CFGHandle > cfgs) |
| |
| EvaluatedType | handleAssignment (CFGHandle cfg, Element lhs, Element rhs) |
| |
| EvaluatedType | handleId (CFGHandle cfg, Element id) |
| |
| EvaluatedType | handleIntConst (CFGHandle cfg, Element intConst) |
| |
| EvaluatedType | handleStringConst (CFGHandle cfg, Element stringConst) |
| |
| EvaluatedType | handleAddrExpression (CFGHandle cfg, Element addrExpression) |
| |
| EvaluatedType | handleArrayAccess (CFGHandle cfg, Element arrayAccess) |
| |
| EvaluatedType | handleDerefExpression (CFGHandle cfg, Element derefExpression) |
| |
| EvaluatedType | handleFunctionCall (CFGHandle cfg, Element functionCall) |
| |
| EvaluatedType | handlePostfixExpression (CFGHandle cfg, Element postfixExpression) |
| |
| EvaluatedType | handleArrowExpression (CFGHandle cfg, Element arrowExpression) |
| |
| EvaluatedType | handleCommaExpression (CFGHandle cfg, Element commaExpression) |
| |
| EvaluatedType | handleConditionalExpression (CFGHandle cfg, Element conditionalExpression) |
| |
| EvaluatedType | handleExpression (CFGHandle cfg, Element expr) |
| |
| void | handleReturnStatement (CFGHandle cfg, Element returnStatement) |
| |
| void | handleStatement (CFGHandle cfg, Element statement) |
| |
◆ analyze()
| void cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.analyze |
( |
Collection< CFGHandle > |
cfgs | ) |
|
|
inline |
◆ handleAddrExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleAddrExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
addrExpression |
|
) |
| |
|
inline |
◆ handleArrayAccess()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleArrayAccess |
( |
CFGHandle |
cfg, |
|
|
Element |
arrayAccess |
|
) |
| |
|
inline |
◆ handleArrowExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleArrowExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
arrowExpression |
|
) |
| |
|
inline |
◆ handleAssignment()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleAssignment |
( |
CFGHandle |
cfg, |
|
|
Element |
lhs, |
|
|
Element |
rhs |
|
) |
| |
|
inline |
◆ handleCommaExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleCommaExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
commaExpression |
|
) |
| |
|
inline |
◆ handleConditionalExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleConditionalExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
conditionalExpression |
|
) |
| |
|
inline |
◆ handleDerefExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleDerefExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
derefExpression |
|
) |
| |
|
inline |
◆ handleExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
expr |
|
) |
| |
|
inline |
◆ handleFunctionCall()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleFunctionCall |
( |
CFGHandle |
cfg, |
|
|
Element |
functionCall |
|
) |
| |
|
inline |
◆ handleId()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleId |
( |
CFGHandle |
cfg, |
|
|
Element |
id |
|
) |
| |
|
inline |
◆ handleIntConst()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleIntConst |
( |
CFGHandle |
cfg, |
|
|
Element |
intConst |
|
) |
| |
|
inline |
◆ handlePostfixExpression()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handlePostfixExpression |
( |
CFGHandle |
cfg, |
|
|
Element |
postfixExpression |
|
) |
| |
|
inline |
◆ handleReturnStatement()
| void cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleReturnStatement |
( |
CFGHandle |
cfg, |
|
|
Element |
returnStatement |
|
) |
| |
|
inline |
◆ handleStatement()
| void cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleStatement |
( |
CFGHandle |
cfg, |
|
|
Element |
statement |
|
) |
| |
|
inline |
◆ handleStringConst()
| EvaluatedType cz.muni.stanse.pointeranalyzer.steensgaard.SteensgaardAnalyzer.handleStringConst |
( |
CFGHandle |
cfg, |
|
|
Element |
stringConst |
|
) |
| |
|
inline |
The documentation for this class was generated from the following file:
