wyal.lang

Interface Domain.Value

Enclosing interface:

Domain

public static interface Domain.Value

Represents an abstract value within the given domain.

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Domain.Value.Array Represents an abstract array value which has a potentially infinite number of array values.
static interface	Domain.Value.Boolean Represents an abstract bool value which has only two concrete instantiations (true and false).
static interface	Domain.Value.Integer Represents an abstract int value which has a potentially infinite number of integer values.
static interface	Domain.Value.Null Represents an abstract null value.
static interface	Domain.Value.Record Represents an abstract record value which has a potentially infinite number of record values.

Method Summary

Modifier and Type	Method and Description
Domain.Value.Boolean	equal(Domain.Value value) Determine whether or not two abstract values are equal.
Domain.Value.Boolean	isInstance(WyalFile.Type type) Check whether a given abstract value is an instance of a give type or not.

Method Detail

equal

Domain.Value.Boolean equal(Domain.Value value)

Determine whether or not two abstract values are equal.

Parameters:

value -

Returns:

isInstance

Domain.Value.Boolean isInstance(WyalFile.Type type)

Check whether a given abstract value is an instance of a give type or not.

Parameters:

type -

Returns: