pl.edu.pjwstk.yaod.sbql.engine
Class ActivationRecord
java.lang.Object
|
+--pl.edu.pjwstk.yaod.sbql.engine.ActivationRecord
- public class ActivationRecord
- extends java.lang.Object
Klasa ActivationRecord
jest sekcja na stosie srodowiskowym (EnvironmentalStack).
Kazda sekcja zawiera zbior binderow (BinderValue)
- Author:
- Jakub Trzetrzelewski
Field Summary |
java.util.Vector |
binders
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
binders
public java.util.Vector binders
ActivationRecord
public ActivationRecord()
ActivationRecord
public ActivationRecord(BinderValue binder)
getBinderAt
public BinderValue getBinderAt(int i)
getSize
public int getSize()
addBinder
public void addBinder(BinderValue binder)
addBinder
public void addBinder(java.lang.String name,
QueryResult res)
addBinder
public void addBinder(ActivationRecord ar)
deleteBinderAt
public QueryResult deleteBinderAt(int i)
deleteBinder
public void deleteBinder(BinderValue b)
throws TypeMismatchException
renameBinder
public void renameBinder(BinderValue b,
java.lang.String name)
throws TypeMismatchException
containsBinderHavingName
public boolean containsBinderHavingName(java.lang.String name)
getBindersHavingName
public BagValue getBindersHavingName(java.lang.String name)
show
public void show()