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]