| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorc.runtime.regions.Region
orc.runtime.regions.SemiRegion
public class SemiRegion
| Field Summary | 
|---|
| Fields inherited from class orc.runtime.regions.Region | 
|---|
| closed | 
| Constructor Summary | |
|---|---|
| SemiRegion(Region parent,
           Token t) | |
| Method Summary | |
|---|---|
|  Region | getParent() | 
| 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 | 
|---|
public SemiRegion(Region parent,
                  Token t)
| Method Detail | 
|---|
protected void reallyClose(Token closer)
reallyClose in class Regionpublic Region getParent()
| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||