public class Index extends Object
| Constructor and Description |
|---|
Index(Index index) |
Index(List<IndexSymbol> indexSymbols) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
endsWith(IndexSymbol symbol) |
boolean |
equals(Object other) |
IndexSymbol |
get(int pos) |
IndexSymbol |
getLastIndexSymbol() |
Index |
getWithProlongedIndex(IndexSymbol s) |
Index |
getWithProlongedIndex(List<IndexSymbol> postfix) |
Index |
getWithShortenedIndex() |
boolean |
hasConcreteIndex() |
int |
hashCode() |
boolean |
isEmpty() |
boolean |
matchIndex(Index other) |
int |
size() |
boolean |
startsWith(Iterable<IndexSymbol> prefix) |
String |
toString() |
public Index(List<IndexSymbol> indexSymbols)
public Index(Index index)
public boolean startsWith(Iterable<IndexSymbol> prefix)
public boolean endsWith(IndexSymbol symbol)
public IndexSymbol getLastIndexSymbol()
public Index getWithShortenedIndex()
public Index getWithProlongedIndex(IndexSymbol s)
public Index getWithProlongedIndex(List<IndexSymbol> postfix)
public boolean hasConcreteIndex()
public int size()
public boolean isEmpty()
public boolean matchIndex(Index other)
public IndexSymbol get(int pos)
Copyright © 2018. All rights reserved.