VCD Point Extension

Identifier:
fr.inria.aoste.timesquare.vcd.fr.inria.vcd.vcdPE

Since:
[Enter the first release in which this extension point appears.]

Description:
[Enter description of this extension point.]

Configuration Markup:

<!ELEMENT extension (VCDPE*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED

>


<!ELEMENT VCDPE (clock? , time? , global? , tick? , all?)?>

<!ATTLIST VCDPE

pragma CDATA #REQUIRED

class  CDATA #REQUIRED

>


<!ELEMENT clock (#PCDATA)>

indicate the pragma is link to a Clock



<!ELEMENT time (#PCDATA)>



<!ELEMENT tick (#PCDATA)>

indicate the pragma is link to a Clock Tick



<!ELEMENT global (#PCDATA)>



<!ELEMENT all (#PCDATA)>



Examples:
[Enter extension point usage example here.]

API Information:
Point Extention Manager : fr.inria.aoste.timesquare.vcd.model.comment.DecodeDictionary

Supplied Implementation:
[Enter information about supplied implementation of this extension point.]


Kairos INRIA/I3S