MPS 2021.1 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);
  • 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: 23 March 2021