SoCRocket
Transaction-Level Modeling Framework for Space Applications
Classes | |
| class | Enumerate |
Functions | |
| def | EscapeForRegExp |
| def | IsAcceptableCharacter |
| def | SanitiseDotLink |
| def | DebugPrintCases |
| def | ProcessStateCases |
| def | ProcessStateMachine |
| def | StateMachineHandler |
Variables | |
| string | iskeyword = '[A-Za-z0-9_]' |
| StateList = \ | |
| string | StateAddRegExpString = r'^AddState\s+(?P<statename>' |
| tuple | StateAddRE = re.compile(StateAddRegExpString) |
| def statemachine.DebugPrintCases | ( | Cases | ) |
| def statemachine.EscapeForRegExp | ( | string | ) |
Referenced by ProcessStateMachine().
| def statemachine.IsAcceptableCharacter | ( | ch | ) |
| def statemachine.ProcessStateCases | ( | Cases, | |
| GlobalStates, | |||
| InitialLines, | |||
FunctionName = None |
|||
| ) |
References pysc::api::cci.list(), error_handler.ReportError(), and SanitiseDotLink().
Referenced by ProcessStateMachine().
| def statemachine.ProcessStateMachine | ( | lineArray, | |
| StateMachinePositions, | |||
| CommentBlocks | |||
| ) |
References EscapeForRegExp(), doxycomment.IsCommentBlockEnd(), doxycomment.IsCommentBlockStart(), and ProcessStateCases().
| def statemachine.SanitiseDotLink | ( | dotlink | ) |
References pysc::api::cci.list().
Referenced by ProcessStateCases().
| def statemachine.StateMachineHandler | ( | lineArray, | |
| options | |||
| ) |
Top level state machine handler. Find the lines containing state machine implementations and pass them onto the detailed handler.
References doxycomment.BlockHandler(), doxygen_preprocessor.CommandLineHandler(), and filterprocessor.FilterFiles().
| string statemachine.iskeyword = '[A-Za-z0-9_]' |
| tuple statemachine.StateAddRE = re.compile(StateAddRegExpString) |
| string statemachine.StateAddRegExpString = r'^AddState\s+(?P<statename>' |
| statemachine.StateList = \ |