Class ScopeSemantics

  • All Implemented Interfaces:
    SemanticChecks

    public class ScopeSemantics
    extends java.lang.Object
    implements SemanticChecks
    Semantische Überprüfung und Hilfsklassen für das Mit-Konstrukt.
    • Method Summary

      Modifier and Type Method Description
      void cleanUp​(ProcessingParameter pp, boolean processScript)
      Tut nichts.
      Qualifier peek()
      Holt das oberste Stackelement ohne es vom Stack zu löschen.
      Qualifier pop()
      Holt das oberste Stackelement und entfernt es vom Stack.
      void push​(antlr.collections.AST path, java.util.List<java.lang.String> parts)
      Überprüft Qulifizierung und legt sie auf den Stack.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ScopeSemantics

        public ScopeSemantics​(Semantics semantics)
        Parameters:
        semantics - semantics
    • Method Detail

      • peek

        public Qualifier peek()
        Holt das oberste Stackelement ohne es vom Stack zu löschen.
        Returns:
        Oberstes Element des Stacks oder null falls keins vorhanden
      • pop

        public Qualifier pop()
        Holt das oberste Stackelement und entfernt es vom Stack.
        Returns:
        Oberstes Element des Stacks oder null falls keins vorhanden ist
      • push

        public void push​(antlr.collections.AST path,
                         java.util.List<java.lang.String> parts)
                  throws CriticalParserException
        Überprüft Qulifizierung und legt sie auf den Stack. Es werden nur gültige Qualifizierungen abgelegt. Eine gültige Qualifizierung beginnt immer mit einem Objekt oder Objekttyp:
        Qualifizierung := Objekt | Objekttyp [Attributgruppe [ Aspekt ]]
        Überzählige Elemente werden ignoriert.
        Parameters:
        path - Knoten (nur für Zeilenangaben in den Fehlermeldungen)
        parts - Qualifizierung
        Throws:
        CriticalParserException - Falls es zu einem Kommunikationsfehler kommt oder falls die Qualifizierung nicht gültig ist