enCruft App Stimuli


TAG NAME DESCRIPTION TRACE
IN Initialize Perform software initialization D1
O Open Open a new file for editing 1
N New Request for a new empty file creation. 2
S Save Save current file 3
V reVert Revert to previously saved version of file 6
R Rename Rename the current file. 9
E Edit An edit has occured to the document 7
X eXit Exiting the program has been requested 8
A About About information has been requested 4
FA File Approved A file has been approved from the file chooser dialog 10, D2
FR File Rejected No file was selected on the file chooser dialog D2
OK IO OK An I/O operation was successful D5
ER IO Error An I/O operation has failed D5
FX File eXists A specified file exists 5
NX Not eXists A specified file doesn't exist 5
QY Query Yes A user query has ended with user permission 4, D5, D6
QN Query No A user query has ended with users refusal D6



Deletion Abstractions


About "A" stimulus, The About "A" stimulus will always be followed by a blocking response, "About". Which can only be followed by a QY stimulus, returning the state box to it's original state. Therefore the About "A" stimulus need not be included in the enumeration.

IN stimulus, The Init "IN" stimulus will always be the first stimulus of the system, any other stimulus would be illegal since the system isn't in memory. After which the stimulus will never occur again. The sequence "IN" of length one is a very important one and must be kept in the enumeration.

FA stimulus This stimulus can only occur after a Chooser response.

FR stimulus This stimulus can only occur after a Chooser or ChooserX response.

OK and ER stimuli This stimuli can only occur after an Open or Empty or Save response.

QY stimulus This stimulus can only occur after a About or Query or Warn response.

QN stimulus This stimulus can only occur after a Query response.

FX and NX stimuli These stimuli can only occur after a Exists response.


Partition Abstractions


FS File Specified Stimulus
When selecting a file, and one potentially could get overwritten, a sequence of events is required for selecting a file that goes beyond a simple file chooser dialog, denoted as ChooserX. "FS" is used to denote the following sequences {FA FX QY or FA NX}, which assumes that after the FA stimulis is given the "Exists" response is sent.






¤   4037 General Bate Drive    ¤   Nashville, TN 37204    ¤
¤   Phone: (615) 292-6496    ¤   Fax: (615) 386-9243    ¤    info@elucidsoft.net     ¤
This documentation was created by the staff of eLucid Software.  The content of these pages is Copyright © 2002 by eLucid Software, all rights reserved, unless otherwise noted.  Send comments, corrections, and suggestions to the author.