MPS 2019.1 Help

List

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.

list<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);
  • indexed access
    list[index];

    set

    Operand type

    Parameter type

    Result type

    list<Type>

    int
    Type

    Type

    Sets the element at index position to the specified value. Yields the new value.
    list.set (index, value);
  • indexed access
    list[index] = value;

    add

    Operand type

    Parameter type

    Result type

    list<Type>

    Type

    Type

    Adds an element to the list.
    list.add (value);

    addFirst

    Operand type

    Parameter type

    Result type

    list<Type>

    Type

    Type

    Adds an element to the list as the first element.
    list.addFirst (value);

    addLast

    Operand type

    Parameter type

    Result type

    list<Type>

    Type

    Type

    Adds an element to the list as the last element.
    list.addLast (value);

    insert

    Operand type

    Parameter type

    Result type

    list<Type>

    int
    Type

    Type

    Inserts an element into the list at the position index.
    list.insert (index, value);

    remove

    Operand type

    Parameter type

    Result type

    list<Type>

    Type

    Type

    Removes an element from the list.
    list.remove (value);

    removeFirst

    Operand type

    Parameter type

    Result type

    list<Type>

    none

    Type

    Removes the first element from the list.
    list.removeFirst;

    removeLast

    Operand type

    Parameter type

    Result type

    list<Type>

    none

    Type

    Removes the last element from the list.
    list.removeLast;

    removeAt

    Operand type

    Parameter type

    Result type

    list<Type>

    int

    Type

    Removes an element from the list located at the position index.
    list.removeAt (index);

    addAll

    Operand type

    Parameter type

    Result type

    list<Type>

    sequence<Type>

    list<Type>

    Adds all elements in the parameter sequence to the list.
    list.addAll (seq);

    removeAll

    Operand type

    Parameter type

    Result type

    list<Type>

    sequence<Type>

    list<Type>

    Removes all elements in the parameter sequence from the list.
    list.removeAll (seq);

    clear

    Operand type

    Parameter type

    Result type

    list<Type>

    none

    void
    Clears all elements from the list.
    list.clear;

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: 5 July 2019