From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Tue, 5 Oct 2004 16:17:22 +0000 (+0000)
Subject: Added 'raise' -flo
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=183a8344024e07ea3bb608ebd9a9447a384fc6a3;p=libfirm

Added 'raise' -flo

[r4044]
---

diff --git a/etc/effect.dtd b/etc/effect.dtd
index e009a118f..cd1eae1f0 100644
--- 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
+-->