m2isar.backends.trace_gen.backend.CodeGenerator

Classes

CodeGenerator

Module Contents

class CodeGenerator(trace_model_, m2_model_, fileDict_)[source]

trace_model[source]

m2_model[source]

fileDict[source]

builder[source]

generateMonitor(traceModel_)[source]

generatePrinter(traceModel_)[source]

generate(target_)[source]