|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--alice.respect.ActivitySpawner
Base class for the activity (Java and Prolog) spawner of ReSpecT.
| Field Summary | |
protected LogicTuple |
args
|
protected java.lang.String |
sourceFileName
|
protected LogicTuple |
tuple
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
protected java.lang.String sourceFileName
protected LogicTuple args
protected LogicTuple tuple
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||