CompileDES  3.12
Executable-Code Generation from Synchronised libFAUDES Automata
cgp_eventconfig.h File Reference

Event attributes (execution semantics) More...

#include "libfaudes.h"

Go to the source code of this file.

Classes

class  AttributeCodeGeneratorEvent
 Event attributes for the purpose of code generation. More...
 
struct  AttributeCodeGeneratorEvent::InputTrigger
 Typedef for an individual trigger condition. More...
 
struct  AttributeCodeGeneratorEvent::OutputAction
 Typedef for an individual output action. More...
 
struct  AttributeCodeGeneratorEvent::TimeConstraint
 Typedef for timer specification (internal events only) More...
 

Macros

#define FD_DCG(message)
 

Typedefs

typedef TaNameSet< AttributeCodeGeneratorEventcgEventSet
 Convenience typedef: eventset with code-generator config attributes.
 

Class Documentation

◆ AttributeCodeGeneratorEvent::InputTrigger

struct AttributeCodeGeneratorEvent::InputTrigger

Definition at line 153 of file cgp_eventconfig.h.

Class Members
string mAddress Abstract address.
bool mPos Positive edge triggers event.
bool mNeg Negative edge triggers event.
bool mStatic Fake an initial edge on initialisation to sense static levels.
bool mExe Evaluate literal expression to trigger event.

◆ AttributeCodeGeneratorEvent::OutputAction

struct AttributeCodeGeneratorEvent::OutputAction

Definition at line 170 of file cgp_eventconfig.h.

Class Members
string mAddress Abstract address.
bool mSet Set bit.
bool mClr Clear bit.
bool mExe Literal expression i.e.

function call

◆ AttributeCodeGeneratorEvent::TimeConstraint

struct AttributeCodeGeneratorEvent::TimeConstraint

Definition at line 185 of file cgp_eventconfig.h.

Class Members
string mInitialValue Initial value (literal to allow for advanced units, empty string for "not a timer")
EventSet mStartEvents Events that start this timer.
EventSet mStopEvents Events that stop this timer.
EventSet mResetEvents Events that reset this timer.