Library of internal components (should not be directly used)
Name | Description |
---|---|
SortingPort | Connector used to force a particular ordering of equations and to pass information about satisfied requirements |
initializeLogFile | Initialize log file (remove existing file and add a blank line |
printViolationsToLogFile | Print information about one requirement to log file |
printViolationsToOutput | Print violated, untested and satisfied requirements to output window |
removeFirstName | Remove first name of a Modelica path name |
getFirstName | Get first name of a Modelica path name |
removeFirstElement | Remove first part of one line of the log file (until ",") |
getElements | Extract the elements from a log line |
SlidingWindow | |
TestSlidingWindow |