FOREIGN MODULE javax_swing_undo; IMPORT java_io, java_lang, java_util, javax_swing_event; TYPE AbstractUndoableEdit* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + UndoableEdit + java_io.Serializable) STATIC UndoName! = "Undo"; RedoName! = "Redo"; PROCEDURE Init*() : AbstractUndoableEdit,CONSTRUCTOR; END; CannotRedoException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*() : CannotRedoException,CONSTRUCTOR; END; CannotUndoException* = POINTER TO EXTENSIBLE RECORD (java_lang.RuntimeException) STATIC PROCEDURE Init*() : CannotUndoException,CONSTRUCTOR; END; CompoundEdit* = POINTER TO EXTENSIBLE RECORD (AbstractUndoableEdit) edits! : java_util.Vector; STATIC PROCEDURE Init*() : CompoundEdit,CONSTRUCTOR; END; StateEdit* = POINTER TO EXTENSIBLE RECORD (AbstractUndoableEdit) object! : StateEditable; preState! : java_util.Hashtable; postState! : java_util.Hashtable; undoRedoName! : java_lang.String; STATIC RCSID! = "$Id: StateEdit.java,v 1.6 1997/10/01 20:05:51 sandipc Exp $"; PROCEDURE Init*(p0 : StateEditable) : StateEdit,CONSTRUCTOR; PROCEDURE Init*(p0 : StateEditable; p1 : java_lang.String) : StateEdit,CONSTRUCTOR; END; StateEditable* = POINTER TO INTERFACE RECORD (java_lang.Object) STATIC RCSID* = "$Id: StateEditable.java,v 1.2 1997/09/08 19:39:08 marklin Exp $"; END; UndoableEdit* = POINTER TO INTERFACE RECORD (java_lang.Object) END; UndoableEditSupport* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) updateLevel! : INTEGER; compoundEdit! : CompoundEdit; listeners! : java_util.Vector; realSource! : java_lang.Object; STATIC PROCEDURE Init*() : UndoableEditSupport,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.Object) : UndoableEditSupport,CONSTRUCTOR; END; UndoManager* = POINTER TO EXTENSIBLE RECORD (CompoundEdit + javax_swing_event.UndoableEditListener) STATIC PROCEDURE Init*() : UndoManager,CONSTRUCTOR; END; PROCEDURE (self:AbstractUndoableEdit) addEdit*(p0 : UndoableEdit) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) canRedo*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) canUndo*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) die*(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) getPresentationName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) getRedoPresentationName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) getUndoPresentationName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) isSignificant*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) redo*(),NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) replaceEdit*(p0 : UndoableEdit) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:AbstractUndoableEdit) undo*(),NEW,EXTENSIBLE; PROCEDURE (self:CompoundEdit) addEdit*(p0 : UndoableEdit) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:CompoundEdit) canRedo*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:CompoundEdit) canUndo*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:CompoundEdit) die*(),EXTENSIBLE; PROCEDURE (self:CompoundEdit) end*(),NEW,EXTENSIBLE; PROCEDURE (self:CompoundEdit) getPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:CompoundEdit) getRedoPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:CompoundEdit) getUndoPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:CompoundEdit) isInProgress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:CompoundEdit) isSignificant*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:CompoundEdit) lastEdit!() : UndoableEdit,NEW,EXTENSIBLE; PROCEDURE (self:CompoundEdit) redo*(),EXTENSIBLE; PROCEDURE (self:CompoundEdit) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:CompoundEdit) undo*(),EXTENSIBLE; PROCEDURE (self:StateEdit) end*(),NEW,EXTENSIBLE; PROCEDURE (self:StateEdit) getPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:StateEdit) init!(p0 : StateEditable; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:StateEdit) redo*(),EXTENSIBLE; PROCEDURE (self:StateEdit) removeRedundantState!(),NEW,EXTENSIBLE; PROCEDURE (self:StateEdit) undo*(),EXTENSIBLE; PROCEDURE (self:StateEditable) restoreState*(p0 : java_util.Hashtable),NEW,ABSTRACT; PROCEDURE (self:StateEditable) storeState*(p0 : java_util.Hashtable),NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) addEdit*(p0 : UndoableEdit) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) canRedo*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) canUndo*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) die*(),NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) getPresentationName*() : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) getRedoPresentationName*() : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) getUndoPresentationName*() : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) isSignificant*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) redo*(),NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) replaceEdit*(p0 : UndoableEdit) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:UndoableEdit) undo*(),NEW,ABSTRACT; PROCEDURE (self:UndoableEditSupport) _postEdit!(p0 : UndoableEdit),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) addUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) beginUpdate*(),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) createCompoundEdit!() : CompoundEdit,NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) endUpdate*(),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) getUpdateLevel*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) postEdit*(p0 : UndoableEdit),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) removeUndoableEditListener*(p0 : javax_swing_event.UndoableEditListener),NEW,EXTENSIBLE; PROCEDURE (self:UndoableEditSupport) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:UndoManager) addEdit*(p0 : UndoableEdit) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:UndoManager) canRedo*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:UndoManager) canUndo*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:UndoManager) canUndoOrRedo*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) discardAllEdits*(),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) editToBeRedone!() : UndoableEdit,NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) editToBeUndone!() : UndoableEdit,NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) end*(),EXTENSIBLE; PROCEDURE (self:UndoManager) getLimit*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) getRedoPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:UndoManager) getUndoOrRedoPresentationName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) getUndoPresentationName*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:UndoManager) redo*(),EXTENSIBLE; PROCEDURE (self:UndoManager) redoTo!(p0 : UndoableEdit),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) setLimit*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:UndoManager) trimEdits!(p0 : INTEGER; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) trimForLimit!(),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) undo*(),EXTENSIBLE; PROCEDURE (self:UndoManager) undoOrRedo*(),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) undoTo!(p0 : UndoableEdit),NEW,EXTENSIBLE; PROCEDURE (self:UndoManager) undoableEditHappened*(p0 : javax_swing_event.UndoableEditEvent),NEW,EXTENSIBLE; END javax_swing_undo.