org.overturetool.vdmj.types
Class UnknownType

java.lang.Object
  org.overturetool.vdmj.types.Type
      org.overturetool.vdmj.types.UnknownType

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<Type>

public class UnknownType
extends Type

See Also:

Serialized Form

Field Summary

Fields inherited from class org.overturetool.vdmj.types.Type

definitions, location, resolved

Constructor Summary

UnknownType(LexLocation location)

Method Summary

boolean	equals(java.lang.Object other)
ClassType	getClassType()
FunctionType	getFunction()
MapType	getMap()
NumericType	getNumeric()
OperationType	getOperation()
ProductType	getProduct()
ProductType	getProduct(int n)
RecordType	getRecord()
SeqType	getSeq()
SetType	getSet()
boolean	isClass()
boolean	isFunction()
boolean	isMap()
boolean	isNumeric()
boolean	isOperation()
boolean	isProduct()
boolean	isProduct(int n)
boolean	isRecord()
boolean	isSeq()
boolean	isSet()
boolean	isType(java.lang.Class<? extends Type> typeclass)
Type	isType(java.lang.String typename)
boolean	isUnknown()
boolean	narrowerThan(AccessSpecifier accessSpecifier)
java.lang.String	toDisplay()

Methods inherited from class org.overturetool.vdmj.types.Type

abort, abort, compareTo, detail, detail2, getAllValues, getUnion, hashCode, isUnion, polymorph, report, toDetailedString, toString, typeParamCheck, typeResolve, unResolve

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

UnknownType

public UnknownType(LexLocation location)

Method Detail

isType

public Type isType(java.lang.String typename)

Overrides:

isType in class Type

narrowerThan

public boolean narrowerThan(AccessSpecifier accessSpecifier)

Overrides:

narrowerThan in class Type

isType

public boolean isType(java.lang.Class<? extends Type> typeclass)

Overrides:

isType in class Type

isUnknown

public boolean isUnknown()

Overrides:

isUnknown in class Type

isSeq

public boolean isSeq()

Overrides:

isSeq in class Type

isSet

public boolean isSet()

Overrides:

isSet in class Type

isMap

public boolean isMap()

Overrides:

isMap in class Type

isRecord

public boolean isRecord()

Overrides:

isRecord in class Type

isClass

public boolean isClass()

Overrides:

isClass in class Type

isNumeric

public boolean isNumeric()

Overrides:

isNumeric in class Type

isProduct

public boolean isProduct()

Overrides:

isProduct in class Type

isProduct

public boolean isProduct(int n)

Overrides:

isProduct in class Type

isFunction

public boolean isFunction()

Overrides:

isFunction in class Type

isOperation

public boolean isOperation()

Overrides:

isOperation in class Type

getSeq

public SeqType getSeq()

Overrides:

getSeq in class Type

getSet

public SetType getSet()

Overrides:

getSet in class Type

getMap

public MapType getMap()

Overrides:

getMap in class Type

getRecord

public RecordType getRecord()

Overrides:

getRecord in class Type

getClassType

public ClassType getClassType()

Overrides:

getClassType in class Type

getNumeric

public NumericType getNumeric()

Overrides:

getNumeric in class Type

getProduct

public ProductType getProduct()

Overrides:

getProduct in class Type

getProduct

public ProductType getProduct(int n)

Overrides:

getProduct in class Type

getFunction

public FunctionType getFunction()

Overrides:

getFunction in class Type

getOperation

public OperationType getOperation()

Overrides:

getOperation in class Type

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class Type

toDisplay

public java.lang.String toDisplay()

Specified by:

toDisplay in class Type