Class Quantor
- java.lang.Object
-
- de.bsvrz.ibv.uda.interpreter.ausdruck.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.Ausdruckein 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.Objectinterpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext).
-
-
-
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 Mengequantitaet- die Quantor-Bedingungmenge- die Menge über die die Auswertung erfolgen sollbedingung- 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:
getNachfolgerin interfacede.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:
interpretin interfacede.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck- See Also:
Ausdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)
-
-