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 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.

---

Field Summary

 

Fields inherited from class alice.respect.ActivitySpawner

args, sourceFileName, tuple

 

Constructor Summary
(package private)	OutTCSpawner(java.lang.String classFile, alice.logictuple.LogicTuple args, alice.logictuple.LogicTuple tuple)

 

Method Summary
(package private)  boolean	spawn(Reactor reactor)

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

OutTCSpawner

OutTCSpawner(java.lang.String classFile,
             alice.logictuple.LogicTuple args,
             alice.logictuple.LogicTuple tuple)

Method Detail

spawn

boolean spawn(Reactor reactor)

Specified by:

spawn in class ActivitySpawner

---

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

---