return names.size();
}
+ public void setTemp(int i, TempDescriptor tmp) {
+ if (i>=temps.size())
+ temps.setSize(i+1);
+ temps.set(i, tmp);
+ }
+
+ public TempDescriptor getTemp(int i) {
+ return (TempDescriptor) temps.get(i);
+ }
+
public String getName(int i) {
return (String) names.get(i);
}
return (String) types.get(i);
}
}
+