Package tools.refinery.logic.term.string

Class StringDomain

java.lang.Object

tools.refinery.logic.term.string.StringDomain

All Implemented Interfaces:

AbstractDomain<StringValue,String>, AnyAbstractDomain

public class StringDomain
extends Object
implements AbstractDomain<StringValue,String>

Field Summary

Fields

Modifier and Type	Field	Description
static final StringDomain	INSTANCE

Constructor Summary

Constructors

Constructor	Description
StringDomain()

Method Summary

Modifier and Type	Method	Description
Class<StringValue>	abstractType()
Class<String>	concreteType()
StringValue	error()
StringValue	toAbstract(String concreteValue)
StringValue	unknown()

Methods inherited from class java.lang.Object

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

Field Details

INSTANCE

public static final StringDomain INSTANCE

Constructor Details

StringDomain

public StringDomain()

Method Details

abstractType

public Class<StringValue> abstractType()

Specified by:

abstractType in interface AbstractDomain<StringValue,String>

Specified by:

abstractType in interface AnyAbstractDomain

concreteType

public Class<String> concreteType()

Specified by:

concreteType in interface AbstractDomain<StringValue,String>

Specified by:

concreteType in interface AnyAbstractDomain

unknown

public StringValue unknown()

Specified by:

unknown in interface AbstractDomain<StringValue,String>

error

public StringValue error()

Specified by:

error in interface AbstractDomain<StringValue,String>

toAbstract

public StringValue toAbstract(String concreteValue)

Specified by:

toAbstract in interface AbstractDomain<StringValue,String>