wyal.util

Class SmallWorldDomain

java.lang.Object

wyal.util.SmallWorldDomain

All Implemented Interfaces:

Domain

public class SmallWorldDomain
extends Object
implements Domain

The small world domain stems from the theory that all bugs can be found with a "small world".

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from interface wyal.lang.Domain

Domain.Generator, Domain.Value

Field Summary

Fields

Modifier and Type	Field and Description
protected wybs.lang.NameResolver	resolver

Constructor Summary

Constructors

Constructor and Description
SmallWorldDomain(wybs.lang.NameResolver resolver)

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.
Domain.Generator	generator(WyalFile.Type type, int depth)

Methods inherited from class java.lang.Object

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

Field Detail

resolver

protected final wybs.lang.NameResolver resolver

Constructor Detail

SmallWorldDomain

public SmallWorldDomain(wybs.lang.NameResolver resolver)

Method Detail

generator

public Domain.Generator generator(WyalFile.Type type)

Description copied from interface: Domain

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

Specified by:

generator in interface Domain

Returns:

generator

public Domain.Generator generator(WyalFile.Type type,
                                  int depth)