[operations] [attributes] [fields] [template] [definition]
[implementation] [documentation]
To use the search tool you need to use a browser which supports JAVA (c)

[next] [prev] [superclass] [next peer] [prev peer] [subclass] [index] [hierarchy]

CanPreventReboot

mixes in with Object
mixes in with HasReinitialize

CanPreventReboot



Operations

Get list of all operations

CanReboot
Copying
Finalize
Init
RegisterForRebootPrevention
Reinitialize
SystemCanReboot
UnRegisterForRebootPrevention


Attributes

Get list of all attributes

Class CanPreventReboot defines no new attributes.


Fields

No fields are defined by CanPreventReboot or any of its superclasses.


Instance template

Class CanPreventReboot cannot be instantiated.


Class definition

Define Class CanPreventReboot; 
    mixes in with Object, HasReinitialize;
    
    operation CanReboot(): Boolean;
        // clients must override to return true if they're interruptable and
        // otherwise ask user to confirm. 
    
    intrinsic SystemCanReboot(): Boolean;
        // called by the system when it wants to reboot, to check if ongoing
        // processes such as communication would be interrupted by a reboot; 
        // returns true if rebooting would interrupt nothing, false if it would
        // call often, override never
    
    operation RegisterForRebootPrevention();
        // called by Init and Reinitialize to add client to the list of
        // objects who'll be asked whenever we might reboot
        // call rarely, override never
    operation UnRegisterForRebootPrevention();
        // called by Finalize to remove this object from the notification list
        // call rarely, override never  

    overrides Init, Reinitialize, Copying;
        // overridden to register the object with the reboot manager
    overrides Finalize;
        // overridden to unregister the object
end class;