Module xl.compiler

Package de.grogra.xl.compiler.xl16u.semantics

Class XL16UValueContract

java.lang.Object

de.grogra.xl.compiler.xl16u.semantics.XL16UValueContract

public final class XL16UValueContract
extends Object

Method Summary

Modifier and Type	Method	Description
static XL16UValueContract	arrayOf(XL16UValueContract elementContract)
XL16UValueContract	dropNominalAlias()
boolean	equals(Object obj)
XL16UValueContract	forVarInference()
int	getArrayRank()
XL16UValueContract	getElementContract()
XL16UValueContract	getInnermostElementContract()
XL16UNumericType	getNumericType()
XL16UPhysicalType	getPhysicalType()
XL16URangeInterval	getRange()
boolean	hasElementContract()
int	hashCode()
boolean	hasPhysicalType()
boolean	hasRange()
boolean	isArray()
boolean	isPhysical()
boolean	isPlainNumeric()
static XL16UValueContract	of(XL16UNumericType numericType, XL16UPhysicalType physicalType, XL16URangeInterval range)
static XL16UValueContract	physical(XL16UNumericType numericType, XL16UPhysicalType physicalType)
static XL16UValueContract	plain(XL16UNumericType numericType)
String	toString()
XL16UValueContract	withNumericType(XL16UNumericType type)
XL16UValueContract	withoutRange()
XL16UValueContract	withPreferredUnit(XL16UUnit unit)
XL16UValueContract	withRange(XL16URangeInterval newRange)

Methods inherited from class java.lang.Object

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

Method Details

plain

public static XL16UValueContract plain(XL16UNumericType numericType)

physical

public static XL16UValueContract physical(XL16UNumericType numericType,
 XL16UPhysicalType physicalType)

of

public static XL16UValueContract of(XL16UNumericType numericType,
 XL16UPhysicalType physicalType,
 XL16URangeInterval range)

arrayOf

public static XL16UValueContract arrayOf(XL16UValueContract elementContract)

getNumericType

public XL16UNumericType getNumericType()

getPhysicalType

public XL16UPhysicalType getPhysicalType()

getRange

public XL16URangeInterval getRange()

getElementContract

public XL16UValueContract getElementContract()

isArray

public boolean isArray()

isPhysical

public boolean isPhysical()

hasPhysicalType

public boolean hasPhysicalType()

hasElementContract

public boolean hasElementContract()

getArrayRank

public int getArrayRank()

getInnermostElementContract

public XL16UValueContract getInnermostElementContract()

isPlainNumeric

public boolean isPlainNumeric()

hasRange

public boolean hasRange()

withRange

public XL16UValueContract withRange(XL16URangeInterval newRange)

withoutRange

public XL16UValueContract withoutRange()

withPreferredUnit

public XL16UValueContract withPreferredUnit(XL16UUnit unit)

dropNominalAlias

public XL16UValueContract dropNominalAlias()

withNumericType

public XL16UValueContract withNumericType(XL16UNumericType type)

forVarInference

public XL16UValueContract forVarInference()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object