Select Git revision
Navigation.jrag
-
Johannes Mey authoredJohannes Mey authored
Navigation.jrag 1.16 KiB
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;
}