<!-- effect.dtd - DTD to model effects of external procedures inside firm. -->
<!-- $Id$ -->
+
+<!-- upload this file to http://www/~firm/ after making changes -->
+
<!-- content model for all nodes -->
<!-- allow nodes/entity accesses to reference other nodes/an entity -->
<!ENTITY % firm.id "id ID #REQUIRED">
%firm.entity;>
<!-- a single effect -->
-<!ELEMENT effect (arg*, (load|store|alloc|call|join|unknown)*, return)>
+<!ELEMENT effect (arg*, (load|store|alloc|call|join|unknown)*, raise?, ret)>
<!ATTLIST effect
procname CDATA #REQUIRED>
<!ELEMENT join (valref,valref+)>
<!ATTLIST join %firm.id;>
-<!-- return effect -->
-<!ELEMENT return (valref?)>
+<!-- raise an exception -->
+<!ELEMENT raise (valref)>
+<!ATTLIST raise %firm.type;>
+
+<!-- ret effect -->
+<!ELEMENT ret (valref?)>
+
+<!--
+
+ $Log$
+ Revision 1.6 2004/10/11 09:55:19 liekweg
+ Renamed 'return' to 'ret' -flo
+
+ Revision 1.5 2004/10/05 16:19:04 liekweg
+ Grrr, CVS still messes up XML comments
+
+ Revision 1.4 2004/10/05 16:18:06 liekweg
+ Grrr, CVS messes up XML comments
+
+ Revision 1.3 2004/10/05 16:17:22 liekweg
+ Added 'raise' -flo
+
+ Revision 1.2 2004/10/05 15:46:59 liekweg
+ Added comment about this DTD's public location -flo
+
+ Revision 1.1 2004/10/05 14:34:13 liekweg
+ Added DTD for external effects description -flo
-<!-- $Log$
-<!-- Revision 1.1 2004/10/05 14:34:13 liekweg
-<!-- Added DTD for external effects description --flo
-<!-- -->
+ -->