source: CIVL/mods/dev.civl.abc/examples/c/ifthen.rd

main
Last change on this file was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 1.9 KB
Line 
1*** Reaching Definitions ***
2*** InSet Map ***
3Node[-1, 0, ifthen.c:2.0-10.1 "int main() {\n ... }"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[31, 19, ifthen.c:9.2-8 "x = 42"]>
4Node[10, 20, ifthen.c:2.11-10.1 "{\n x = 7; ... }"]
5Node[11, 5, ifthen.c:3.2-7 "x = 7"]
6Node[17, 7, ifthen.c:4.6-11 "x > 0"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[11, 5, ifthen.c:3.2-7 "x = 7"]>
7Node[22, 10, ifthen.c:5.4-7 "x++"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[11, 5, ifthen.c:3.2-7 "x = 7"]>
8Node[27, 14, ifthen.c:7.4-7 "x--"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[11, 5, ifthen.c:3.2-7 "x = 7"]>
9Node[31, 19, ifthen.c:9.2-8 "x = 42"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[22, 10, ifthen.c:5.4-7 "x++"]> # <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[27, 14, ifthen.c:7.4-7 "x--"]>
10*** OutSet Map ***
11Node[-1, 0, ifthen.c:2.0-10.1 "int main() {\n ... }"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[31, 19, ifthen.c:9.2-8 "x = 42"]>
12Node[10, 20, ifthen.c:2.11-10.1 "{\n x = 7; ... }"]
13Node[11, 5, ifthen.c:3.2-7 "x = 7"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[11, 5, ifthen.c:3.2-7 "x = 7"]>
14Node[17, 7, ifthen.c:4.6-11 "x > 0"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[11, 5, ifthen.c:3.2-7 "x = 7"]>
15Node[22, 10, ifthen.c:5.4-7 "x++"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[22, 10, ifthen.c:5.4-7 "x++"]>
16Node[27, 14, ifthen.c:7.4-7 "x--"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[27, 14, ifthen.c:7.4-7 "x--"]>
17Node[31, 19, ifthen.c:9.2-8 "x = 42"] ==> <Entity[kind=VARIABLE, name=x, linkage=EXTERNAL, type=0, definition=1]@Node[31, 19, ifthen.c:9.2-8 "x = 42"]>
Note: See TracBrowser for help on using the repository browser.