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") |
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] |
Element cz::muni::stanse::cparser::CFGEvaluator::defaultLabel = xmlFactory.createElement("default") [static, package] |
Element cz::muni::stanse::cparser::CFGEvaluator::falseLabel = xmlFactory.createElement("intConst") [static, package] |