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.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)
.
-
-
-
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:
getNachfolger
in 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:
interpret
in interfacede.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
- See Also:
Ausdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)
-
-