Navigation.jrag 496 Bytes
Newer Older
René Schöne's avatar
*  
René Schöne committed
1
2
3
4
5
6
7
aspect Navigation {
  syn boolean Element.isComplex() = false;
  eq ComplexElement.isComplex() = true;

  syn boolean Element.isEmpty() = false;
  eq MappingElement.isEmpty() = getNumKeyValuePair() == 0;
  eq ListElement.isEmpty() = getNumElement() == 0;
8
9
10
11
12

  inh ListElement Element.containingListElement();
  eq ListElement.getElement().containingListElement() = this;
  eq KeyValuePair.getValue().containingListElement() = null;
  eq Document.getRootElement().containingListElement() = null;
René Schöne's avatar
*  
René Schöne committed
13
}
14