cz::muni::stanse::cparser::CFGEvaluator Class Reference

Collaboration diagram for cz::muni::stanse::cparser::CFGEvaluator:
[legend]

List of all members.

Static Package Functions

 [static initializer]
static CFGNode evaluateExprConnect (Element cond, String code, CFGNode _then, CFGNode _else)
static Triple< CFGNode,
CFGNode, CFGNode
evaluateExpr (Element cond, String code)
static CFGNode addAssert (CFGNode n1, Element label, CFGNode n2, Element cond, String code, boolean neg, Element lineElem)
static Integer getExprValue (Element cond)

Static Package Attributes

static Element defaultLabel = xmlFactory.createElement("default")
static Element falseLabel = xmlFactory.createElement("intConst")


Member Function Documentation

cz::muni::stanse::cparser::CFGEvaluator::[static initializer] (  )  [inline, static, package]

static CFGNode cz::muni::stanse::cparser::CFGEvaluator::evaluateExprConnect ( Element  cond,
String  code,
CFGNode  _then,
CFGNode  _else 
) [inline, static, package]

static Triple<CFGNode,CFGNode,CFGNode> cz::muni::stanse::cparser::CFGEvaluator::evaluateExpr ( Element  cond,
String  code 
) [inline, static, package]

static CFGNode cz::muni::stanse::cparser::CFGEvaluator::addAssert ( CFGNode  n1,
Element  label,
CFGNode  n2,
Element  cond,
String  code,
boolean  neg,
Element  lineElem 
) [inline, static, package]

static Integer cz::muni::stanse::cparser::CFGEvaluator::getExprValue ( Element  cond  )  [inline, static, package]


Member Data Documentation

Element cz::muni::stanse::cparser::CFGEvaluator::defaultLabel = xmlFactory.createElement("default") [static, package]

Element cz::muni::stanse::cparser::CFGEvaluator::falseLabel = xmlFactory.createElement("intConst") [static, package]


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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6