Kapitel 2. Voraussetzungen

Inhaltsverzeichnis

attreq
requires
traitreq

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
>

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;