diff options
| author | 最萌小汐 <sumneko@hotmail.com> | 2022-06-15 19:35:06 +0800 |
|---|---|---|
| committer | 最萌小汐 <sumneko@hotmail.com> | 2022-06-15 19:35:06 +0800 |
| commit | cc9bf965fec185dd7e23fe5fe9af512f319a1d9b (patch) | |
| tree | 79042ff6b640987a84e8e5bdbaee7d1ff5c13b01 /script | |
| parent | c61eefc970c66da77a6428cf7ea1537e8719734a (diff) | |
| download | lua-language-server-cc9bf965fec185dd7e23fe5fe9af512f319a1d9b.zip | |
infer type by `local tp = type(x)`
Diffstat (limited to 'script')
| -rw-r--r-- | script/vm/runner.lua | 36 |
1 files changed, 34 insertions, 2 deletions
diff --git a/script/vm/runner.lua b/script/vm/runner.lua index e6f34656..43cbd155 100644 --- a/script/vm/runner.lua +++ b/script/vm/runner.lua @@ -119,14 +119,16 @@ function mt:_lookInto(action, topNode, outNode) return topNode, outNode end if self._mark[action] then - return + return topNode, outNode end self._mark[action] = true local top = self._objs[self._index] if not top then return topNode, outNode end - if not guide.isInRange(action, top.finish) then + if not guide.isInRange(action, top.finish) + -- trick for `local tp = type(x);if tp == 'string' then` + and action.type ~= 'binary' then return topNode, outNode end local set @@ -220,6 +222,7 @@ function mt:_lookInto(action, topNode, outNode) end if exp.type == 'getlocal' and exp.node == self._loc then + -- if x == y then self:_fastWard(exp.finish, topNode:copy()) local checkerNode = vm.compileNode(checker) if action.op.type == '==' then @@ -240,6 +243,7 @@ function mt:_lookInto(action, topNode, outNode) and exp.args[1] and exp.args[1].type == 'getlocal' and exp.args[1].node == self._loc then + -- if type(x) == 'string' then self:_fastWard(exp.finish, topNode:copy()) if action.op.type == '==' then topNode:narrow(checker[1]) @@ -252,6 +256,34 @@ function mt:_lookInto(action, topNode, outNode) outNode:narrow(checker[1]) end end + elseif exp.type == 'getlocal' + and checker.type == 'string' then + local nodeValue = vm.getObjectValue(exp.node) + if nodeValue + and nodeValue.type == 'select' + and nodeValue.sindex == 1 then + local call = nodeValue.vararg + if call + and call.type == 'call' + and call.node.special == 'type' + and call.args + and call.args[1] + and call.args[1].type == 'getlocal' + and call.args[1].node == self._loc then + -- `local tp = type(x);if tp == 'string' then` + if action.op.type == '==' then + topNode:narrow(checker[1]) + if outNode then + outNode:remove(checker[1]) + end + else + topNode:remove(checker[1]) + if outNode then + outNode:narrow(checker[1]) + end + end + end + end end end elseif action.type == 'call' then |