la.la

Class Value.Option

java.lang.Object

la.la.Value

la.la.Value.Structured

la.la.Value.Option

All Implemented Interfaces:

java.lang.Comparable<Value>

Direct Known Subclasses:

Tree.Param, Type, Value.Inc_Or, Value.List, Value.Maybe, Value.Option.GP

Enclosing class:

Value

public abstract static class Value.Option
extends Value.Structured

An Option Value has a "tag", n(), and zero or more sub-Values, Value.Structured.elt(int) depending on the tag. For example, see linked Lists. Also see Type.Option.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Value.Option.GP A general purpose (GP) implementation of an Value.Option Value; also see Type.Option, and Value.List.

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

Value.Atomic, Value.Bool, Value.Char, Value.Chars, Value.Cts, Value.Defer, Value.Discrete, Value.Enum, Value.Inc_Or, Value.Int, Value.Lambda, Value.List, Value.Maybe, Value.Option, Value.Real, Value.Scannable, Value.Structured, Value.Triv, Value.Tuple

Field Summary

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
Option()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	closes() Is ")" if nElts()>0; see Value.Structured.print(java.io.PrintStream).
int	compareTo(Value rgt) Is 'this' Option < (-1), > (+1), or = (0) rgt? Note, 'this' and 'rgt' must be of the same Option Type.
abstract int	n() Return this Option Value's number within its Option Type.
int	nElts() Return this Option's number of elements (fields).
protected java.lang.String	opens() Is ["("]+id where id is the name of 'this' Option Value; see Value.Structured.print(java.io.PrintStream).
protected java.lang.String	separator() Is space, " "; see Value.Structured.print(java.io.PrintStream).

Methods inherited from class la.la.Value.Structured

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

Methods inherited from class la.la.Value

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Option

public Option()

Method Detail

n

public abstract int n()

Return this Option Value's number within its Option Type.

Overrides:

n in class Value

nElts

public int nElts()

Return this Option's number of elements (fields).

Specified by:

nElts in class Value.Structured

compareTo

public int compareTo(Value rgt)

Is 'this' Option < (-1), > (+1), or = (0) rgt? Note, 'this' and 'rgt' must be of the same Option Type. The result is firstly based on n() then, if n()s are equal, on the elements in order.

Specified by:

compareTo in interface java.lang.Comparable<Value>

Overrides:

compareTo in class Value

opens

protected java.lang.String opens()

Is ["("]+id where id is the name of 'this' Option Value; see Value.Structured.print(java.io.PrintStream). For example, EmptyTree | (Fork ...).

Overrides:

opens in class Value.Structured

separator

protected java.lang.String separator()

Is space, " "; see Value.Structured.print(java.io.PrintStream).

Overrides:

separator in class Value.Structured

closes

protected java.lang.String closes()

Is ")" if nElts()>0; see Value.Structured.print(java.io.PrintStream).

Overrides:

closes in class Value.Structured