Spectra
monitorCreator Member List

This is the complete list of members for monitorCreator, including all inherited members.

generateHeaderFile(const std::string &defsFile, const std::string &comment) constmonitorCreator
generateMonitorImplementation(formulaAnalyser &analyser, const std::string &comment)monitorCreator
getCommentForGeneratedFiles(const std::string &defsFile)monitorCreator
monitorCreator(std::string)monitorCreatorexplicit
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