orc.runtime.regions
Class SemiRegion

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

public class SemiRegion
extends Region

Constructor Summary

SemiRegion(Region parent, Token t)

Method Summary

void

close()

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

SemiRegion

public SemiRegion(Region parent,
                  Token t)

Method Detail

close

public void close()

Specified by:

close in class Region