diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-05-15 19:55:13 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-05-15 19:55:13 (GMT) |
commit | f9a620340ddce2a17fd775d1e210268cac13377b (patch) | |
tree | 58d8dad794e5a34237c2738fe77c151d0810624f /src/uscxml/debug/SCXMLDotWriter.cpp | |
parent | 49127140ed2ad91bfcf532b3d2265582cb80b0db (diff) | |
download | uscxml-f9a620340ddce2a17fd775d1e210268cac13377b.zip uscxml-f9a620340ddce2a17fd775d1e210268cac13377b.tar.gz uscxml-f9a620340ddce2a17fd775d1e210268cac13377b.tar.bz2 |
Introduced interpreter.step()
Diffstat (limited to 'src/uscxml/debug/SCXMLDotWriter.cpp')
-rw-r--r-- | src/uscxml/debug/SCXMLDotWriter.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/uscxml/debug/SCXMLDotWriter.cpp b/src/uscxml/debug/SCXMLDotWriter.cpp index 2058d72..93f09ab 100644 --- a/src/uscxml/debug/SCXMLDotWriter.cpp +++ b/src/uscxml/debug/SCXMLDotWriter.cpp @@ -110,7 +110,7 @@ void SCXMLDotWriter::writeStateElement(std::ostream& os, const Arabica::DOM::Ele return; _knownIds.insert(elemId); - bool subgraph = Interpreter::isCompound(elem) || Interpreter::isParallel(elem); + bool subgraph = InterpreterImpl::isCompound(elem) || InterpreterImpl::isParallel(elem); if (subgraph) { _indentation++; os << getPrefix() << "subgraph \"cluster_" << elemId << "\" {" << std::endl; @@ -122,11 +122,11 @@ void SCXMLDotWriter::writeStateElement(std::ostream& os, const Arabica::DOM::Ele os << "label=<<b>State</b><br />" << nameForNode(elem) << ">,"; // is the state initial? - if (_interpreter.isInitial(elem)) + if (_interpreter.getImpl()->isInitial(elem)) os << "style=filled, fillcolor=lightgrey, "; // is this state final? - if (_interpreter.isFinal(elem)) + if (_interpreter.getImpl()->isFinal(elem)) os << "shape=doublecircle,"; // is the current state in the basic configuration? @@ -176,7 +176,7 @@ void SCXMLDotWriter::writeStateElement(std::ostream& os, const Arabica::DOM::Ele os << "]" << std::endl; } } - if (Interpreter::isState(childElems.item(i))) { + if (InterpreterImpl::isState(childElems.item(i))) { writeStateElement(os, (Arabica::DOM::Element<std::string>)childElems.item(i)); } if (childElems.item(i).getNodeType() == Node_base::ELEMENT_NODE && iequals(TAGNAME(childElems.item(i)), "initial")) { @@ -200,7 +200,7 @@ void SCXMLDotWriter::writeStateElement(std::ostream& os, const Arabica::DOM::Ele void SCXMLDotWriter::writeTransitionElement(std::ostream& os, const Arabica::DOM::Element<std::string>& elem) { std::string elemId = idForNode(elem); - Arabica::XPath::NodeSet<std::string> targetStates = _interpreter.getTargetStates(elem); + Arabica::XPath::NodeSet<std::string> targetStates = _interpreter.getImpl()->getTargetStates(elem); bool active = (elem == _transition); @@ -256,7 +256,7 @@ std::string SCXMLDotWriter::getDetailedLabel(const Arabica::DOM::Element<std::st if (childElems.item(i).getNodeType() != Node_base::ELEMENT_NODE) continue; - if (Interpreter::isState(childElems.item(i)) || + if (InterpreterImpl::isState(childElems.item(i)) || iequals(TAGNAME(childElems.item(i)), "transition") || iequals(TAGNAME(childElems.item(i)), "initial") || false) |