Package net.hydromatic.morel.compile

Enum BuiltIn.Datatype

java.lang.Object

java.lang.Enum<BuiltIn.Datatype>

net.hydromatic.morel.compile.BuiltIn.Datatype

All Implemented Interfaces:

Serializable, Comparable<BuiltIn.Datatype>, java.lang.constant.Constable, BuiltIn.BuiltInType

Enclosing class:

BuiltIn

public static enum BuiltIn.Datatype
extends Enum<BuiltIn.Datatype>
implements BuiltIn.BuiltInType

Built-in datatype.

The following datatypes are non-internal:

 datatype descending = DESC of 'a;
 datatype order = LESS | EQUAL | GREATER;
 datatype option 'a = NONE | SOME of 'a;
 

The three internal datatypes,

 datatype 'a list = NIL | CONS of ('a * 'a list);
 datatype bool = FALSE | TRUE;
 datatype overload;
 

are not available from within programs but used for internal purposes.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
DESCENDING
OPTION
ORDER
OVERLOAD	The type of the value created by an over declaration.
PSEUDO_BOOL	Analog of bool for checking that matches are exhaustive.
PSEUDO_LIST	Analog of list for checking that matches are exhaustive.

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	internal
private final String	mlName
private final UnaryOperator<BuiltIn.DataTypeHelper>	transform
private final int	varCount

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Datatype(String mlName, boolean internal, int varCount, UnaryOperator<BuiltIn.DataTypeHelper> transform)

Method Summary

Modifier and Type	Method	Description
boolean	isInternal()
String	mlName()
static BuiltIn.Datatype	valueOf(String name)	Returns the enum constant of this type with the specified name.
static BuiltIn.Datatype[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.
int	varCount()

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

DESCENDING

public static final BuiltIn.Datatype DESCENDING

ORDER

public static final BuiltIn.Datatype ORDER

OPTION

public static final BuiltIn.Datatype OPTION

PSEUDO_LIST

public static final BuiltIn.Datatype PSEUDO_LIST

Analog of list for checking that matches are exhaustive. Owns the NIL and CONS type constructors.

PSEUDO_BOOL

public static final BuiltIn.Datatype PSEUDO_BOOL

Analog of bool for checking that matches are exhaustive. Owns the FALSE and TRUE type constructors.

OVERLOAD

public static final BuiltIn.Datatype OVERLOAD

The type of the value created by an over declaration.

After "o", o has type overload. The type system will then allow subsequent val inst o declarations.

Field Details

mlName

private final String mlName

internal

private final boolean internal

varCount

private final int varCount

transform

private final UnaryOperator<BuiltIn.DataTypeHelper> transform

Constructor Details

Datatype

private Datatype(String mlName,
 boolean internal,
 int varCount,
 UnaryOperator<BuiltIn.DataTypeHelper> transform)

Method Details

values

public static BuiltIn.Datatype[] values()

Returns an array containing the constants of this enum type, in the order they are declared.

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static BuiltIn.Datatype valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

mlName

public String mlName()

Specified by:

mlName in interface BuiltIn.BuiltInType

varCount

public int varCount()

Specified by:

varCount in interface BuiltIn.BuiltInType

isInternal

public boolean isInternal()

Specified by:

isInternal in interface BuiltIn.BuiltInType