la.la

Class Type.Discrete

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

la.la.Type

la.la.Type.Atomic

la.la.Type.Discrete

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Type.Char, Type.Enum, Type.Int

Enclosing class:

Type

public abstract static class Type.Discrete
extends Type.Atomic

The superclass of Discrete Types.

Nested Class Summary

Nested classes/interfaces inherited from class la.la.Type

Type.Atomic, Type.Char, Type.Cts, Type.Discrete, Type.Enum, Type.Function, Type.Int, Type.Model, Type.Option, Type.Structured, Type.Triv, Type.Tuple, Type.TYPE, Type.Vector

Nested classes/interfaces inherited from class la.la.Value.Option

Value.Option.GP

Nested classes/interfaces inherited from class la.la.Value

Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable

Field Summary

Fields inherited from class la.la.Type

BOOL, BOOL_N, CHAR, CHAR_N, CHARS, CTS, CTS_N, DNA, ENUM_N, FUNCTION, FUNCTION_N, INC_OR, INT, INT_N, LIST, MATRIX_CTS, MATRIX_INT, MAYBE, MODEL, MODEL_N, name, OPTION_N, PAIR, TRIPLE, TRIV, TRIV_N, TUPLE_N, TYPE, TYPE_N, VECTOR, VECTOR_CHARS, VECTOR_CTS, VECTOR_INT, VECTOR_N

Fields inherited from class la.la.Value

C, comparator, CR, E, eight, ffalse, five, fiveR, four, fourR, half, negCR, negOne, negOneR, negTenR, nilVal, nine, None, one, oneR, PI, PIby2, point01, point1, point5, point9, quarter, seven, six, ten, tenR, three, threeR, triv, ttrue, two, twoR, zero, zeroR

Constructor Summary

Constructors

Constructor and Description
Discrete(java.lang.String name, boolean hasLwb, int lwb, boolean hasUpb, int upb) Note, this is assumed to be un-ordered.
Discrete(java.lang.String name, boolean hasLwb, int lwb, boolean hasUpb, int upb, boolean ordered) Construct a Discrete Type, which may or may not have a lower bound, and/or an upper bound, and be ordered or not.

Method Summary

Modifier and Type	Method and Description
boolean	bounded() Does 'this' Discrete have both lower and upper bounds?
Value.Tuple	bounds() 'this' Discrete's ⟨lwb, upb⟩ if appropriate, else exception.
boolean	hasLwb() Does 'this' Discrete have a lwb?
boolean	hasUpb() Does 'this' Discrete have a upb?
abstract Value.Discrete	int2value(int n) Convert an int, n, into a Value of 'this' Discrete Type.
int	lwb_n() 'this' Discrete's int lower bound - if any, else exception, alse see lwb.
Value	lwb() 'this' Discrete's lower bound if any otherwise an Exception; also see lwb_n().
boolean	ordered() Is 'this' Type ordered, or not?
abstract int	string2n(java.lang.String s) Return the int "code" for a constant denoted by String 's'.
Value.Discrete	string2value(java.lang.String s) Return int2value(string2n(s)).
boolean	unOrdered() Return not ordered().
int	upb_n() 'this' Discrete's int upper bound - if any, else exception, alse see upb.
Value	upb() 'this' Discrete's upper bound if any otherwise an Exception; also see upb_n().

Methods inherited from class la.la.Type

appendSB, contains, elt, main, nElts, ni, show, show, toString, tuple, type

Methods inherited from class la.la.Value.Option

closes, compareTo, n, opens, separator

Methods inherited from class la.la.Value.Structured

AoM, elts, frth, fst, nlAoM, print, snd, thrd

Methods inherited from class la.la.Value

apply, bOp, cons, cts, errMsg, error, force, isTuple, just, pair, quad, real, RTE, triple, tuple, UOE, uOp, x

Methods inherited from class java.lang.Object

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

Constructor Detail

Discrete

public Discrete(java.lang.String name,
                boolean hasLwb,
                int lwb,
                boolean hasUpb,
                int upb)

Note, this is assumed to be un-ordered.

Discrete

public Discrete(java.lang.String name,
                boolean hasLwb,
                int lwb,
                boolean hasUpb,
                int upb,
                boolean ordered)

Construct a Discrete Type, which may or may not have a lower bound, and/or an upper bound, and be ordered or not.

Method Detail

int2value

public abstract Value.Discrete int2value(int n)

Convert an int, n, into a Value of 'this' Discrete Type. Also see string2n and string2value.

string2n

public abstract int string2n(java.lang.String s)

Return the int "code" for a constant denoted by String 's'. Also see string2value and int2value.

string2value

public Value.Discrete string2value(java.lang.String s)

Return int2value(string2n(s)).

bounded

public boolean bounded()

Does 'this' Discrete have both lower and upper bounds?

hasLwb

public boolean hasLwb()

Does 'this' Discrete have a lwb?

hasUpb

public boolean hasUpb()

Does 'this' Discrete have a upb?

bounds

public Value.Tuple bounds()

'this' Discrete's ⟨lwb, upb⟩ if appropriate, else exception.

lwb

public Value lwb()

'this' Discrete's lower bound if any otherwise an Exception; also see lwb_n().

upb

public Value upb()

'this' Discrete's upper bound if any otherwise an Exception; also see upb_n().

lwb_n

public int lwb_n()

'this' Discrete's int lower bound - if any, else exception, alse see lwb.

upb_n

public int upb_n()

'this' Discrete's int upper bound - if any, else exception, alse see upb.

ordered

public boolean ordered()

Is 'this' Type ordered, or not?

Overrides:

ordered in class Type.Atomic

unOrdered

public boolean unOrdered()

Return not ordered().