orc.runtime.regions
Class SemiRegion

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

public class SemiRegion
extends Region

Field Summary

Fields inherited from class orc.runtime.regions.Region

closed

Constructor Summary

SemiRegion(Region parent, Token t)

Method Summary

void	cancel()
Region	getParent()
protected void	onClose()

Methods inherited from class orc.runtime.regions.Region

add, add, close, 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

onClose

protected void onClose()

Specified by:

onClose in class Region

getParent

public Region getParent()

cancel

public void cancel()