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.AusdruckAusdruck.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.AusdruckAusdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)