Dieses Modul wird von verschiedenen anderen Modulen verwendet, um Voraussetzungen auszudrücken.
Mittels dieses Tags lassen sich Anforderungen an Eigenschaften definieren.
<!ELEMENT attreq EMPTY > <!ATTLIST attreq attr (%allattributes;) #REQUIRED val CDATA #REQUIRED type (min|max) #IMPLIED table (start|curr|norm) #IMPLIED >
Auf welche Art von Eigenschaft bezieht sich die Anforderung. Mögliche Werte sind
Beispiel 2.1. Beispiel für die Verwendung von attreq
<attreq attr="mu" val="12" table="start" /> <attreq attr="in" val="8" type="max" />
Wird abgebildet auf die Klasse org.prelle.dsatoolrequirements.AttributeRequirement
@XML(type=XML.Type.TAG,value="attreq") public class AttributeRequirement extends Requirement implements Cloneable { @XML(type=XML.Type.ATTRIBUTE,value="attr",getter="getAttribute",setter="setAttribute",mapping="mapAttr") private int attr; @XML(type=XML.Type.ATTRIBUTE,value="type",getter="getType",setter="setType",mapping="mapType") private boolean type; @XML(type=XML.Type.ATTRIBUTE,value="val",getter="getValue",setter="setValue") private int val; @XML(type=XML.Type.ATTRIBUTE,value="table",mapping="mapTable") private int table;