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.

Constructor Summary

JavaActivity()

Method Summary

protected LogicTuple	getSpec()
protected LogicTuple	in(LogicTuple t)
protected LogicTuple	inp(LogicTuple t)
protected void	out(LogicTuple t)
protected LogicTuple	rd(LogicTuple t)
protected LogicTuple	rdp(LogicTuple t)
void	setArguments(LogicTuple args)
protected LogicTuple	setSpec(LogicTuple t)

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

Constructor Detail

JavaActivity

public JavaActivity()

Method Detail

setArguments

public void setArguments(LogicTuple args)

out

protected void out(LogicTuple t)
            throws InvalidLogicTupleException

in

protected LogicTuple in(LogicTuple t)
                 throws InvalidLogicTupleException

rd

protected LogicTuple rd(LogicTuple t)
                 throws InvalidLogicTupleException

inp

protected LogicTuple inp(LogicTuple t)
                  throws InvalidLogicTupleException

rdp

protected LogicTuple rdp(LogicTuple t)
                  throws InvalidLogicTupleException

setSpec

protected LogicTuple setSpec(LogicTuple t)
                      throws InvalidLogicTupleException

getSpec

protected LogicTuple getSpec()