uscxml::PromelaCodeAnalyzer Member List
This is the complete list of members for uscxml::PromelaCodeAnalyzer, including all inherited members.
| _eventTrie (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| _literals (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| _strIndex (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| _strMacros (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| _typeDefs (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| adaptCode(const std::string &code, const std::string &prefix) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| addCode(const std::string &code, ChartToPromela *interpreter) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| addEvent(const std::string &eventName) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| addLiteral(const std::string &stateName, int forceIndex=-1) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| addState(const std::string &stateName, size_t index) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| analyze(ChartToPromela *interpreter) | uscxml::PromelaCodeAnalyzer | |
| createMacroName(const std::string &literal) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| enumerateLiteral(const std::string &literal, int forceIndex=-1) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | protected |
| getEventsWithPrefix(const std::string &prefix) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| getLiterals() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| getTokenPositions(const std::string &expr, int type, PromelaParserNode *ast) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | static |
| getTrie() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| getType(const std::string &typeName) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| getTypeAssignment(const std::string &varTo, const std::string &varFrom, const PromelaTypedef &type, size_t indent=0) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| getTypeReset(const std::string &var, const PromelaTypedef &type, size_t indent=0) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| getTypes() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| hasIndexLessLoops() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| indexForLiteral(const std::string &literal) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| largestDelay (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| macroForLiteral(const std::string &literal) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| prefixIdentifiers(const std::string &expr, const std::string &prefix) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | static |
| PromelaCodeAnalyzer() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| sanitizeCode(const std::string &code) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | |
| usesCancel(const std::string &elementName) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesComplexEventStruct() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesEventDataField(const std::string &fieldName) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesEventField(const std::string &fieldName) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesInPredicate() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesInPredicate(bool value) (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |
| usesPlatformVars() (defined in uscxml::PromelaCodeAnalyzer) | uscxml::PromelaCodeAnalyzer | inline |