Navigation.jrag

aspect Navigation {
  syn boolean Element.isComplexElement() = false;
  eq ComplexElement.isComplexElement() = true;

  syn ComplexElement Element.asComplexElement() = null;
  eq ComplexElement.asComplexElement() = this;

  syn boolean Element.isMappingElement() = false;
  eq MappingElement.isMappingElement() = true;

  syn MappingElement Element.asMappingElement() = null;
  eq MappingElement.asMappingElement() = this;

  syn boolean Element.isListElement() = false;
  eq ListElement.isListElement() = true;

  syn ListElement Element.asListElement() = null;
  eq ListElement.asListElement() = this;

  syn boolean Element.isSimpleElement() = false;
  eq SimpleElement.isSimpleElement() = true;

  syn SimpleElement Element.asSimpleElement() = null;
  eq SimpleElement.asSimpleElement() = this;

  syn boolean Element.isEmpty() = false;
  eq MappingElement.isEmpty() = getNumKeyValuePair() == 0;
  eq ListElement.isEmpty() = getNumElement() == 0;

  inh ListElement Element.containingListElement();
  eq ListElement.getElement().containingListElement() = this;
  eq KeyValuePair.getValue().containingListElement() = null;
  eq Document.getRootElement().containingListElement() = null;
}