ChartToPromela.cpp File Reference

#include "uscxml/transform/ChartToPromela.h"
#include "uscxml/util/Predicates.h"
#include "uscxml/util/String.h"
#include "uscxml/plugins/datamodel/promela/PromelaParser.h"
#include "uscxml/plugins/datamodel/promela/parser/promela.tab.hpp"
#include <boost/algorithm/string.hpp>
#include "uscxml/interpreter/Logging.h"
#include <algorithm>
#include <cmath>

Include dependency graph for ChartToPromela.cpp:

Macros
#define	ADAPT_SRC(code)   _analyzer->adaptCode(code, _prefix)
#define	BIT_WIDTH(number)   (number > 1 ? (int)ceil(log2((double)number)) : 1)
#define	EVENT_NAME   (_analyzer->usesComplexEventStruct() ? "_event.name" : "_event")
#define	MAX(X, Y)   ((X) > (Y) ? (X) : (Y))
#define	TMP_EVENT_NAME   (_analyzer->usesComplexEventStruct() ? "_tmpE.name" : "_tmpE")
#define	TRACE_EXECUTION(fmt)
#define	TRACE_EXECUTION_V(fmt, ...)
#define	TRACE_PML

Detailed Description

Author

2012-2014 Stefan Radomski (stefa.nosp@m.n.ra.nosp@m.domsk.nosp@m.i@cs.nosp@m..tu-d.nosp@m.arms.nosp@m.tadt..nosp@m.de)

Copyright

Simplified BSD

Macro Definition Documentation

#define TRACE_EXECUTION

(

fmt

)

Value:

stream << std::endl; \
stream << "#if TRACE_EXECUTION" << std::endl; \
if (_machinesAll->size() > 1) {\
stream << "printf(\"%d: " fmt "\\n\", _pid);" << std::endl; \
} else { \
stream << "printf(\"" fmt "\\n\");" << std::endl; \
} \
stream << "#endif" << std::endl; \
stream << std::endl;

#define TRACE_EXECUTION_V	(		fmt,
			...
	)

Value:

stream << std::endl; \
stream << "#if TRACE_EXECUTION" << std::endl; \
if (_machinesAll->size() > 1) {\
    stream << "printf(\"%d: " fmt "\\n\", _pid, " __VA_ARGS__ ");" << std::endl; \
} else { \
    stream << "printf(\"" fmt "\\n\", " __VA_ARGS__ ");" << std::endl; \
} \
stream << "#endif" << std::endl; \
stream << std::endl;