File tree Expand file tree Collapse file tree 2 files changed +3
-1
lines changed
test/library-tests/ModelGeneration Expand file tree Collapse file tree 2 files changed +3
-1
lines changed Original file line number Diff line number Diff line change @@ -1319,7 +1319,7 @@ module API {
13191319 succ = MkDef ( rhs )
13201320 or
13211321 exists ( DataFlow:: ClassNode cls |
1322- cls .getAnInstanceReference ( ) = rhs and
1322+ cls .getAnInstanceReference ( ) . flowsTo ( rhs ) and
13231323 succ = MkClassInstance ( cls )
13241324 )
13251325 )
Original file line number Diff line number Diff line change @@ -5,6 +5,7 @@ typeModel
55| (aliases).Alias1 | aliases | Member[Alias4].Member[x].Member[x] |
66| (aliases).Alias1 | aliases | Member[AliasedClass] |
77| (aliases).Alias1.prototype | (aliases).Alias1 | Instance |
8+ | (aliases).Alias1.prototype | (aliases).Alias1.prototype.foo | ReturnValue |
89| (aliases).Alias1.prototype.foo | (aliases).Alias1.prototype | Member[foo] |
910| (long-access-path).a.shortcut.d | long-access-path | Member[a].Member[b].Member[c].Member[d] |
1011| (long-access-path).a.shortcut.d | long-access-path | Member[a].Member[shortcut].Member[d] |
@@ -14,6 +15,7 @@ typeModel
1415| (return-this).FluentInterface.prototype | (return-this).FluentInterface | Instance |
1516| (return-this).FluentInterface.prototype | (return-this).FluentInterface.prototype.bar | ReturnValue |
1617| (return-this).FluentInterface.prototype | (return-this).FluentInterface.prototype.baz | ReturnValue |
18+ | (return-this).FluentInterface.prototype | (return-this).FluentInterface.prototype.foo | ReturnValue |
1719| (return-this).FluentInterface.prototype.bar | (return-this).FluentInterface.prototype | Member[bar] |
1820| (return-this).FluentInterface.prototype.baz | (return-this).FluentInterface.prototype | Member[baz] |
1921| (return-this).FluentInterface.prototype.foo | (return-this).FluentInterface.prototype | Member[foo] |
You can’t perform that action at this time.
0 commit comments