1.180.3 Get methods

vector <-_arg: int -> any

Get the n-th argument of the term description. Argument 1 is the argument at the lowest defined index.

vector <-_arity: -> int

Get the number of arguments of the term-description. This is the total number of elements in the vector.

vector <-copy: -> vector

Creates a copy of the vector with the same elements and vector<->offset. The copy also is of the same class as the original, which implies that the vector->initialise method of this subclass must accept the same arguments as class vector.

vector <-element: index=int -> any

Get the nth (1-based) element of the vector. Fails silently when outside the defined range.

vector <-find: code=code, from=[int], to=[int] -> unchecked

Run code on each element of the vector until it succeeds. Return the element for which it succeeded. Arguments:

@arg1	The current element
@arg2	Index of the element

Using from and to, the range and order can be defined. See vector->for_all for details. For example, to find the last element satisfying code, use:

find_last(Vector, Code, Element) :<-
        get(Vector, high_index, End),
        get(Vector, low_index, Start),
        get(Vector, find, Code, End, Start, Element).

See also

- vector<-index
- vector<-rindex

vector <-find_all: code=code, from=[int], to=[int] -> unchecked

Return a new chain holding all elements for which code could be successfully executed. Arguments:

@arg1	The current element
@arg2	The index

Using from and to, the range and order can be defined. See vector->for_all for details.

vector <-high_index: -> int

The highest index for which vector<-element succeeds. This is vector<-offset + vector<-size.

See also

vector<-low_index

vector <-index: any -> int

Searches the vector from vector<-low_index, returning the first index that holds the argument object.

See also chain->member and vector<-rindex.

See also

- vector<-find
- vector<-rindex

vector <-low_index: -> int

Lowest index for which vector<-element succeeds. This is vector<-offset + 1.

See also

vector<-high_index

vector <-rindex: any -> int

Scan the vector starting at vector<-high_index working downwards and return the highest index that contains the argument object. See also vector<-index.

See also

- vector<-find
- vector<-index