// Constructors
// ------------------------------------------------------------------------
+ /**
+ * Constructor
+ * @param length how many elements in the array
+ * @param elemType what type of element is in the array
+ */
public ArrayDeclaration(int length, IDeclaration elemType) {
this.length = length;
this.elemType = elemType;
// Getters/Setters/Predicates
// ------------------------------------------------------------------------
+ /**
+ *
+ * @return the type of element in the array
+ */
public IDeclaration getElementType() {
return elemType;
}
+ /**
+ *
+ * @return how many elements in the array
+ */
public int getLength() {
return length;
}