Class QuantorDefinition

  • All Implemented Interfaces:
    de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck

    public class QuantorDefinition
    extends java.lang.Object
    implements de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
    ein Ausdruck zur Darstellung eines nutzerdefinierten Quantors.
    • Constructor Summary

      Constructors 
      Constructor Description
      QuantorDefinition​(java.lang.String name, java.lang.String mengenName, java.lang.String bedingungsName, AnweisungsBlock anweisungen)
      Konstruktor.
    • Method Summary

      Modifier and Type Method Description
      protected java.lang.String getMengenName()
      liefert den Namen der Menge.
      java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
      .
      java.lang.String getName()
      liefert den Name der Quantordefinition.
      java.lang.Object interpret​(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
      .
      • Methods inherited from class java.lang.Object

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

      • QuantorDefinition

        public QuantorDefinition​(java.lang.String name,
                                 java.lang.String mengenName,
                                 java.lang.String bedingungsName,
                                 AnweisungsBlock anweisungen)
        Konstruktor.
        Parameters:
        name - der Name des nutzerdefinierten Quantors
        mengenName - der Name der Menge über die eine Auswertung erfolgen soll
        bedingungsName - der Name der Bedingung mit der eine Auswertung erfolgen soll
        anweisungen - die Anweisungen, die die Funktionalität des Quantors beschreiben
    • Method Detail

      • getMengenName

        protected java.lang.String getMengenName()
        liefert den Namen der Menge.
        Returns:
        den Namen
      • getNachfolger

        public java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
        .
        Specified by:
        getNachfolger in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
        See Also:
        Ausdruck.getNachfolger()
      • getName

        public java.lang.String getName()
        liefert den Name der Quantordefinition.
        Returns:
        den Name
      • interpret

        public java.lang.Object interpret​(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
        .
        Specified by:
        interpret in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
        See Also:
        Ausdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)