<!-- allow nodes/entity accesses to reference other nodes/an entity -->
<!ENTITY % firm.id "id ID #REQUIRED">
-<!-- allow a node to specify a type -->
+<!-- allow a node to specify a type --> <!-- rename to firm.typeref -->
<!ENTITY % firm.type "type CDATA #REQUIRED">
<!-- allow a node to specify a field -->
<!ENTITY % firm.entity "entity CDATA #REQUIRED">
-<!-- allow a node to specify a typeid -->
+<!-- allow a node to specify a typeid --> <!-- wird das jemals gebraucht? -->
<!ENTITY % typeid "typeid CDATA #REQUIRED">
-<!-- allow a node to specify an owner -->
+<!-- allow an eneity to specify an owner -->
<!ENTITY % firm.owner "owner CDATA #REQUIRED">
<!-- the root element -->
<!ATTLIST effects
module CDATA #IMPLIED>
-<!-- an entity reference -->
+<!-- a type reference -->
<!ELEMENT type EMPTY>
<!ATTLIST type
%firm.id;
<!-- a single effect -->
<!ELEMENT effect (arg*, (load|store|alloc|call|join|unknown)*, raise?, ret)>
<!ATTLIST effect
- procname CDATA #REQUIRED
+ procname CDATA #REQUIRED <!-- warum keine firm.entity? -->
%firm.owner;>
<!-- procedure argument -->
<!ATTLIST valref
refid IDREF #REQUIRED>
-<!-- load effect -->
+<!-- select element for use with store, load and call -->
<!-- for static entities, use a 'select' without a child element -->
<!ELEMENT select (valref?)>
<!ATTLIST select %firm.entity;>
<!ATTLIST unknown %firm.id;>
<!-- join two or more values -->
-<!ELEMENT join (valref,valref)>
+<!ELEMENT join (valref,valref+)>
<!ATTLIST join %firm.id;>
<!-- raise an exception -->
<!--
$Log$
+ Revision 1.12 2004/11/24 14:53:10 liekweg
+ Annotated after writing Tech Report
+
+ Revision 1.11 2004/11/02 14:30:56 liekweg
+ Re-allow multi-input join
+
Revision 1.10 2004/10/29 18:52:32 liekweg
Allow only two values for join