Predicates.h
Go to the documentation of this file.
1 
20 #ifndef PREDICATES_H_D3A20484
21 #define PREDICATES_H_D3A20484
22 
23 #include <string>
24 #include <list>
25 #include <xercesc/dom/DOM.hpp>
26 #include "uscxml/util/DOM.h"
27 #include "uscxml/util/Convenience.h"
28 
29 namespace uscxml {
30 
31 std::list<XERCESC_NS::DOMElement*> getChildStates(const XERCESC_NS::DOMElement* state, bool properOnly = true);
32 std::list<XERCESC_NS::DOMElement*> getChildStates(const std::list<XERCESC_NS::DOMElement*>& states, bool properOnly = true);
33 XERCESC_NS::DOMElement* getParentState(const XERCESC_NS::DOMElement* element);
34 XERCESC_NS::DOMElement* getSourceState(const XERCESC_NS::DOMElement* transition);
35 XERCESC_NS::DOMElement* findLCCA(const std::list<XERCESC_NS::DOMElement*>& states);
36 std::list<XERCESC_NS::DOMElement*> getProperAncestors(const XERCESC_NS::DOMElement* s1, const XERCESC_NS::DOMElement* s2);
37 
38 std::list<XERCESC_NS::DOMElement*> getTargetStates(const XERCESC_NS::DOMElement* transition, const XERCESC_NS::DOMElement* root);
39 std::list<XERCESC_NS::DOMElement*> getEffectiveTargetStates(const XERCESC_NS::DOMElement* transition);
40 XERCESC_NS::DOMElement* getTransitionDomain(const XERCESC_NS::DOMElement* transition, const XERCESC_NS::DOMElement* root);
41 
42 bool areFromSameMachine(const XERCESC_NS::DOMNode* n1, const XERCESC_NS::DOMNode* n2);
43 
44 std::list<XERCESC_NS::DOMElement*> getStates(const std::list<std::string>& stateIds, const XERCESC_NS::DOMElement* root);
45 XERCESC_NS::DOMElement* getState(const std::string& stateId, const XERCESC_NS::DOMElement* root);
46 std::list<XERCESC_NS::DOMElement*> getInitialStates(const XERCESC_NS::DOMElement* state, const XERCESC_NS::DOMElement* root);
47 std::list<XERCESC_NS::DOMElement*> getReachableStates(const XERCESC_NS::DOMElement* root);
48 std::list<XERCESC_NS::DOMElement*> getExitSet(const XERCESC_NS::DOMElement* transition, const XERCESC_NS::DOMElement* root);
49 bool conflicts(const XERCESC_NS::DOMElement* transition1, const XERCESC_NS::DOMElement* transition2, const XERCESC_NS::DOMElement* root);
50 
51 bool isState(const XERCESC_NS::DOMElement* state, bool properOnly = true);
52 bool isCompound(const XERCESC_NS::DOMElement* state);
53 bool isAtomic(const XERCESC_NS::DOMElement* state);
54 bool isParallel(const XERCESC_NS::DOMElement* state);
55 bool isFinal(const XERCESC_NS::DOMElement* state);
56 bool isHistory(const XERCESC_NS::DOMElement* state);
57 
58 
59 }
60 
61 #endif /* end of include guard: PREDICATES_H_D3A20484 */
uscxml
Definition: Breakpoint.cpp:26
DOM.h
Convenience.h