From 183a8344024e07ea3bb608ebd9a9447a384fc6a3 Mon Sep 17 00:00:00 2001
From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Tue, 5 Oct 2004 16:17:22 +0000
Subject: [PATCH] Added 'raise' -flo

[r4044]
---
 etc/effect.dtd | 18 ++++++++++++------
 1 file changed, 12 insertions(+), 6 deletions(-)

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
+-->
-- 
2.20.1