alice.respect
Class OutTCSpawner

java.lang.Object
  |
  +--alice.respect.ActivitySpawner
        |
        +--alice.respect.OutTCSpawner

All Implemented Interfaces:

java.io.Serializable

public class OutTCSpawner

extends ActivitySpawner

Defines the OutTC activity spawnable from ReSpecT code.

See Also:

Serialized Form

Fields inherited from class alice.respect.ActivitySpawner

args, sourceFileName, tuple

Methods inherited from class java.lang.Object

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