orc.runtime.regions
Class Execution

java.lang.Object
  orc.runtime.regions.Region
      orc.runtime.regions.Execution

public class Execution
extends Region

Field Summary

Fields inherited from class orc.runtime.regions.Region

closed

Constructor Summary

Execution(OrcEngine engine)

Method Summary

OrcEngine	getEngine()
protected void	reallyClose(Token closer)

Methods inherited from class orc.runtime.regions.Region

add, add, close, close, putContainedTokens, remove, remove

Methods inherited from class java.lang.Object

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

Constructor Detail

Execution

public Execution(OrcEngine engine)

Method Detail

getEngine

public OrcEngine getEngine()

reallyClose

protected void reallyClose(Token closer)

Specified by:

reallyClose in class Region