Polecenie

// Bazowa klasa polecenie definiuje wspólny interfejs wszystkich
// konkretnych poleceń.
abstract class Command is
    protected field app: Application
    protected field editor: Editor
    protected field backup: text

    constructor Command(app: Application, editor: Editor) is
        this.app = app
        this.editor = editor

    // Zrób kopię zapasową stanu edytora.
    method saveBackup() is
        backup = editor.text

    // Przywróć stan edytora.
    method undo() is
        editor.text = backup

    // Metoda wykonująca zadeklarowana jest jako abstrakcyjna,
    // aby zmusić wszystkie konkretne polecenia do
    // zaimplementowania jej we własnym zakresie. Metoda musi
    // zwracać prawdę lub fałsz zależnie od tego, czy polecenie
    // zmienia stan edytora lub pozostawia stan bez zmian.
    abstract method execute()


// Tu umieszczane są konkretne polecenia.
class CopyCommand extends Command is
    // Polecenie kopiuj nie jest zapisywane w historii ponieważ
    // nie zmienia stanu edytora.
    method execute() is
        app.clipboard = editor.getSelection()
        return false

class CutCommand extends Command is
    // Polecenie wytnij zmienia stan edytora, dlatego trzeba
    // zapisać stan w historii. Stan będzie zapisywany zawsze
    // gdy metoda zwróci prawdę.
    method execute() is
        saveBackup()
        app.clipboard = editor.getSelection()
        editor.deleteSelection()
        return true

class PasteCommand extends Command is
    method execute() is
        saveBackup()
        editor.replaceSelection(app.clipboard)
        return true

// Funkcja cofania operacji również jest poleceniem.
class UndoCommand extends Command is
    method execute() is
        app.undo()
        return false


// Globalna historia poleceń jest po prostu stosem.
class CommandHistory is
    private field history: array of Command

    // Ostatni na wejściu...
    method push(c: Command) is
        // Wepchnij polecenie na koniec tablicy historii.

    // ...pierwszy na wyjściu.
    method pop():Command is
        // Pobierz najświeższe polecenie z historii.


// Klasa edytora posiada narzędzia do edycji tekstu. Pełni rolę
// odbiorcy: wszystkie polecenia delegują faktyczne wykonanie
// metodom edytora.
class Editor is
    field text: string

    method getSelection() is
        // Zwróć zaznaczony tekst.

    method deleteSelection() is
        // Skasuj zaznaczony tekst.

    method replaceSelection(text) is
        // Wstaw zawartość schowka w bieżącym miejscu.


// Klasa aplikacji ustanawia relacje między obiektami. Pełni
// rolę nadawcy: gdy trzeba coś zrobić, tworzy obiekt polecenia
// i uruchamia go.
class Application is
    field clipboard: string
    field editors: array of Editors
    field activeEditor: Editor
    field history: CommandHistory

    // Kod przypisujący polecenia do obiektów interfejsu
    // użytkownika może wyglądać w sposób następujący.
    method createUI() is
        // ...
        copy = function() { executeCommand(
            new CopyCommand(this, activeEditor)) }
        copyButton.setCommand(copy)
        shortcuts.onKeyPress("Ctrl+C", copy)

        cut = function() { executeCommand(
            new CutCommand(this, activeEditor)) }
        cutButton.setCommand(cut)
        shortcuts.onKeyPress("Ctrl+X", cut)

        paste = function() { executeCommand(
            new PasteCommand(this, activeEditor)) }
        pasteButton.setCommand(paste)
        shortcuts.onKeyPress("Ctrl+V", paste)

        undo = function() { executeCommand(
            new UndoCommand(this, activeEditor)) }
        undoButton.setCommand(undo)
        shortcuts.onKeyPress("Ctrl+Z", undo)

    // Uruchom polecenie i sprawdź czy trzeba je zapisać w
    // historii.
    method executeCommand(command) is
        if (command.execute())
            history.push(command)

    // Weź najświeższe polecenie z historii i uruchom jego
    // metodę wycofującą. Zwróć uwagę, że nie znamy klasy tego
    // polecenia i nie musimy znać, bo polecenie samo wie jak
    // cofnąć rezultat swojego działania.
    method undo() is
        command = history.pop()
        if (command != null)
            command.undo()