<PATH> : Path

Java class : leon.info.LyPath

ROLE

The PATH element defines a path to a field value of an object.

ATTRIBUTES

<!ATTLIST PATH
	  id ID #IMPLIED
	  source IDREF #IMPLIED
	  target IDREF #IMPLIED
	  field IDREF #IMPLIED
	  label IDREF #IMPLIED>
Attribute Mand. Description Default
id no Identifier of the path.  
source no Source class of the path in the case of an absolute path.  
target no Target class of the path (if not specified then current class is used).  
field no Identifier of the field of target class, last element of the path (if not specified then path is equivalent with a route).  
label no Dynamic label to be used on the target field.  

ELEMENTS

<!ELEMENT PATH 
	  (STEP)*>
Element Mand. Mult. Description
STEP yes no List of the steps of the path.