<SORT_CRITERIA> : Sort criterion

Java class : leon.info.LySortCriterion

ROLE

This element defines a sort criterion.

ATTRIBUTES

<!ATTLIST SORT_CRITERIA
	  id ID #IMPLIED
	  idref IDREF #REQUIRED
	  increasing ( true | false) "true"
	  groupBy ( true | false) "false"
	  javaName NMTOKEN #IMPLIED>
Attribute Mand. Description Default
id no Identifier of the criterion.  
idref yes Identifier of the referenced sort criterion.  
increasing no When this attribute equals true, the sort is made in ascending order. Otherwise, the sort is made in descending order. true
groupBy no Indicates if a visual grouping is done on this criteria (used in table views). false
javaName no Full name of the Java class used to sort (two values comparison). This class must implement the leon.info.infointerface.LyComparatorInterface interface.