public class Quantor extends Object implements de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Modifier and Type | Field and Description |
---|---|
private de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck |
bedingung
die Bedingung, gegen die die Elemente der Menge geprüft werden sollen.
|
private de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck |
mengenAusdruck
der Ausdruck, der die Menge, die zu überprüfen ist beschreibt.
|
private QuantorBedingung |
quantitaet
die zu prüfende Quantität.
|
private String |
variable
der Name der Laufvariable, die während der Iteration über die
auszuwertende Menge di einzelnen Elemente enthält.
|
Constructor and Description |
---|
Quantor(Variable variable,
QuantorBedingung quantitaet,
de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge,
de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
Konstruktor.
|
Modifier and Type | Method and Description |
---|---|
List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> |
getNachfolger()
.
|
Object |
interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
.
|
private final String variable
private final QuantorBedingung quantitaet
private final de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck mengenAusdruck
private final de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung
public Quantor(Variable variable, QuantorBedingung quantitaet, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
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
sollpublic List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
getNachfolger
in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Ausdruck.getNachfolger()
public Object interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
interpret
in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Ausdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)
Copyright © 2017 BitCtrl Systems GmbH. All rights reserved.