Documentation

Technology, Structure,Model-based State Diagram


 

Below is the list of user interactions and messages (Grey text is the triggered message), read the instruction on how to interpret these model-based state diagram:

Asm Step Display

Run the simulation from state ri for steps instructions

AsmStepDisplay of BreakCondition * int64 * RunInfo

Close Tab

Attempt to close one of the tab in Editors

AttemptToDeleteTab of int

Exit the app

Terminate the application

AttemptToExit

Check the Run Mode

Some actions are restricted by the run mode

CheckRunMode of Msg * string

Display State

Updates GUI after a bit of simulation

DisplayState of RunInfo * bool * RunInfo

Editor Actions

Find, Find and replace, undo, redo

Multiple messages

Edit Text

When user edit the text in tab

EditorTextChange

Get Test Run Info

Wonderful reusable code from Twitter

GetTestRunInfo of Result option * bool * Test list

Highlight Current And Next Ins

Some actions are restricted by the run mode

HighlightCurrentAndNextIns of string * RunInfo

Initialisation

Wonderful reusable code from Twitter

ReadOnlineInfo of VisualEvent

Interlock

Some actions are restricted by the interlock

Function: interlock

Load Demo Code

Start a new tab with demo code

LoadDemoCode

Make ToolTip Info

Make "Shift", "Pointer" or "Stack" tooltip in editor

MakeToolTipInfo of int * string * DataPath * CondInstr

New file & open file

Start a new file or open file in computer

Multiple messages

Reset Emulator

Reset the emulator

ResetEmulator

Run Emulator Tests

Wonderful reusable code from Twitter

RunAllEmulatorTests

Msg: RunEditorRunMode

Wonderful reusable code from Twitter

RunEditorRunMode of BreakCondition * int64

Msg: RunEditorTab

Wonderful reusable code from Twitter

RunEditorTab of BreakCondition * int64

Run Simulation

Click "Run"

RunSimulation

Run dev tools FABLE checks

Wonderful reusable code from Twitter

RunTestBench

Run All Tests

Wonderful reusable code from Twitter

RunTestBenchOnCode

Save Settings

Save settings onto computer

SaveSettings & SaveSettingsOnly

Save File As

Call the "Save As" dialog

SaveAsFileDialog

Save File

Save the current file

SaveFile

Select File Tab

Select a file tab in the tab header

SelectFileTab of int

Select Settings Tab

Select the settings tab in "File" menu

SelectSettingsTab

Step Code Back

Wonderful reusable code from Twitter

StepCodeBackBy 1

Step forward by

Call the "step code forward by" dialog

UpdateDialogBox StepDl

Step into Test

Wonderful reusable code from Twitter

Function: runSingleTest

Step Code

Wonderful reusable code from Twitter

StepCode

Step Code Back By

Call the "step code back by" dialog

UpdateDialogBox StepBackDl

Try Parse and Indent Code

Wonderful reusable code from Twitter

TryParseAndIndentCode of bool * int64 * BreakCondition * Test list option

Update GUI From Run State

Wonderful reusable code from Twitter

UpdateGUIFromRunState of RunInfo

View

Change the view, representation, byte view, reverse direction view

Multiple messages