(****
 *
 * Module Edit defines the objects and operations related to generic editing
 * in the calendar system.
 *
 *)
module Edit;

  operation EditUndo is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditUndo;

  operation EditRedo is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditRedo;

  operation EditRepeat is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditRepeat;

  operation EditCut is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditCut;

  operation EditCopy is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditCopy;

  operation EditPast is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditPast;

  operation EditDelete is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditDelete;

  operation EditSelectAll is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditSelectAll;

  operation EditFind is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditFind;

  object EditCommand is
    components: ;
    description: (*

    *);
  end EditCommand;

  operation EditOptions is
    inputs: ;
    outputs: ;
    preconditions: ;
    postconditions: ;
    description: (*

    *);
  end EditOptions;

end Edit;