Commits · reachabilityCheck · Xun Yang / cs444

Mar 12, 2020
- implemented reachability checking. passing 56 test cases locally · de31ad20
  pycsham authored 5 years ago
  
  de31ad20
- modified joosc.py file. 48/60 on marmo · 84766895
  pycsham authored 5 years ago
  
  84766895
- reverting back changes on test.py · a5dfc24b
  pycsham authored 5 years ago
  
  a5dfc24b
- Fixed remaining definitve assignemnt issues. Passing 80% on local · 19eb00f4
  pycsham authored 5 years ago
  
  19eb00f4
- added checks for definite assignemnt. some minor fixes required · 68c2b22e
  pycsham authored 5 years ago
  
  68c2b22e
- Merge branch 'master' of https://git.uwaterloo.ca/x299yang/cs444 · 1cb3e0cf
  pycsham authored 5 years ago
  
  1cb3e0cf
- fixing the bug for protected methods check · a9e1de11
  pycsham authored 5 years ago
  
  a9e1de11
Mar 11, 2020

- change Test.py to run reachabilityChecking
- basic ASTNode reachCheck
- implemented reachability in: MethodNode, IfNode, WhileNode, ReturnNode
- tiny bit of cleanup (whitespace)

101e58b8

calculate constant expr · 0602fdeb
Xun Yang authored 5 years ago

0602fdeb

Mar 08, 2020
- add a4 tests · e94f3833
  Xun Yang authored 5 years ago
  
  e94f3833
Mar 07, 2020

a2 GlobalEnv:getNode fixes · 4c111a8d

Nicholas Robinson authored 5 years ago

- show elapsed time in Test.py
- GlobalEnv no more '.' in front of types without a package
- lots of GlobalEnv:getNode fixes
- fixing but still testing GlobalEnv:weedGlobalEnv
- cleaned up some comments

4c111a8d

Mar 06, 2020
- Merge branch 'master' of https://git.uwaterloo.ca/x299yang/cs444 · 90f8fc27
  pycsham authored 5 years ago
  
  90f8fc27
- Added a type linking from string literals to the string object · 036d53c3
  pycsham authored 5 years ago
  
  036d53c3
- string minus · 1cf5e1f9
  Xun Yang authored 5 years ago
  
  1cf5e1f9
- J1_ProtectedAccess1&2 · bee66b30
  Nicholas Robinson authored 5 years ago
  
  bee66b30
- Merge branch 'master' of git.uwaterloo.ca:x299yang/cs444 · b3359ed5
  Xun Yang authored 5 years ago
  
  b3359ed5
- Merge branch 'master' of git.uwaterloo.ca:x299yang/cs444 · e637212c
  Xun Yang authored 5 years ago
  
  e637212c
- protected method check · aa1b51a3
  Xun Yang authored 5 years ago
  
  aa1b51a3
- Merge branch 'master' of https://git.uwaterloo.ca/x299yang/cs444 · 4858574e
  pycsham authored 5 years ago
  
  4858574e
- fixed a minor issue with checking return types of methods · 792027df
  pycsham authored 5 years ago
  
  792027df
- ClassCreateNode protected check · 5aea5c77
  Nicholas Robinson authored 5 years ago
  
  5aea5c77
- Merge branch 'master' of https://git.uwaterloo.ca/x299yang/cs444 · 2fb3c978
  pycsham authored 5 years ago
  
  2fb3c978
- changed issue with checking type for field access · 8f2b5dcc
  pycsham authored 5 years ago
  
  8f2b5dcc
- static this · 8c9f9e70
  Xun Yang authored 5 years ago
  
  8c9f9e70
- Merge branch 'master' of git.uwaterloo.ca:x299yang/cs444 · ea18724a
  Xun Yang authored 5 years ago
  
  ea18724a
- staticThis · f5e58d69
  Xun Yang authored 5 years ago
  
  f5e58d69
- check protected · 7ea527ab
  Nicholas Robinson authored 5 years ago
  
  7ea527ab
- Merge branch 'master' of https://git.uwaterloo.ca/x299yang/cs444 · bf32e63a
  pycsham authored 5 years ago
  
  bf32e63a
- fixed an edge case of string + null · 4d26654c
  pycsham authored 5 years ago
  
  4d26654c
- check static · 5241f0bc
  Xun Yang authored 5 years ago
  
  5241f0bc
- forward ref checks · 69a84e4c
  Xun Yang authored 5 years ago
  
  69a84e4c
- fixed issue during AST building for unqualCreate node construction · a58bdd2a
  pycsham authored 5 years ago
  
  a58bdd2a
- Merge branch 'master' of git.uwaterloo.ca:x299yang/cs444 · 945ccaba
  Xun Yang authored 5 years ago
  
  945ccaba
- fix array access · afbba9da
  Xun Yang authored 5 years ago
  
  afbba9da
- fixed test file and added a check for constructor name against class name · cb1b222a
  pycsham authored 5 years ago
  
  cb1b222a
- null can be assign to array · b5da1cb6
  Xun Yang authored 5 years ago
  
  b5da1cb6
- Merge branch 'master' of git.uwaterloo.ca:x299yang/cs444 · 93cbb462
  Xun Yang authored 5 years ago
  
  93cbb462
- add missing disambiguateName calls; · c00e7ad8
  Xun Yang authored 5 years ago
  
  c00e7ad8
- checkHierarchy switch to canonName · 46a36c31
  Nicholas Robinson authored 5 years ago
  
  46a36c31
- implemented method return type checking · d5a4bcd8
  pycsham authored 5 years ago
  
  d5a4bcd8