sysModel.env
Interface BoundedEnv.IField

All Known Implementing Classes:

BoundedEnv.EmptyField, BoundedEnv.NonEmptyField

Enclosing class:

BoundedEnv

public static interface BoundedEnv.IField

Field interface.

Method Summary

java.lang.Object

execute(BoundedEnv.IFieldVisitor vis, java.lang.Object param) Visitor hook.

Method Detail

execute

java.lang.Object execute(BoundedEnv.IFieldVisitor vis,
                         java.lang.Object param)

Visitor hook.

Parameters:

vis - visitor to execute.

param - visitor-specific parameter

Returns:

visitor-specific return value