-
Notifications
You must be signed in to change notification settings - Fork 25
Closed
Description
Instructions causing a change in the control flow graph can be grouped into categories.
Altered GOTO is not supported by TypeCobol parser, thus the ALTER statement is not handled.
| Category | Description |
|---|---|
| Decision | IF EVALUATE |
| Procedure-branching | ALTER (Not handled) EXIT GO TO NEXT SENTENCE PERFORM |
| Ending | STOP RUN EXIT PROGRAM EXIT METHOD GOBACK |
Conditional statements imply a value evaluated to true of a condition to be determined and that the next action of the program is dependent on the true value. These instructions can be categorized
| Category | Description |
|---|---|
| Arithmetic | ADD ... ON SIZE ERROR ADD ... NOT ON SIZE ERROR COMPUTE ... ON SIZE ERROR COMPUTE ... NOT ON SIZE ERROR DIVIDE ... ON SIZE ERROR DIVIDE ... NOT ON SIZE ERROR MULTIPLY ... ON SIZE ERROR MULTIPLY ... NOT ON SIZE ERROR SUBTRACT ... ON SIZE ERROR SUBTRACT ... NOT ON SIZE ERROR |
| Data movement | STRING ... ON OVERFLOW STRING ... NOT ON OVERFLOW UNSTRING ... ON OVERFLOW UNSTRING ... NOT ON OVERFLOW XML GENERATE ... ON EXCEPTION XML GENERATE ... NOT ON EXCEPTION XML PARSE ... ON EXCEPTION XML PARSE ... NOT ON EXCEPTION |
| Input-output | DELETE ... INVALID KEY DELETE ... NOT INVALID KEY READ ... AT END READ ... NOT AT END READ ... INVALID KEY READ ... NOT INVALID KEY REWRITE ... INVALID KEY REWRITE ... NOT INVALID KEY START ... INVALID KEY START ... NOT INVALID KEY WRITE ... AT END-OF-PAGE WRITE ... NOT AT END-OF-PAGE WRITE ... INVALID KEY WRITE ... NOT INVALID KEY |
| Ordering | RETURN ... AT END RETURN ... NOT AT END |
| Program or method linkage | CALL ... ON OVERFLOW CALL ... ON EXCEPTION CALL ... NOT ON EXCEPTION INVOKE ... ON EXCEPTION INVOKE ... NOT ON EXCEPTION |