begin model simpleArray3
| begin input variables
| end input variables;
| begin output variables
| end output variables;
| begin process 0
| | main function : main;
| | begin process variables
| | | a : int[2][3];
| | | | simpleArray3.c 1.0--1.12: "int a[2][3];"
| | end process variables;
| | begin function main
| | | | simpleArray3.c 3.0--3.11: "void main()"
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | a[2][1] = 7; goto location 1;
| | | | | simpleArray3.c 4.1--4.13: "a[2][1] = 7;"
| | | end location 0;
| | | begin location 1
| | | | kind : RETURN;
| | | | return null; goto location 2;
| | | | | simpleArray3.c 5.0--5.0: "}"
| | | end location 1;
| | | begin location 2
| | | | kind : TERMINAL;
| | | end location 2;
| | end function main;
| end process 0;
end model simpleArray3.
