tuple, natural number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Tuples, Queries
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTuple |
tuple |
A tuple.
|
| 2 |
index |
natural number |
The one-based index of the desired element.
|
| Returns |
any |
The requested element.
|
Raises |
| subscript-out-of-bounds exception |
|
tuple meta, natural number
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Tuples, Queries
Answer the element type of the
index -th element of instances of the specified type. If
index is out of bounds, then answer
⊥.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTupleType |
tuple meta |
A tuple type.
|
| 2 |
index |
natural number |
The index of the desired element type.
|
| Returns |
(any)'s type |
The requested element type, or ⊥ if index is out of bounds.
|
empty sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Raise a subscript-out-of-bounds exception.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aSequence |
empty sequence |
An empty sequence.
|
| 2 |
index |
natural number |
A proposed subscript, guaranteed to be out of range.
|
| Returns |
⊥ |
|
Raises |
| subscript-out-of-bounds exception |
Always.
|
any meta, whole number meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, POJO, Constructors
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
elementType |
any meta |
The type of the elements of instances.
|
| 2 |
cardinalityRequirement |
whole number meta |
The range of sizes of instances.
|
| Returns |
(any[])'s type |
The requested pojo array type.
|
sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aSequence |
sequence |
A sequence.
|
| 2 |
index |
natural number |
The one-based index of the desired element.
|
| Returns |
any |
The requested element.
|
Raises |
| subscript-out-of-bounds exception |
If index exceeds the size of aSequence.
|
object, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Objects, Queries
Extract a field's value from an object.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
object |
object |
An object.
|
| 2 |
field |
atom |
The field for which to extract the value.
|
| Returns |
any |
The field's value.
|
Raises |
| no-such-field exception |
|
pojo array, natural number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, POJO, Queries
Answer the
index -th element of the specified pojo array.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
anArray |
pojo array |
A pojo array.
|
| 2 |
index |
natural number |
A one-based index into the pojo array.
|
| Returns |
any |
The index -th element of anArray.
|
Raises |
| subscript-out-of-bounds exception |
|
| Java-marshaling-failed exception |
|
⊥'s type, natural number
Source: /avail/Avail/Foundation/Literals
Categories: Types, Queries
Disambiguate subscript of ⊥. This is a type subscript operation, such as defined for tuple types or function types, and can consistently answer ⊥.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
bottom |
⊥'s type |
|
| 2 |
index |
natural number |
The subscript (ignored).
|
| Returns |
⊥ |
|
object meta, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Types, Objects, Queries
Extract a field's type from an object type.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
objectType |
object meta |
An object type.
|
| 2 |
field |
atom |
The field for which to extract the type.
|
| Returns |
(any)'s type |
The field's constraining type.
|
Raises |
| no-such-field exception |
|
any meta
Source: /avail/Avail/Foundation/Pojos
Categories: Primitives, Types, POJO, Constructors
Construct and answer a pojo array type whose element type is
elementType and whose cardinality requirement is
whole number.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
elementType |
any meta |
The type of the elements of instances.
|
| Returns |
any [whole number]'s type |
The requested pojo array type.
|
map, any
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Maps, Queries
Answer the value bound to
aMap in
key.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aMap |
map |
A map.
|
| 2 |
key |
any |
The key whose bound value should be obtained.
|
| Returns |
any |
The value bound to key in aMap.
|
Raises |
| key-not-found exception |
|
atom, atom
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Atoms, Queries
Assuming that
anAtom has a property whose key is
key, then answer the property value associated with the
key.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
anAtom |
atom |
An atom.
|
| 2 |
key |
atom |
The property key.
|
| Returns |
any |
The property value bound to the key.
|
Raises |
| key-not-found exception |
|
| no-such-field exception |
|
function meta, natural number
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Functions, Queries
Answer the
index -th parameter type of the specified function type.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
functionType |
function meta |
A function type.
|
| 2 |
index |
natural number |
The one-based index of the desired parameter type.
|
| Returns |
(any)'s type |
The index -th parameter type of the argument.
|
any's type's type, whole number's type's type
Source: /avail/Avail/Foundation/Pojos
|
Type |
Description |
| Parameter Types |
| any's type's type |
|
| whole number's type's type |
|
pojo array's type, natural number's type
Source: /avail/Avail/Foundation/Pojos
|
Type |
Description |
| Parameter Types |
| pojo array's type |
|
| natural number's type |
|
tuple meta, natural number's type
Source: /avail/Avail/Foundation/Literals
Strengthen the tuple subscript operation. The strongest available static type is the type union of the elements within the slice indicated by the range of the subscript. Forbid any access that could never be correct, i.e., the minimum value of the subscript exceeds the maximum cardinality of the tuple.
|
Type |
Description |
| Parameter Types |
| tuple meta |
|
| natural number's type |
|
object's type, atom's type
Source: /avail/Avail/Foundation/Objects
Strengthen object field extraction ({@method _[_] }).
|
Type |
Description |
| Parameter Types |
| object's type |
|
| atom's type |
|
map meta, any meta
Source: /avail/Avail/Foundation/Early Maps
Answer the map's value type.
function meta's type, natural number's type
Source: /avail/Avail/Foundation/Early Functions
|
Type |
Description |
| Parameter Types |
| function meta's type |
|
| natural number's type |
|
tuple meta's type, natural number's type
Source: /avail/Avail/Foundation/Literals
Strengthen the tuple type subscript operation. The strongest available static type is the instance type of the type union of the elements within the slice indicated by the range of the subscript. Forbid any access that could never be correct, i.e., the minimum value of the subscript exceeds the maximum cardinality of the tuple.
|
Type |
Description |
| Parameter Types |
| tuple meta's type |
|
| natural number's type |
|