Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Friends | List of all members
uscxml::ChartToPromela Class Reference
Inheritance diagram for uscxml::ChartToPromela:
[legend]
Collaboration diagram for uscxml::ChartToPromela:
[legend]

Public Member Functions

void writeTo (std::ostream &stream)
 
- Public Member Functions inherited from uscxml::TransformerImpl
 TransformerImpl (const Interpreter &other)
 
virtual XERCESC_NS::DOMDocument * getDocument () const
 
virtual operator Interpreter ()
 

Static Public Member Functions

static Transformer transform (const Interpreter &other)
 
- Static Public Member Functions inherited from uscxml::ChartToC
static Transformer transform (const Interpreter &other)
 

Protected Member Functions

 ChartToPromela (const Interpreter &other)
 
std::string beautifyIndentation (const std::string &code, size_t indent=0)
 
std::string dataToAssignments (const std::string &prefix, const Data &data)
 
std::string declForRange (const std::string &identifier, long minValue, long maxValue, bool nativeOnly=false)
 
void prepare ()
 
void printBitArray (std::ostream &stream, const std::string &array, size_t length, size_t indent=0)
 
std::string sanitizeCode (const std::string &code)
 
void writeAdvanceTime (std::ostream &stream, size_t indent=0)
 
void writeBitAndMacro (std::ostream &stream)
 
void writeBitAndNotMacro (std::ostream &stream)
 
void writeBitClearMacro (std::ostream &stream)
 
void writeBitCopyMacro (std::ostream &stream)
 
void writeBitHasAndMacro (std::ostream &stream)
 
void writeBitHasAnyMacro (std::ostream &stream)
 
void writeBitOrMacro (std::ostream &stream)
 
void writeCancelEvents (std::ostream &stream, size_t indent=0)
 
void writeCommonTypeDefs (std::ostream &stream)
 
void writeCommonVariables (std::ostream &stream)
 
void writeDetermineShortestDelay (std::ostream &stream, size_t indent=0)
 
void writeExecContent (std::ostream &stream, const XERCESC_NS::DOMNode *node, size_t indent=0)
 
void writeFSM (std::ostream &stream)
 
void writeFSMDequeueEvent (std::ostream &stream)
 
void writeFSMEnterStates (std::ostream &stream)
 
void writeFSMEstablishEntrySet (std::ostream &stream)
 
void writeFSMExitStates (std::ostream &stream)
 
void writeFSMRememberHistory (std::ostream &stream)
 
void writeFSMSelectTransitions (std::ostream &stream)
 
void writeFSMTakeTransitions (std::ostream &stream)
 
void writeFSMTerminateMachine (std::ostream &stream)
 
void writeIfBlock (std::ostream &stream, std::list< XERCESC_NS::DOMElement * > &condChain, size_t indent=0)
 
void writeInsertWithDelay (std::ostream &stream, size_t indent=0)
 
void writeMacros (std::ostream &stream)
 
void writeRaiseDoneDate (std::ostream &stream, const XERCESC_NS::DOMElement *donedata, size_t indent=0)
 
void writeRemovePendingEventsFromInvoker (std::ostream &stream, size_t indent=0)
 
void writeRescheduleProcess (std::ostream &stream, size_t indent=0)
 
void writeScheduleMachines (std::ostream &stream, size_t indent=0)
 
void writeStates (std::ostream &stream)
 
void writeStrings (std::ostream &stream)
 
void writeTransitions (std::ostream &stream)
 
void writeTypeDefs (std::ostream &stream)
 
void writeVariables (std::ostream &stream)
 
- Protected Member Functions inherited from uscxml::ChartToC
 ChartToC (const Interpreter &other)
 
void findNestedMachines ()
 
void prepare ()
 
void resortStates (XERCESC_NS::DOMNode *node)
 
void setHistoryCompletion ()
 
void setStateCompletion ()
 
void writeCharArrayInitList (std::ostream &stream, const std::string &boolString)
 
void writeElementInfo (std::ostream &stream)
 
void writeElementInfoInvocation (std::ostream &stream)
 
void writeExecContent (std::ostream &stream)
 
void writeExecContent (std::ostream &stream, const XERCESC_NS::DOMNode *node, size_t indent=0)
 
void writeExecContentFinalize (std::ostream &stream)
 
void writeForwardDeclarations (std::ostream &stream)
 
void writeFSM (std::ostream &stream)
 
void writeHelpers (std::ostream &stream)
 
void writeIncludes (std::ostream &stream)
 
void writeMachineInfo (std::ostream &stream)
 
void writeMacros (std::ostream &stream)
 
void writeStates (std::ostream &stream)
 
void writeTransitions (std::ostream &stream)
 
void writeTypes (std::ostream &stream)
 

Protected Attributes

bool _allowEventInterleaving = false
 
PromelaCodeAnalyzer * _analyzer = NULL
 
std::set< std::string > _dataModelVars
 
size_t _externalQueueLength = 7
 
size_t _internalQueueLength = 7
 
std::string _invokerid
 
std::map< XERCESC_NS::DOMElement *, ChartToPromela * > * _machinesAll = NULL
 
std::map< std::string, XERCESC_NS::DOMElement * > * _machinesAllPerId = NULL
 
std::map< XERCESC_NS::DOMElement *, ChartToPromela * > _machinesNested
 
std::map< std::string, XERCESC_NS::DOMElement * > _machinesPerId
 
ChartToPromela * _parent = NULL
 
ChartToPromela * _parentTopMost = NULL
 
std::list< std::string > _varInitializers
 
- Protected Attributes inherited from uscxml::ChartToC
std::list< ChartToC * > _allMachines
 
std::set< std::string > _hasElement
 
bool _hasNativeDataModel
 
std::string _md5
 
std::list< ChartToC * > _nestedMachines
 
ChartToC * _parentMachine
 
std::string _prefix
 
std::list< std::string > * _prefixes
 
std::string _stateCharArrayInit
 
size_t _stateCharArraySize
 
std::string _stateDataType
 
std::vector< XERCESC_NS::DOMElement * > _states
 
ChartToC * _topMostMachine
 
std::string _transCharArrayInit
 
size_t _transCharArraySize
 
std::string _transDataType
 
std::vector< XERCESC_NS::DOMElement * > _transitions
 
Interpreter interpreter
 
- Protected Attributes inherited from uscxml::TransformerImpl
URL _baseURL
 
InterpreterImpl::Binding _binding
 
XERCESC_NS::DOMDocument * _document
 
std::multimap< std::string, std::string > _extensions
 
std::string _name
 
std::list< std::string > _options
 
XERCESC_NS::DOMElement * _scxml
 
Interpreter interpreter
 

Friends

class PromelaCodeAnalyzer
 

Member Function Documentation

void uscxml::ChartToPromela::writeTransitions ( std::ostream &  stream)
protected

source

target

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