Added 'raise' -flo

[r4044]

diff --git a/etc/effect.dtd b/etc/effect.dtd
index e009a11..cd1eae1 100644 (file)
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -32,7 +32,7 @@
                        %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?, return)>
 <!ATTLIST      effect
                        procname        CDATA           #REQUIRED>
 
@@ -76,13 +76,19 @@
 <!ELEMENT      join            (valref,valref+)>
 <!ATTLIST      join            %firm.id;>
 
+<!-- raise an exception -->
+<!ELEMENT      raise           (valref)>
+<!ATTLIST      raise           %firm.type;>
+
 <!-- return effect -->
 <!ELEMENT      return          (valref?)>
 
 <!-- $Log$
-<!-- Revision 1.2  2004/10/05 15:46:59  liekweg
-<!-- Added comment about this DTD's public location --flo
+<!-- Revision 1.3  2004/10/05 16:17:22  liekweg
+<!-- Added 'raise' -flo
 <!--
-<!-- Revision 1.1  2004/10/05 14:34:13  liekweg
-<!-- Added DTD for external effects description --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
+-->