From 02c1013f00f8b52416897e39a8155854a6953b8a Mon Sep 17 00:00:00 2001
From: Boris Boesler <boesler@ipd.info.uni-karlsruhe.de>
Date: Thu, 21 Oct 2004 15:32:21 +0000
Subject: [PATCH] minor changes

[r4179]
---
 etc/effect.dtd | 21 +++++++++++++++++----
 1 file changed, 17 insertions(+), 4 deletions(-)

diff --git a/etc/effect.dtd b/etc/effect.dtd
index 7333af61b..9643ff140 100644
--- a/etc/effect.dtd
+++ b/etc/effect.dtd
@@ -13,6 +13,12 @@
 <!-- allow a node to specify a field -->
 <!ENTITY	% firm.entity		"entity CDATA #REQUIRED">
 
+<!-- allow a node to specify a typeid -->
+<!ENTITY	% typeid		"typeid CDATA #REQUIRED">
+
+<!-- allow a node to specify an owner -->
+<!ENTITY	% firm.owner		"owner CDATA #REQUIRED">
+
 <!-- the root element -->
 <!ELEMENT	effects (type*, entity*, effect*)>
 <!ATTLIST  	effects
@@ -29,18 +35,21 @@
 <!ATTLIST	entity
 			%firm.id;
 			%firm.type;
-			%firm.entity;>
+			%firm.entity;
+			%firm.owner;>
 
 <!-- a single effect -->
 <!ELEMENT  	effect (arg*, (load|store|alloc|call|join|unknown)*, raise?, ret)>
 <!ATTLIST  	effect
-			procname	CDATA		#REQUIRED>
+			procname	CDATA		#REQUIRED;
+			%firm.type;>
 
 <!-- procedure argument -->
 <!ELEMENT	arg			EMPTY>
 <!ATTLIST 	arg
 			%firm.id;
-			number		CDATA		#REQUIRED>
+			number		CDATA		#REQUIRED;
+		        %firm.type>
 
 <!-- reference another value -->
 <!ELEMENT	valref		EMPTY>
@@ -62,7 +71,8 @@
 
 <!-- alloc effect -->
 <!ELEMENT	alloc		EMPTY>
-<!ATTLIST	alloc		%firm.id;%firm.type;>
+<!ATTLIST	alloc		%firm.id;
+		                %firm.type;>
 
 <!-- call effect -->
 <!ELEMENT	call		(select,(valref)*)>
@@ -86,6 +96,9 @@
 <!--
 
  $Log$
+ Revision 1.7  2004/10/21 15:32:21  boesler
+ minor changes
+
  Revision 1.6  2004/10/11 09:55:19  liekweg
  Renamed 'return' to 'ret' -flo
 
-- 
2.20.1