Index: translator/Tests/SynTree/Expected-SymTab/Array.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Array.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Array.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,53 @@ +Adding object a1 +Adding object a2 +Adding object a4 +Adding object m1 +Adding object m2 +Adding object m4 +Adding typedef T +--- Entering scope +--- Leaving scope containing +Adding function fred +--- Entering scope +--- Entering scope +Adding object a1 +Adding object a2 +Adding object a4 +Adding object T +--- Leaving scope containing +T (__T__A0i) (2) +a1 (__a1__A0i) (2) +a2 (__a2__A0i) (2) +a4 (__a4__A0i) (2) +--- Leaving scope containing +Adding function mary +--- Entering scope +Adding object T +Adding object p1 +Adding object p2 +Adding object p3 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T (__T__Pi) (1) +p1 (__p1__CPi) (1) +p2 (__p2__Pi) (1) +p3 (__p3__CPi) (1) +Adding function tom +--- Entering scope +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +Adding function jane +--- Entering scope +Adding object T +Adding object p1 +Adding object p2 +Adding object p3 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T (__T__Pi) (1) +p1 (__p1__CPi) (1) +p2 (__p2__Pi) (1) +p3 (__p3__CPi) (1) Index: translator/Tests/SynTree/Expected-SymTab/Context.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Context.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Context.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,52 @@ +Adding context has_q +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding function q +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +q (__q__F_2tT_2tT_) (1) +T +Adding function f +--- Entering scope +Adding type z +--- Entering scope +--- Leaving scope containing +Adding function q +--- Entering scope +--- Leaving scope containing +--- Entering scope +Adding context has_r +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding type U +--- Entering scope +--- Leaving scope containing +Adding function r +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +r (__r__F_2tT_2tTPF_2tT_2tT2tU__) (3) +T +U +Adding type x +--- Entering scope +--- Leaving scope containing +Adding type y +--- Entering scope +--- Leaving scope containing +Adding function r +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +r (__r__F_2tx_2txPF_2tx_2tx2ty__) (2) +x +y +has_r +--- Leaving scope containing +q (__q__F_2tz_2tz_) (1) +z Index: translator/Tests/SynTree/Expected-SymTab/Enum.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Enum.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Enum.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,25 @@ +Adding enum Colors +Adding object Red +Adding object Yellow +Adding object Pink +Adding object Blue +Adding object Purple +Adding object Orange +Adding object Green +Adding function f +--- Entering scope +--- Entering scope +Adding enum Fruits +Adding object Apple +Adding object Banana +Adding object Pear +Adding object Mango +Adding object fruit +--- Leaving scope containing +Apple (__Apple__C7eFruits) (2) +Banana (__Banana__C7eFruits) (2) +Mango (__Mango__C7eFruits) (2) +Pear (__Pear__C7eFruits) (2) +fruit (__fruit__7eFruits) (2) +Fruits +--- Leaving scope containing Index: translator/Tests/SynTree/Expected-SymTab/Forall.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Forall.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Forall.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,188 @@ +in default case, (shouldn't be here) +in default case, (shouldn't be here) +Adding typedef f +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +T +Adding function swap +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding object left +Adding object right +--- Entering scope +Adding object temp +--- Leaving scope containing +temp (__temp__2tT) (2) +--- Leaving scope containing +left (__left__2tT) (1) +right (__right__2tT) (1) +T +Adding context sumable +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +0 (__0__C2tT) (1) +?++ (__?++__F_2tT_2tT_) (1) +?+=? (__?+=?__F_2tT_2tT2tT_) (1) +?+? (__?+?__F_2tT_2tT2tT_) (1) +T +Adding type T1 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding type T2 +--- Entering scope +Adding type P1 +--- Entering scope +--- Leaving scope containing +Adding type P2 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +P1 +P2 +Adding type T3 +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding struct __anonymous0 +--- Entering scope +Adding object i +Adding object j +--- Leaving scope containing +i (__i__3tP1) (1) +j (__j__3tP2) (1) +Adding type T2 +--- Entering scope +Adding type P1 +--- Entering scope +--- Leaving scope containing +Adding type P2 +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +P1 +P2 +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding object w1 +Adding typedef w2 +--- Entering scope +--- Leaving scope containing +Adding object g2 +Adding type w3 +--- Entering scope +--- Leaving scope containing +Adding object g3 +Adding function sum +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding object n +Adding object a +--- Entering scope +Adding object total +Adding object i +--- Leaving scope containing +i (__i__i) (2) +total (__total__2tT) (2) +--- Leaving scope containing +0 (__0__2tT) (1) +?++ (__?++__F_2tT_2tT_) (1) +?+=? (__?+=?__F_2tT_2tT2tT_) (1) +?+? (__?+?__F_2tT_2tT2tT_) (1) +a (__a__P2tT) (1) +n (__n__i) (1) +T +Adding function twice +--- Entering scope +Adding type T +--- Entering scope +--- Leaving scope containing +Adding object 0 +Adding function ?+? +--- Entering scope +--- Leaving scope containing +Adding function ?++ +--- Entering scope +--- Leaving scope containing +Adding function ?+=? +--- Entering scope +--- Leaving scope containing +Adding object t +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +0 (__0__C2tT) (1) +?++ (__?++__F_2tT_2tT_) (1) +?+=? (__?+=?__F_2tT_2tT2tT_) (1) +?+? (__?+?__F_2tT_2tT2tT_) (1) +t (__t__2tT) (1) +T +Adding function main +--- Entering scope +--- Entering scope +Adding object x +Adding object y +Adding object a +Adding object f +--- Leaving scope containing +a (__a__A0i) (2) +f (__f__f) (2) +x (__x__i) (2) +y (__y__i) (2) +--- Leaving scope containing Index: translator/Tests/SynTree/Expected-SymTab/Scope.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Scope.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Scope.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,130 @@ +in default case, (shouldn't be here) +in default case, (shouldn't be here) +in default case, (shouldn't be here) +Adding object x +Adding typedef y +--- Entering scope +--- Leaving scope containing +Adding typedef t +--- Entering scope +--- Leaving scope containing +Adding object z +Adding struct __anonymous0 +--- Entering scope +Adding object a +Adding object b +--- Leaving scope containing +a (__a__i) (1) +b (__b__d) (1) +Adding type u +--- Entering scope +--- Leaving scope containing +Adding function f +--- Entering scope +Adding object y +--- Leaving scope containing +y (__y__i) (1) +Adding object q +Adding function w +--- Entering scope +Adding object y +Adding object v +--- Entering scope +Adding type x +--- Entering scope +--- Leaving scope containing +Adding function t +--- Entering scope +--- Leaving scope containing +Adding object u +Adding object z +--- Leaving scope containing +t (__t__F_2tx_2tu_) (2) +u (__u__2tu) (2) +z (__z__2tx) (2) +x +--- Leaving scope containing +v (__v__2tu) (1) +y (__y__2ty) (1) +Adding object p +Adding context has_u +--- Entering scope +Adding type z +--- Entering scope +--- Leaving scope containing +Adding function u +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +u (__u__F_2tz_2tz_) (1) +z +Adding function q +--- Entering scope +Adding type t +--- Entering scope +--- Leaving scope containing +Adding function u +--- Entering scope +--- Leaving scope containing +Adding object the_t +--- Entering scope +Adding object y +--- Leaving scope containing +y (__y__2tt) (2) +--- Leaving scope containing +the_t (__the_t__2tt) (1) +u (__u__F_2tt_2tt_) (1) +t +Adding function f +--- Entering scope +Adding object p +--- Entering scope +Adding object y +Adding typedef x +--- Entering scope +--- Leaving scope containing +--- Entering scope +Adding object y +Adding typedef z +--- Entering scope +--- Leaving scope containing +--- Entering scope +Adding object x +Adding typedef y +--- Entering scope +--- Leaving scope containing +Adding object z +--- Leaving scope containing +x (__x__2tz) (4) +z (__z__2ty) (4) +y +Adding object x +--- Leaving scope containing +x (__x__2tz) (3) +y (__y__2tx) (3) +z +Adding object q +--- Leaving scope containing +q (__q__2tx) (2) +y (__y__i) (2) +x +--- Leaving scope containing +p (__p__2ty) (1) +Adding function g +--- Entering scope +--- Entering scope +Adding typedef x +--- Entering scope +--- Leaving scope containing +Adding object z +--- Leaving scope containing +z (__z__2tx) (2) +x +--- Leaving scope containing +Adding function q +--- Entering scope +Adding object i +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +i (__i__i) (1) Index: translator/Tests/SynTree/Expected-SymTab/ScopeErrors.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/ScopeErrors.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,38 @@ +Adding object thisIsAnError +Adding object thisIsAnError +Adding object thisIsNotAnError +Adding object thisIsNotAnError +Adding function thisIsAlsoNotAnError +--- Entering scope +--- Entering scope +Adding object thisIsNotAnError +--- Leaving scope containing +thisIsNotAnError (__thisIsNotAnError__i) (2) +--- Leaving scope containing +Adding function thisIsAlsoNotAnError +--- Entering scope +Adding object x +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +x (__x__d) (1) +Adding function thisIsStillNotAnError +--- Entering scope +--- Leaving scope containing +Adding function thisIsStillNotAnError +--- Entering scope +--- Leaving scope containing +Adding function butThisIsAnError +--- Entering scope +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +Adding function butThisIsAnError +Error: duplicate definition for thisIsAnError: a signed int +Error: duplicate function definition for butThisIsAnError: a function + with parameters + double + returning + double + with body + Index: translator/Tests/SynTree/Expected-SymTab/Tuple.tst =================================================================== --- translator/Tests/SynTree/Expected-SymTab/Tuple.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) +++ translator/Tests/SynTree/Expected-SymTab/Tuple.tst (revision 51b734528489f81a5af985bfee9aa3b6625b9774) @@ -0,0 +1,97 @@ +Adding function f +--- Entering scope +--- Leaving scope containing +Adding function g +--- Entering scope +--- Leaving scope containing +Adding function h +--- Entering scope +Adding object a +Adding object b +Adding object c +Adding object d +--- Leaving scope containing +a (__a__i) (1) +b (__b__i) (1) +c (__c__Pi) (1) +d (__d__Pc) (1) +Adding struct inner +--- Entering scope +Adding object f2 +Adding object f3 +--- Leaving scope containing +f2 (__f2__i) (1) +f3 (__f3__i) (1) +Adding struct outer +--- Entering scope +Adding object f1 +Adding object i +Adding object f4 +--- Leaving scope containing +f1 (__f1__i) (1) +f4 (__f4__d) (1) +i (__i__6sinner) (1) +Adding object s +Adding object sp +Adding object t1 +Adding object t2 +Adding object t3 +Adding function printf +--- Entering scope +Adding object rc +Adding object fmt +--- Leaving scope containing +fmt (__fmt__Pc) (1) +rc (__rc__i) (1) +Adding function printf +--- Entering scope +Adding object fmt +--- Leaving scope containing +fmt (__fmt__Pc) (1) +Adding function f1 +--- Entering scope +Adding object x +Adding object y +Adding object w +--- Entering scope +--- Leaving scope containing +--- Leaving scope containing +w (__w__i) (1) +x (__x__s) (1) +y (__y__Ui) (1) +Adding function g1 +--- Entering scope +Adding object r +--- Entering scope +Adding object x +Adding object p +Adding object y +Adding object z +--- Leaving scope containing +p (__p__s) (2) +x (__x__s) (2) +y (__y__Ui) (2) +z (__z__Tii_) (2) +--- Leaving scope containing +r (__r__Ticli_) (1) +Adding function main +--- Entering scope +Adding object rc +Adding object argc +Adding object argv +--- Entering scope +Adding object a +Adding object b +Adding object c +Adding object d +Adding object t +--- Leaving scope containing +a (__a__i) (2) +b (__b__i) (2) +c (__c__i) (2) +d (__d__i) (2) +t (__t__6souter) (2) +--- Leaving scope containing +argc (__argc__i) (1) +argv (__argv__PPc) (1) +rc (__rc__i) (1)