DATA
)Statements that read or write a location.
effects
::= {
fields…}
Field | Format | Description |
---|---|---|
"direct" |
[ #fct ,
marker
] [] |
List of statements with direct effect. |
"indirect" |
[ #fct ,
marker
] [] |
List of statements with indirect effect. |
GET
)Get the list of statements that read a lval.
input
::=
#lval
output
::=
effects
GET
)Get the list of statements that write a lval.
input
::=
#lval
output
::=
effects