wyal.util

Class Interpreter.Result

java.lang.Object

wyal.util.Interpreter.Result

Enclosing class:

Interpreter

public final class Interpreter.Result
extends Object

A result simply catches the result of a given boolean expression, and the environment which lead to that result.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
Result(Interpreter.Environment environment, boolean value)

Method Summary

Modifier and Type	Method and Description
Interpreter.Environment	getEnvironment()
boolean	holds()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Result

public Result(Interpreter.Environment environment,
              boolean value)

Method Detail

getEnvironment

public Interpreter.Environment getEnvironment()

holds

public boolean holds()