// -*- C++ -*- /** * \file ButtonPolicy.h * This file is part of LyX, the document processor. * Licence details can be found in the file COPYING. * * \author Allan Rae * * Full author contact details are available in file CREDITS. * * Provides a state machine implementation of the various button policies * used by the dialogs. */ #ifndef BUTTONPOLICY_H #define BUTTONPOLICY_H #include #include namespace lyx { namespace frontend { /** A class for button policies. A state machine implementation of the various button policies used by the dialogs. Only the policy is implemented here. Separate ButtonController classes are needed for each GUI implementation. Policy | ReadOnly | Apply Button | Repeated Apply ======================================================================== OkCancel | N | N | - OkCancelReadOnly | Y | N | - OkApplyCancel | N | Y | Y OkApplyCancelReadOnly | Y | Y | Y NoRepeatedApply | N | Y | N NoRepeatedApplyReadOnly | Y | Y | N Preferences | N | Y | No (Ok-Close) Ignorant | N/A | N/A | N/A ======================================================================== Policy The name of the policy ReadOnly Does the policy treat read-only docs differently to read-write docs? This usually means that when an SMI_READ_ONLY input arrives then all the buttons are disabled except Cancel/Close. The state machine tracks the inputs (valid/invalid) and has states for all combinations. When an SMI_READ_WRITE input arrives the appropriate machine state is entered (just as if the document had always been read-write). NOTE: If a dialog doesn't care about the read-only status of a document (and uses an appropriate policy) it can never get into a read-only state so isReadOnly() can only ever return false even though the document may be read-only. Repeated Apply Simply means that it is alright to use the Apply button multiple times without requiring a change of the dialog contents. If no repeating is allowed the Ok+Apply buttons are deactivated. The Preferences dialog has its own special version of repeated apply handling because its Ok button is actually a Save button -- it is always reasonable to Save the preferences if the dialog has changed since the last save. The IgnorantPolicy is a special case that allows anything. */ class ButtonPolicy { public: // The various poicies enum Policy { /** Ok and Cancel buttons for dialogs with read-only operation. Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ OkCancelPolicy, /** Ok and Cancel buttons for dialogs where read-only operation is blocked. The state machine design for this policy allows changes to occur within the dialog while a file is read-only -- the okay button is disabled until a read-write input is given. When the file is made read-write the dialog will then be in the correct state (as if the file had always been read-write). Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ OkCancelReadOnlyPolicy, /** Ok, Apply and Cancel buttons for dialogs where read-only operation is blocked. Repeated Apply are not allowed. Likewise, Ok cannot follow Apply without some valid input. That is, the dialog contents must change between each Apply or Apply and Ok. The state machine design for this policy allows changes to occur within the dialog while a file is read-only -- the Ok+Apply buttons are disabled until a read-write input is given. When the file is made read-write the dialog will then be in the correct state (as if the file had always been read-write). Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ NoRepeatedApplyReadOnlyPolicy, /** Ok, Apply and Cancel buttons for dialogs where read-only operation is blocked. Repeated Apply is allowed. Likewise, Ok can follow Apply. The state machine design for this policy allows changes to occur within the dialog while a file is read-only -- the Ok+Apply buttons are disabled until a read-write input is given. When the file is made read-write the dialog will then be in the correct state (as if the file had always been read-write). Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ OkApplyCancelReadOnlyPolicy, /** Ok, Apply and Cancel buttons for dialogs where repeated * Apply is allowed. Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ OkApplyCancelPolicy, /** Ok, Apply and Cancel buttons for dialogs with no repeated Apply. Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ NoRepeatedApplyPolicy, /** Defines the policy used by the Preferences dialog. Four buttons: Ok (Save), Apply, Cancel/Close, Restore. Note: This scheme supports the relabelling of Cancel to Close and vice versa. This is based on the value of the bool state of the Button::CANCEL. true == Cancel, false == Close */ PreferencesPolicy, /** Defines the policy used by dialogs that are forced to support a button controller when they either don't have a use for one or are not ready to use one. This may be useful when testing a new button policy but wishing to minimise problems to users by supplying an anything-goes policy via a preprocessor directive. */ IgnorantPolicy, }; /// Constructor explicit ButtonPolicy(Policy policy); /** The various possible state names. Not all state-machines have this many states. However, we need to define them all here so we can share the code. */ enum State { /// INITIAL = 0, /// VALID, /// INVALID, /// APPLIED, /// RO_INITIAL, /// RO_VALID, /// RO_INVALID, /// RO_APPLIED, /// BOGUS = 55 }; /// The various button types. enum Button { /// CLOSE = 0, // Not a real button, but effectively !CANCEL /// OKAY = 1, /// APPLY = 2, /// CANCEL = 4, /// RESTORE = 8 }; /// static const Button ALL_BUTTONS = Button(OKAY | APPLY | CANCEL | RESTORE); /** State machine inputs. All the policies so far have both CANCEL and HIDE always going to INITIAL. This won't necessarily be true for all [future] policies though so I'll leave those two as distinct inputs rather than merge them. For example, a dialog that doesn't update it's input fields when reshown after being hidden needs a policy where CANCEL and HIDE are treated differently. */ enum SMInput { /// the dialog contents are now valid SMI_VALID = 0, /// the dialog contents are now invalid SMI_INVALID, /// an apply-and-hide action has happened SMI_OKAY, /// an apply action has happened SMI_APPLY, /// a cancel action has happened SMI_CANCEL, /// a restore action has happened SMI_RESTORE, /// the dialog has been hidden SMI_HIDE, /// the dialog contents are read-only SMI_READ_ONLY, /// the dialog contents can be modified SMI_READ_WRITE, /// the state of the dialog contents has not changed SMI_NOOP, /// for internal use SMI_TOTAL }; /// Trigger a transition with this input. void input(SMInput); /** Activation status of a button. We assume that we haven't gotten into an undefined state. This is reasonable since we can only reach states defined in the state machine and they should all have been defined in the outputs_ variable. Perhaps we can do something at compile time to check that all the states have corresponding outputs. */ bool buttonStatus(Button) const; /// Are we in a read-only state? bool isReadOnly() const; private: /// Policy policy_; /// Transition map of the state machine. typedef std::vector StateArray; /// typedef std::vector StateMachine; /// The state outputs are the status of the buttons. typedef std::vector StateOutputs; /// Current state. State state_; /// Which buttons are active for a given state. StateOutputs outputs_; /// StateMachine state_machine_; private: // Helpers void nextState(SMInput input); void initOkCancel(); void initOkCancelReadOnly(); void initNoRepeatedApplyReadOnly(); void initOkApplyCancelReadOnly(); void initOkApplyCancel(); void initNoRepeatedApply(); void initPreferences(); }; inline std::ostream & operator<<(std::ostream & os, ButtonPolicy::State st) { return os << int(st); } inline std::ostream & operator<<(std::ostream & os, ButtonPolicy::SMInput smi) { return os << int(smi); } } // namespace frontend } // namespace lyx #endif