es.ucm.maude.bindings.TermPairVector

All Implemented Interfaces:: Iterable<TermPair>, Collection<TermPair>, List<TermPair>, RandomAccess, SequencedCollection<TermPair>

public class TermPairVector extends AbstractList<TermPair> implements RandomAccess

Constructor Summary

Constructors

Constructor

Description

TermPairVector()

TermPairVector(int count, TermPair value)

TermPairVector(TermPair[] initialElements)

TermPairVector(TermPairVector other)

TermPairVector(Iterable<TermPair> initialElements)
Method Summary

Modifier and Type

Method

Description

void

add(int index, TermPair e)

boolean

add(TermPair e)

int

capacity()

void

clear()

void

delete()

TermPair

get(int index)

boolean

isEmpty()

TermPair

remove(int index)

void

reserve(int n)

TermPair

set(int index, TermPair e)

int

size()

Methods inherited from class java.util.AbstractList
addAll, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, subList

Methods inherited from class java.util.AbstractCollection
addAll, contains, containsAll, remove, removeAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface java.util.List
addAll, addFirst, addLast, contains, containsAll, getFirst, getLast, remove, removeAll, removeFirst, removeLast, replaceAll, retainAll, reversed, sort, spliterator, toArray, toArray

Constructor Details
- TermPairVector
  
  public TermPairVector(TermPair[] initialElements)
- TermPairVector
  
  public TermPairVector(Iterable<TermPair> initialElements)
- TermPairVector
  
  public TermPairVector()
- TermPairVector
  
  public TermPairVector(TermPairVector other)
- TermPairVector
  
  public TermPairVector(int count, TermPair value)
Method Details
- delete
  
  public void delete()
- get
  
  public TermPair get(int index)
  
  Specified by:
  
  get in interface List<TermPair>
  
  Specified by:
  
  get in class AbstractList<TermPair>
- set
  
  public TermPair set(int index, TermPair e)
  
  Specified by:
  
  set in interface List<TermPair>
  
  Overrides:
  
  set in class AbstractList<TermPair>
- add
  
  public boolean add(TermPair e)
  
  Specified by:
  
  add in interface Collection<TermPair>
  
  Specified by:
  
  add in interface List<TermPair>
  
  Overrides:
  
  add in class AbstractList<TermPair>
- add
  
  public void add(int index, TermPair e)
  
  Specified by:
  
  add in interface List<TermPair>
  
  Overrides:
  
  add in class AbstractList<TermPair>
- remove
  
  public TermPair remove(int index)
  
  Specified by:
  
  remove in interface List<TermPair>
  
  Overrides:
  
  remove in class AbstractList<TermPair>
- size
  
  public int size()
  
  Specified by:
  
  size in interface Collection<TermPair>
  
  Specified by:
  
  size in interface List<TermPair>
  
  Specified by:
  
  size in class AbstractCollection<TermPair>
- capacity
  
  public int capacity()
- reserve
  
  public void reserve(int n)
- isEmpty
  
  public boolean isEmpty()
  
  Specified by:
  
  isEmpty in interface Collection<TermPair>
  
  Specified by:
  
  isEmpty in interface List<TermPair>
  
  Overrides:
  
  isEmpty in class AbstractCollection<TermPair>
- clear
  
  public void clear()
  
  Specified by:
  
  clear in interface Collection<TermPair>
  
  Specified by:
  
  clear in interface List<TermPair>
  
  Overrides:
  
  clear in class AbstractList<TermPair>

Class TermPairVector

Constructor Summary

Method Summary

Methods inherited from class java.util.AbstractList

Methods inherited from class java.util.AbstractCollection

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.List

Constructor Details

TermPairVector

TermPairVector

TermPairVector

TermPairVector

TermPairVector

Method Details

delete

get

set

add

add

remove

size

capacity

reserve

isEmpty

clear