edu.ucdavis.rj

Class Quantifiers

java.lang.Object

edu.ucdavis.rj.Quantifiers

public class Quantifiers
extends java.lang.Object

Used with inni and co to represent an instance of a quantifier.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.Object[]	quants

Constructor Summary

Constructors

Constructor and Description
Quantifiers(java.lang.Object... quants) Create an instance of a Quantifier.

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getQuantifier(int index) Return an item in this instance of a Quantifier.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

quants

java.lang.Object[] quants

Constructor Detail

Quantifiers

public Quantifiers(java.lang.Object... quants)

Create an instance of a Quantifier.

Parameters:

quants - the values that make up this instance.

Method Detail

getQuantifier

public java.lang.Object getQuantifier(int index)

Return an item in this instance of a Quantifier.

Parameters:

index - position of the value to return.

Returns:

the value in the index'th position in this instance.

Throws:

java.lang.IndexOutOfBoundsException - if index is out of range.