public static class Type.Vector extends Type.Structured
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
Value.Option.GP
Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable
Modifier and Type | Field and Description |
---|---|
Type |
eltType
The element Type of a Vector (if known).
|
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
Constructor and Description |
---|
Vector() |
Vector(java.lang.String name,
Type eltType) |
Vector(Type eltType) |
Modifier and Type | Method and Description |
---|---|
boolean |
contains(Type t)
Does 'this' Vector Type contain Type 't'?
|
Type |
elt(int i)
This default throws an error, inapplicable.
|
int |
n()
Return this Option Value's number within its
Option
Type . |
int |
nElts()
This default returns 0; override it if necessary.
|
boolean |
ni(Value v)
Is Value v's type in 'this' Vector Type?
|
closes, compareTo, opens, separator
public final Type eltType
public Vector()
public Vector(Type eltType)
public Vector(java.lang.String name, Type eltType)
public boolean contains(Type t)
public int n()
Value.Option
Type
.n
in class Value.Option
public int nElts()
Type