X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=etc%2Feffect.dtd;h=7333af61b6abf11b733e757d0503826e477f2ab0;hb=c0b2c2e9fbe3370b74bdc04e692c75655003bad7;hp=4dc34e95e6e976238585ea850f47abfe7d51131d;hpb=6494beec998573b613ea5c14f113ea5adc16f903;p=libfirm

diff --git a/etc/effect.dtd b/etc/effect.dtd
index 4dc34e95e..7333af61b 100644
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -1,5 +1,8 @@
 <!-- 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">
@@ -29,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?, ret)>
 <!ATTLIST  	effect
 			procname	CDATA		#REQUIRED>
 
@@ -73,10 +76,32 @@
 <!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
-<!-- -->
+ -->