From 6494beec998573b613ea5c14f113ea5adc16f903 Mon Sep 17 00:00:00 2001
From: Florian Liekweg <liekweg@ipd.info.uni-karlsruhe.de>
Date: Tue, 5 Oct 2004 14:34:13 +0000
Subject: [PATCH] Added DTD for external effects description --flo

[r4042]
---
 etc/effect.dtd | 82 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 82 insertions(+)
 create mode 100644 etc/effect.dtd

diff --git a/etc/effect.dtd b/etc/effect.dtd
new file mode 100644
index 000000000..4dc34e95e
--- /dev/null
+++ b/etc/effect.dtd
@@ -0,0 +1,82 @@
+<!-- effect.dtd - DTD to model effects of external procedures inside firm. -->
+<!-- $Id$ -->
+<!-- content model for all nodes -->
+<!-- allow nodes/entity accesses to reference other nodes/an entity -->
+<!ENTITY	% firm.id			"id ID #REQUIRED">
+
+<!-- allow a node to specify a type -->
+<!ENTITY	% firm.type		"type CDATA #REQUIRED">
+
+<!-- allow a node to specify a field -->
+<!ENTITY	% firm.entity		"entity CDATA #REQUIRED">
+
+<!-- the root element -->
+<!ELEMENT	effects (type*, entity*, effect*)>
+<!ATTLIST  	effects
+			module		CDATA		#IMPLIED>
+
+<!-- an entity reference -->
+<!ELEMENT	type	EMPTY>
+<!ATTLIST	type
+			%firm.id;
+			%firm.type;>
+
+<!-- an entity reference -->
+<!ELEMENT	entity	EMPTY>
+<!ATTLIST	entity
+			%firm.id;
+			%firm.type;
+			%firm.entity;>
+
+<!-- a single effect -->
+<!ELEMENT  	effect (arg*, (load|store|alloc|call|join|unknown)*, return)>
+<!ATTLIST  	effect
+			procname	CDATA		#REQUIRED>
+
+<!-- procedure argument -->
+<!ELEMENT	arg			EMPTY>
+<!ATTLIST 	arg
+			%firm.id;
+			number		CDATA		#REQUIRED>
+
+<!-- reference another value -->
+<!ELEMENT	valref		EMPTY>
+<!ATTLIST	valref
+			refid		IDREF		#REQUIRED>
+
+<!-- load effect -->
+<!-- for static entities, use a 'select' without a child element -->
+<!ELEMENT	select		(valref?)>
+<!ATTLIST	select		%firm.entity;>
+
+<!-- load effect -->
+<!ELEMENT	load		(select)>
+<!ATTLIST 	load
+			%firm.id;>
+
+<!-- store effect -->
+<!ELEMENT	store		(select,valref)>
+
+<!-- alloc effect -->
+<!ELEMENT	alloc		EMPTY>
+<!ATTLIST	alloc		%firm.id;%firm.type;>
+
+<!-- call effect -->
+<!ELEMENT	call		(select,(valref)*)>
+<!ATTLIST	call		%firm.id;>
+
+<!-- unknown value -->
+<!ELEMENT	unknown		EMPTY>
+<!ATTLIST	unknown		%firm.id;>
+
+<!-- join two or more values -->
+<!ELEMENT	join		(valref,valref+)>
+<!ATTLIST	join		%firm.id;>
+
+<!-- return effect -->
+<!ELEMENT	return		(valref?)>
+
+<!-- $Log$
+<!-- Revision 1.1  2004/10/05 14:34:13  liekweg
+<!-- Added DTD for external effects description --flo
+<!-- -->
-- 
2.20.1