<!ELEMENT attreq EMPTY > <!ATTLIST attreq attr CDATA #REQUIRED val CDATA #REQUIRED type (min|max) #IMPLIED table (start|curr|norm) #IMPLIED > <!ELEMENT oneof (attreq|traitreq)* >
Wird abgebildet auf
<map elem="oneof" class="org.prelle.dsatool.requirements.RequirementChoice" /> <!ELEMENT requires (attreq|traitreq)* >
Wird abgebildet auf <map elem="requires" \ class="java.util.ArrayList" \ method="Requirements" \ contains="org.prelle.dsatool.requirements.Requirement" /> |