+ /**
+ * Returns the value of the modifier in the specified ModifierSet
+ * that corresponds to the specified type.
+ */
+ public String modifier(String type) {
+ int n = modifiers.size();
+ for (int i = 0; i < n; i++) {
+ Vector pair = (Vector) modifiers.get(i);
+ if (pair.get(0).equals(type))
+ return (String) pair.get(1);
+ }
+ return null;
+ }
+
+ /**
+ * Returns an array of the modifiers in a ModifierSet.
+ * @return
+ * An array of modifiers, each represented by a two-element
+ * <TT>Vector</TT>, in which element 0 is the modifier type and
+ * element 1 is the associated value.
+ */