public final class FormalParameters extends AbstractList<FormalParameters.Parameter>
Specialized class is used instead of some Collection, because I want to keep order in which parameters were added, but also throw error on duplicates.
| Modifier and Type | Class and Description |
|---|---|
static class |
FormalParameters.Parameter
This class represents one formal parameter of C or AP.
|
modCount| Constructor and Description |
|---|
FormalParameters() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(int index,
FormalParameters.Parameter element) |
boolean |
containsVariable(String variableName)
Does this list of formal parameters contains variable with name
variableName?
|
FormalParameters.Parameter |
get(int index) |
FormalParameters.Parameter |
remove(int index) |
FormalParameters.Parameter |
set(int index,
FormalParameters.Parameter element) |
int |
size() |
String |
toString() |
add, addAll, clear, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, removeRange, subListaddAll, contains, containsAll, isEmpty, remove, removeAll, retainAll, toArray, toArraypublic FormalParameters.Parameter get(int index)
get in interface List<FormalParameters.Parameter>get in class AbstractList<FormalParameters.Parameter>public int size()
size in interface Collection<FormalParameters.Parameter>size in interface List<FormalParameters.Parameter>size in class AbstractCollection<FormalParameters.Parameter>public FormalParameters.Parameter set(int index, FormalParameters.Parameter element)
set in interface List<FormalParameters.Parameter>set in class AbstractList<FormalParameters.Parameter>public void add(int index,
FormalParameters.Parameter element)
add in interface List<FormalParameters.Parameter>add in class AbstractList<FormalParameters.Parameter>public FormalParameters.Parameter remove(int index)
remove in interface List<FormalParameters.Parameter>remove in class AbstractList<FormalParameters.Parameter>public boolean containsVariable(String variableName)
variableName - variableName we are checking.public String toString()
toString in class AbstractCollection<FormalParameters.Parameter>Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.