{Stimuli {"Back" "Back Button"} {"Close" "Close Button"} {"Forward" "Forward Button"} {"Home" "Home Button"} {"PageReceived" "HTML page received in response to request"} {"Stop" "Stops a URL request"} {"URLBar" "URL sent via URL toolbar"}} {Responses {"AddURLChar" "Add keystroke to URL Field"} {"CancelRequest" "Cancels URL request"} {"Impossible" "Placeholder for an impossible situation"} {"None" "No response"} {"Quit" "Quit"} {"RequestHome" "Send request for URL http://ozark.hendrix.edu/~ferrer"} {"RequestURL" "Send request for URL given in URL Field"} {"ShowLastBack" "Show page that was being viewed when most recent 'Back' occurred"} {"ShowLastLoaded" "Show last page loaded by URL bar, Forward button, or Home button"} {"ShowReceivedPage" "Show page received via I/O"}} {Macros {"Open" "not (any:Close)"} {"Request" "Home or URLBar"} {"RequestPending" "any:Request:(not includes (PageReceived or Stop or response ShowLastBack or response ShowLastLoaded))"} {"canBack" "count response ShowReceivedPage - count response ShowLastLoaded + count response ShowLastBack >= 2"} {"canForward" "any:response ShowReceivedPage:(not includes response ShowReceivedPage and count response ShowLastLoaded > count response ShowLastBack)"}} {Row {History "Open"} {Stimulus "Close"} {Response "Quit"}} {Row {History "Open"} {Stimulus "Home"} {Response "RequestHome"}} {Row {History "Open"} {Stimulus "URLBar"} {Response "RequestURL"}} {Row {History "canForward and Open"} {Stimulus "Forward"} {Response "ShowLastBack"}} {Row {History "canBack and Open"} {Stimulus "Back"} {Response "ShowLastLoaded"}} {Row {History "RequestPending and Open"} {Stimulus "PageReceived"} {Response "ShowReceivedPage"}} {Row {History "RequestPending and Open"} {Stimulus "Stop"} {Response "CancelRequest"}} {Row {History "not canForward and Open"} {Stimulus "Forward"} {Response "None"}} {Row {History "not canBack and Open"} {Stimulus "Back"} {Response "None"}} {Row {History "not RequestPending and Open"} {Stimulus "Stop"} {Response "None"}} {Row {History "any:Close"} {Stimulus "all"} {Response "Impossible"}} {Row {History "not RequestPending and Open"} {Stimulus "PageReceived"} {Response "Impossible"}}