Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ respect overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.respect
Class JavaActivity  

java.lang.Object
  alice.respect.JavaActivity

All Implemented Interfaces:

java.lang.Runnable

---

public abstract class JavaActivity

extends java.lang.Object

implements java.lang.Runnable

Defines the java agent spawnable from ReSpecT code.

---

Field Summary
(package private)  UserLocal	user

 

Constructor Summary

JavaActivity()

 

Method Summary
protected  alice.logictuple.LogicTuple	getSpec()
protected  alice.logictuple.LogicTuple	in(alice.logictuple.LogicTuple t)
protected  alice.logictuple.LogicTuple	inp(alice.logictuple.LogicTuple t)
protected  void	out(alice.logictuple.LogicTuple t)
protected  alice.logictuple.LogicTuple	rd(alice.logictuple.LogicTuple t)
protected  alice.logictuple.LogicTuple	rdp(alice.logictuple.LogicTuple t)
void	setArguments(alice.logictuple.LogicTuple args)
protected  alice.logictuple.LogicTuple	setSpec(alice.logictuple.LogicTuple t)
(package private)  void	setupTupleCentreUser(AgentId id, alice.tuplemedium.TupleCentreVMImpl core)

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Methods inherited from interface java.lang.Runnable

run

 

Field Detail

user

UserLocal user

Constructor Detail

JavaActivity

public JavaActivity()

Method Detail

setupTupleCentreUser

void setupTupleCentreUser(AgentId id,
                          alice.tuplemedium.TupleCentreVMImpl core)

---

setArguments

public void setArguments(alice.logictuple.LogicTuple args)

---

out

protected void out(alice.logictuple.LogicTuple t)
            throws alice.logictuple.InvalidLogicTupleException

---

in

protected alice.logictuple.LogicTuple in(alice.logictuple.LogicTuple t)
                                  throws alice.logictuple.InvalidLogicTupleException

---

rd

protected alice.logictuple.LogicTuple rd(alice.logictuple.LogicTuple t)
                                  throws alice.logictuple.InvalidLogicTupleException

---

inp

protected alice.logictuple.LogicTuple inp(alice.logictuple.LogicTuple t)
                                   throws alice.logictuple.InvalidLogicTupleException

---

rdp

protected alice.logictuple.LogicTuple rdp(alice.logictuple.LogicTuple t)
                                   throws alice.logictuple.InvalidLogicTupleException

---

setSpec

protected alice.logictuple.LogicTuple setSpec(alice.logictuple.LogicTuple t)
                                       throws alice.logictuple.InvalidLogicTupleException

---

getSpec

protected alice.logictuple.LogicTuple getSpec()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> [ respect overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---