wyal.lang

Interface Domain

All Known Implementing Classes:

SmallWorldDomain

public interface Domain

A domain represents a universe of values over which an assertion can be tested for validity. The most obvious example of this would be the concrete domain, which represents real concrete values and, hence, we can simply execute an assertion to set whether it evaluates to true, false or is undefined. The intention, however, is that more complex abstract domains are possible allows us, for example, to symbolically execute an assertion.

Author:

David J. Pearce

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Domain.Generator
static interface	Domain.Value Represents an abstract value within the given domain.

Method Summary

Modifier and Type	Method and Description
Domain.Generator	generator(WyalFile.Type type) Construct an iterator that will walk over all known values for a given type.

Method Detail

generator

Domain.Generator generator(WyalFile.Type type)

Construct an iterator that will walk over all known values for a given type.

Parameters:

type -

Returns: