Class Quantor

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

    public class Quantor
    extends java.lang.Object
    implements de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
    ein Ausdruck zu Darstellung eines Quantoraufrufes innerhalb einer Uda-Skript-Anweisung.
    • Constructor Summary

      Constructors 
      Constructor Description
      Quantor​(Variable variable, QuantorBedingung quantitaet, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
      Konstruktor.
    • Method Summary

      Modifier and Type Method Description
      java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
      .
      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

      • Quantor

        public Quantor​(Variable variable,
                       QuantorBedingung quantitaet,
                       de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge,
                       de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
        Konstruktor.
        Parameters:
        variable - die Laufvariable für die Auswertung der Menge
        quantitaet - die Quantor-Bedingung
        menge - die Menge über die die Auswertung erfolgen soll
        bedingung - die Bedingung, die für alle Elemente der Menge geprüft werden soll
    • Method Detail

      • 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()
      • 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)