diff --git a/Project-02-03-04-05/Source.gv.png b/Project-02-03-04-05/Source.gv.png index a69f630..40712f1 100644 Binary files a/Project-02-03-04-05/Source.gv.png and b/Project-02-03-04-05/Source.gv.png differ diff --git a/Project-02-03-04-05/funcInIf.dot b/Project-02-03-04-05/funcInIf.dot new file mode 100644 index 0000000..aca359c --- /dev/null +++ b/Project-02-03-04-05/funcInIf.dot @@ -0,0 +1,21 @@ +digraph AST { + node13 [label="LET"]; + node13 -> node3 [label="decl0"]; + node3 [label="DECL"]; + node3 -> node0 [label="body"]; + node0 [label="CONST(1)"]; + node13 -> node12 [label="body"]; + node12 [label="IF"]; + node12 -> node9 [label="cond"]; + node9 [label="EQOP(==)"]; + node9 -> node5 [label="arg1"]; + node5 [label="CALL"]; + node5 -> node4 [label="arg0"]; + node4 [label="CONST(1)"]; + node9 -> node8 [label="arg2"]; + node8 [label="CONST(1)"]; + node12 -> node10 [label="exp1"]; + node10 [label="CONST(1)"]; + node12 -> node11 [label="exp2"]; + node11 [label="CONST(0)"]; +} diff --git a/Project-02-03-04-05/n b/Project-02-03-04-05/n new file mode 100644 index 0000000..9b08e5a --- /dev/null +++ b/Project-02-03-04-05/n @@ -0,0 +1,19 @@ +digraph AST { + node12 [label="IF"]; + node12 -> node9 [label="cond"]; + node9 [label="EQOP(==)"]; + node9 -> node7 [label="arg1"]; + node7 [label="ASSIGN"]; + node7 -> node6 [label="var"]; + node6 [label="ID(x)"]; + node7 -> node5 [label="expr"]; + node5 [label="CALL"]; + node5 -> node4 [label="arg0"]; + node4 [label="ID(x)"]; + node9 -> node8 [label="arg2"]; + node8 [label="CONST(1)"]; + node12 -> node10 [label="exp1"]; + node10 [label="CONST(1)"]; + node12 -> node11 [label="exp2"]; + node11 [label="CONST(0)"]; +} diff --git a/Project-02-03-04-05/triplaprograms/funcInIf.tripla b/Project-02-03-04-05/triplaprograms/funcInIf.tripla new file mode 100644 index 0000000..584afcc --- /dev/null +++ b/Project-02-03-04-05/triplaprograms/funcInIf.tripla @@ -0,0 +1,3 @@ +let f(x) { + x = 1 +} in if (( x = f(1)) == 1) then 1 else 0 \ No newline at end of file diff --git a/Source.gv.png b/Source.gv.png new file mode 100644 index 0000000..b11ff26 Binary files /dev/null and b/Source.gv.png differ