public class QuantorDefinition
extends java.lang.Object
implements de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Constructor and Description |
---|
QuantorDefinition(java.lang.String name,
java.lang.String mengenName,
java.lang.String bedingungsName,
AnweisungsBlock anweisungen)
Konstruktor.
|
Modifier and Type | Method and 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)
.
|
public QuantorDefinition(java.lang.String name, java.lang.String mengenName, java.lang.String bedingungsName, AnweisungsBlock anweisungen)
name
- der Name des nutzerdefinierten QuantorsmengenName
- der Name der Menge über die eine Auswertung erfolgen sollbedingungsName
- der Name der Bedingung mit der eine Auswertung erfolgen sollanweisungen
- die Anweisungen, die die Funktionalität des Quantors
beschreibenprotected java.lang.String getMengenName()
public java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
getNachfolger
in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Ausdruck.getNachfolger()
public java.lang.String getName()
public java.lang.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)