public static List getAllPointerTypesForPOS(POS pos) { List types = new ArrayList(); for (Iterator itr = ALL_TYPES.iterator(); itr.hasNext();) { PointerType pt = (PointerType) itr.next(); if (pt.appliesTo(pos)) { types.add(pt); } } return Collections.unmodifiableList(types); }