Commit Graph

1250 Commits

Author SHA1 Message Date
Eric Traut
5f3e2a6fde Fixed regression. 2019-11-12 13:37:53 -08:00
Eric Traut
7fa97dad7d Added code to remove diagnostics when a file is closed. 2019-11-12 11:09:12 -08:00
Eric Traut
835ebf6e88 Added lazy just-in-time binding. 2019-11-12 10:56:50 -08:00
Eric Traut
542d382b20 Added mode for analyzing only open files. 2019-11-12 10:27:53 -08:00
Eric Traut
ae2a540ce8 Roughed in isCallNoReturn. 2019-11-12 10:27:41 -08:00
Eric Traut
157b89cb63 Fixed bug in parameter evaluation code. 2019-11-12 09:51:55 -08:00
Eric Traut
2a448f2ad4 Added code to determine the type of a parameter without evaluating the full type of its function. 2019-11-12 09:04:00 -08:00
Eric Traut
cc8d025480 Renamed TypeAnalysis to Checking for consistency. 2019-11-12 09:03:26 -08:00
Eric Traut
4c14f0ec72 Started to rip out multi-pass logic. 2019-11-12 01:46:35 -08:00
Eric Traut
f9cf519761 Fixed bugs in handling of enums. 2019-11-12 01:34:47 -08:00
Eric Traut
952fcabbc9 Fixed recursion issue. 2019-11-12 00:12:42 -08:00
Eric Traut
8621988151 Removed some unnecessary accessor methods for ClassType. 2019-11-12 00:04:25 -08:00
Eric Traut
57ab21d361 Replaced remainder of getTypeExpression calls. Eliminated parse-node-based type cache in favor of evaluator cache. 2019-11-11 23:50:32 -08:00
Eric Traut
9f2e38a9ca Removed another getExpressionType. 2019-11-11 21:54:19 -08:00
Eric Traut
61ce9a4bb4 Removed more getExpressionType calls. 2019-11-11 21:47:09 -08:00
Eric Traut
e643ec605b Removed currentScope from binder - it's no longer necessary. 2019-11-11 21:31:46 -08:00
Eric Traut
93fa1a89b0 Removed a few more getExpressionType calls. 2019-11-11 21:30:11 -08:00
Eric Traut
977979b988 Fixed a couple of regressions. 2019-11-11 20:04:30 -08:00
Eric Traut
6fda0db05e Moved most of declarationUtils and symbolUtils and large portions of typeUtils into typeEvaluator module. 2019-11-11 19:08:35 -08:00
Eric Traut
98e5ae37ff Removed isFinal field in type cache. 2019-11-11 17:40:09 -08:00
Eric Traut
ce32f3dd9f Fixed undefined reference in hover path. 2019-11-11 17:39:52 -08:00
Eric Traut
262f58fee9 Finished implementing evaluateTypesForStatement. 2019-11-11 17:05:06 -08:00
Eric Traut
cb35dee895 Started to remove usage of AnalyzerNodeInfo.getExpressionType in favor of evaluator.getType. 2019-11-11 09:17:52 -08:00
Eric Traut
b9735b79be Simplified code. 2019-11-10 22:51:33 -08:00
Eric Traut
76cc221376 Started to simplify "usage". 2019-11-10 22:25:09 -08:00
Eric Traut
80e600738c A few simplifications... 2019-11-10 20:55:17 -08:00
Eric Traut
20163520c3 Removed more calls to getExpressionType. 2019-11-10 20:03:26 -08:00
Eric Traut
465d88c39d Started to remove getExpressionType calls from within evaluator. 2019-11-10 19:53:45 -08:00
Eric Traut
80082ba42b Remove unused import. 2019-11-10 19:36:21 -08:00
Eric Traut
8e988de2f0 Work around an intermittent warning from the TS compiler. 2019-11-10 19:36:10 -08:00
Eric Traut
08644cdd0d Renamed typeAnalyzer.test to checker.test 2019-11-10 18:03:41 -08:00
Eric Traut
38ac181c42 Type evaluator is now instantiated once per program rather than once per source file. 2019-11-10 18:00:00 -08:00
Eric Traut
90caa3159e Renamed expressionEvaluator to typeEvaluator and typeAnalyzer to checker to better reflect their new roles. 2019-11-10 16:56:15 -08:00
Eric Traut
406f167e17 Fixed regression in typed dict code found by unit tests. 2019-11-10 14:10:38 -08:00
Eric Traut
21a125d983 Fixed recursion issue with functions. 2019-11-10 13:03:38 -08:00
Eric Traut
67068d0db6 Changed strategy for computing the inferred return type of functions. 2019-11-10 12:53:22 -08:00
Eric Traut
39813ce868 Moved metaClass into its own field. 2019-11-10 11:51:36 -08:00
Eric Traut
2c1fc6d29b Code cleanup. 2019-11-10 11:37:45 -08:00
Eric Traut
cd113e1f98 Code cleanup. 2019-11-09 23:43:43 -08:00
Eric Traut
0569881428 Moved more of except processing to expression evaluator. 2019-11-09 23:43:37 -08:00
Eric Traut
9439c739e9 More cleanup. 2019-11-09 21:36:20 -08:00
Eric Traut
3e892f97fd Moved more logic from type analyzer to expression evaluator. 2019-11-09 21:31:04 -08:00
Eric Traut
4a00bb4feb Moved more logic from type analyzer to expression evaluator. 2019-11-09 21:10:05 -08:00
Eric Traut
0f46fb5e27 Removed the need to clean type cache in some cases. 2019-11-09 20:20:42 -08:00
Eric Traut
4376da4b89 Fixed regressions. 2019-11-09 20:03:12 -08:00
Eric Traut
b0aedc9e5a Fixed regressions. 2019-11-09 19:30:17 -08:00
Eric Traut
fd3b05e0cb Changed the way inferred return types are handled for functions and lambdas. 2019-11-09 17:54:29 -08:00
Eric Traut
80100b8b09 Fixed a few regressions. 2019-11-09 15:39:02 -08:00
Eric Traut
22315250d0 Fixed long-standing bug where type cache was not properly cleaned from the parse tree. 2019-11-09 15:15:42 -08:00
Eric Traut
137042fc4b Started to move function type creation from binder and type analyzer into expression evaluator. 2019-11-09 15:15:09 -08:00