| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.ObjectsysModel.env.BoundedEnv.NonEmptyField
public static class BoundedEnv.NonEmptyField
Non-empty field class.
| Field Summary | |
|---|---|
| private  BoundedEnv.LocalEnvironment | _localEnv | 
| Constructor Summary | |
|---|---|
| BoundedEnv.NonEmptyField(BoundedEnv.LocalEnvironment localEnv)Constructor. | |
| Method Summary | |
|---|---|
|  java.lang.Object | execute(BoundedEnv.IFieldVisitor vis,
        java.lang.Object param)Visitor hook. | 
|  BoundedEnv.LocalEnvironment | getLocalEnv()Return local environment. | 
|  void | setLocalEnv(BoundedEnv.LocalEnvironment localEnv)Set local environment. | 
| Methods inherited from class java.lang.Object | 
|---|
| clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait | 
| Field Detail | 
|---|
private BoundedEnv.LocalEnvironment _localEnv
| Constructor Detail | 
|---|
public BoundedEnv.NonEmptyField(BoundedEnv.LocalEnvironment localEnv)
localEnv - local environment in this field| Method Detail | 
|---|
public BoundedEnv.LocalEnvironment getLocalEnv()
public void setLocalEnv(BoundedEnv.LocalEnvironment localEnv)
localEnv - environment in this field
public java.lang.Object execute(BoundedEnv.IFieldVisitor vis,
                                java.lang.Object param)
BoundedEnv.IField
execute in interface BoundedEnv.IFieldvis - visitor to execute.param - visitor-specific parameter
| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||