cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer Class Reference

Collaboration diagram for cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer:

[legend]

List of all members.

Public Member Functions
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)
Package Attributes
TypeTable	typeTable = new TypeTable()
final String	returnVariableName = "__retVal"

---

Detailed Description

Author:

Michal Strehovsky

---

Member Function Documentation

void cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::analyze

(

Collection< CFGHandle >

cfgs

)

[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleAssignment	(	CFGHandle	cfg,
		Element	lhs,
		Element	rhs
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleId	(	CFGHandle	cfg,
		Element	id
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleIntConst	(	CFGHandle	cfg,
		Element	intConst
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleStringConst	(	CFGHandle	cfg,
		Element	stringConst
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleAddrExpression	(	CFGHandle	cfg,
		Element	addrExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleArrayAccess	(	CFGHandle	cfg,
		Element	arrayAccess
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleDerefExpression	(	CFGHandle	cfg,
		Element	derefExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleFunctionCall	(	CFGHandle	cfg,
		Element	functionCall
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handlePostfixExpression	(	CFGHandle	cfg,
		Element	postfixExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleArrowExpression	(	CFGHandle	cfg,
		Element	arrowExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleCommaExpression	(	CFGHandle	cfg,
		Element	commaExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleConditionalExpression	(	CFGHandle	cfg,
		Element	conditionalExpression
	)			[inline]

EvaluatedType cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleExpression	(	CFGHandle	cfg,
		Element	expr
	)			[inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleReturnStatement	(	CFGHandle	cfg,
		Element	returnStatement
	)			[inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::handleStatement	(	CFGHandle	cfg,
		Element	statement
	)			[inline]

---

Member Data Documentation

TypeTable cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::typeTable = new TypeTable() [package]

final String cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer::returnVariableName = "__retVal" [package]

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/pointeranalyzer/steensgaard/SteensgaardAnalyzer.java