orc.runtime.regions
Class Execution

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

public class Execution
extends Region

Constructor Summary

Execution(OrcEngine engine)

Method Summary

void	close()
OrcEngine	getEngine()

Methods inherited from class orc.runtime.regions.Region

add, add, 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()

close

public void close()

Specified by:

close in class Region