sysModel.env
Interface BoundedEnv.IFieldVisitor

Enclosing class:

BoundedEnv

public static interface BoundedEnv.IFieldVisitor

Field visitor interface.

Method Summary

java.lang.Object	emptyCase(BoundedEnv.EmptyField host, java.lang.Object param) Empty case.
java.lang.Object	nonEmptyCase(BoundedEnv.NonEmptyField host, java.lang.Object param) Non-empty case.

Method Detail

emptyCase

java.lang.Object emptyCase(BoundedEnv.EmptyField host,
                           java.lang.Object param)

Empty case.

Parameters:

host - empty field

param - visitor-specific parameter

Returns:

visitor-specific return value

nonEmptyCase

java.lang.Object nonEmptyCase(BoundedEnv.NonEmptyField host,
                              java.lang.Object param)

Non-empty case.

Parameters:

host - non-empty field

param - visitor-specific parameter

Returns:

visitor-specific return value