swing/text/GapContent.java

702      * Returns a Vector containing instances of UndoPosRef for the
713     @SuppressWarnings({"rawtypes", "unchecked"}) // UndoPosRef type cannot be exposed
743         Vector<UndoPosRef> placeIn = (v == null) ?
748             placeIn.addElement(new UndoPosRef(marks.elementAt(counter)));
754      * Resets the location for all the UndoPosRef instances
760      * @param positions the UndoPosRef instances to reset
764     @SuppressWarnings("rawtypes") // UndoPosRef type cannot be exposed
782             UndoPosRef ref = (UndoPosRef) positions.elementAt(counter);
833     final class UndoPosRef {
834         UndoPosRef(MarkData rec) {
859     } // End of GapContent.UndoPosRef
907         /** An array of instances of UndoPosRef for the Positions in the
909         @SuppressWarnings("rawtypes") // UndoPosRef type cannot be exposed
962         /** An array of instances of UndoPosRef for the Positions in the
964         protected Vector<UndoPosRef> posRefs;