|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--pl.edu.pjwstk.yaod.yaql.engine.ActivationRecord
The ActivationRecord
class represents a section on the
environmental stack. Each section consists of binders.
EnvironmentalStack
,
BinderValue
Field Summary | |
java.util.Vector |
binders
|
Constructor Summary | |
ActivationRecord()
Creates a new empty activation record. |
|
ActivationRecord(BinderValue binder)
Creates a new activation record with specified binder. |
Method Summary | |
void |
addBinder(BinderValue binder)
Adds a new binder to the actual activation record. |
void |
addBinder(java.lang.String name,
QueryResult res)
Adds a new binder (constructed from specified name
and res ) to the actual activation record. |
void |
addBinders(ActivationRecord ar)
Adds a new binders (achieved from other activation record) to the actual activation record. |
boolean |
containsBinderHavingName(java.lang.String name)
Tests whether or not the actual activation record possess the binder with the given name . |
void |
deleteBinder(BinderValue b)
Deletes a specified binder ( b ) from activation record. |
QueryResult |
deleteBinderAt(int i)
Deletes the i-th element from the activation record. |
BinderValue |
getBinderAt(int i)
Returns the i-th element from the activation record. |
BagValue |
getBinderValuesHavingName(java.lang.String name)
Returns a set ( BagValue ) of binder values whose name is equal to the
name parameter. |
int |
getSize()
Returns the number of binders in the activation record. |
void |
renameBinder(BinderValue b,
java.lang.String name)
Sets a specified binder ( b ) a new name (name ). |
void |
show()
Shows all the elements of activation record. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public java.util.Vector binders
Constructor Detail |
public ActivationRecord()
public ActivationRecord(BinderValue binder)
binder
- the binder to be put into activation record.BinderValue
Method Detail |
public BinderValue getBinderAt(int i)
i
- the index of element to be returned.BinderValue
public int getSize()
public void addBinder(BinderValue binder)
binder
- the binder to be added.BinderValue
public void addBinder(java.lang.String name, QueryResult res)
name
and res
) to the actual activation record.name
- the name of the binder to be added.res
- the value of the binder to be added.BinderValue
public void addBinders(ActivationRecord ar)
ar
- activation record whose binders will be added to the acutal
activation record.public QueryResult deleteBinderAt(int i)
i
- the index of binder to be deleted.QueryResult
public void deleteBinder(BinderValue b) throws TypeMismatchException
b
) from activation record.b
- binder which is to be deleted.TypeMismatchException
- if comparison of elements fails.BinderValue
public void renameBinder(BinderValue b, java.lang.String name) throws TypeMismatchException
b
) a new name (name
).b
- binder which name is to be changed.name
- a new name for the binderTypeMismatchException
- if comparison of elements fails.BinderValue
public boolean containsBinderHavingName(java.lang.String name)
name
.name
- the name of the binders to be found.true
if such binder exists, false
otherwise.BinderValue
public BagValue getBinderValuesHavingName(java.lang.String name)
BagValue
) of binder values whose name is equal to the
name
parameter.name
- the name of the binders to be found.BagValue
,
BinderValue
public void show()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |