MPS 2020.2 Help

List

A basic list container backed by either array list or linked list.

List type

list<Type>

Subtypes

Supertypes

Comparable types

none

sequence<Type>

java.util.List<Type>

List creation

new arraylist
new linkedlist

Parameter type

Result type

Type...
{*}sequence<? extends *Type>

list<Type>

Creates an empty list. Optionally, initial values may be specified right in the new list creation expression.

Type = new arraylist<Type> { /* initial values */ };


Alternatively, a sequence may be specified that is used to copy elements from.

list<Type> = new arraylist<Type> (sequence);
Operations on list
iterator

Operand type

Parameter type

Result type

sequence<Type>

none

modifying_iterator<Type>

This operation is redefined for list to return a modifying_iterator.

get

Operand type

Parameter type

Result type

list<Type>

int

Type

Yields the element at index position.

list.get (index);
reverse

Operand type

Parameter type

Result type

list<Type>

none

list<Type>

Produces a list with all elements from the original list in the reversed order.

list.reverse;
Last modified: 08 May 2020