modifying data structures a little: I want to distinguish straight-line statements from branches.

modifying data structures a little: I want to distinguish straight-line statements from branches.
This commit is contained in:
Danny Yoo 2011-07-27 17:11:20 -04:00
parent 7b33558d6d
commit 3add8633e3

View File

@ -114,33 +114,29 @@
;; A straight-line statement includes non-branching stuff.
(define-type StraightLineStatement (U
DebugPrint
Comment
AssignImmediateStatement
AssignPrimOpStatement
PerformStatement
PopEnvironment
PushEnvironment
PushImmediateOntoEnvironment
PushControlFrame/Generic
PushControlFrame/Call
PushControlFrame/Prompt
PopControlFrame))
(define-type BranchingStatement (U GotoStatement TestAndJumpStatement))
;; instruction sequences
(define-type UnlabeledStatement (U
AssignImmediateStatement
AssignPrimOpStatement
PerformStatement
GotoStatement
TestAndJumpStatement
PopEnvironment
PushEnvironment
PushImmediateOntoEnvironment
PushControlFrame/Generic
PushControlFrame/Call
PushControlFrame/Prompt
PopControlFrame
DebugPrint
Comment
))
(define-type UnlabeledStatement (U StraightLineStatement BranchingStatement))
;; Debug print statement.