Spectra
|
This is the complete list of members for monitorCreator, including all inherited members.
generateHeaderFile(const std::string &defsFile, const std::string &comment) const | monitorCreator | |
generateMonitorImplementation(formulaAnalyser &analyser, const std::string &comment) | monitorCreator | |
getCommentForGeneratedFiles(const std::string &defsFile) | monitorCreator | |
monitorCreator(std::string) | monitorCreator | explicit |
printMonitor(const std::string &defsFile) | monitorCreator | |
printMonitorStructure(FILE *monitor, std::vector< formula > formulae, std::vector< std::string > contents, std::vector< std::string > varsDefinitions, int childrenCnt) | monitorCreator | |
printPreparation(FILE *monitor, std::vector< formula > formulae) | monitorCreator | |
printProcessing(FILE *monitor, std::vector< formula > formulae) | monitorCreator | |
printVarNamesEnum(std::set< std::string > varNames, FILE *monitor) | monitorCreator | |
replaceInstrumentationComments(const std::vector< std::string > &srcList) | monitorCreator | |
replaceLabelsInFileWithMonitorCalls(const std::string &filename) | monitorCreator | |
setFormulaFile(const std::string &formulaFile) (defined in monitorCreator) | monitorCreator |