org.overturetool.vdmj.types
Class RationalType

java.lang.Object
  org.overturetool.vdmj.types.Type
      org.overturetool.vdmj.types.BasicType
          org.overturetool.vdmj.types.NumericType
              org.overturetool.vdmj.types.RationalType

All Implemented Interfaces:

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

public class RationalType
extends NumericType

See Also:

Serialized Form

Field Summary

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

definitions, location, resolved

Constructor Summary

RationalType(LexLocation location)

Method Summary

int	getWeight()
java.lang.String	toDisplay()

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

getNumeric, isNumeric, widestOf

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

abort, abort, compareTo, detail, detail2, equals, getAllValues, getClassType, getFunction, getMap, getOperation, getProduct, getProduct, getRecord, getSeq, getSet, getUnion, hashCode, isClass, isFunction, isMap, isOperation, isProduct, isProduct, isRecord, isSeq, isSet, isType, isType, isUnion, isUnknown, narrowerThan, polymorph, report, toDetailedString, toString, typeParamCheck, typeResolve, unResolve

Methods inherited from class java.lang.Object

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

Constructor Detail

RationalType

public RationalType(LexLocation location)

Method Detail

toDisplay

public java.lang.String toDisplay()

Specified by:

toDisplay in class Type

getWeight

public int getWeight()

Specified by:

getWeight in class NumericType