public class Quantifiers
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.Object[] |
quants |
Constructor and Description |
---|
Quantifiers(java.lang.Object... quants)
Create an instance of a
Quantifier . |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getQuantifier(int index)
Return an item in this instance of a
Quantifier . |
public Quantifiers(java.lang.Object... quants)
Quantifier
.quants
- the values that make up this instance.public java.lang.Object getQuantifier(int index)
Quantifier
.index
- position of the value to return.index
'th position in this instance.java.lang.IndexOutOfBoundsException
- if index
is out of range.