Ruby: Add test case that would make old module resolution library diverge

Author: hvitved

ruby/ql/test/library-tests/modules/ancestors.expected

@@ -13,6 +13,7 @@ calls.rb:
 #   97| Object
 #-----| include -> Kernel
 #-----| super -> BasicObject
+#-----| prepend -> A
 
 #  106| Array
 #-----| super -> Object
@@ -64,6 +65,8 @@ calls.rb:
 
 #  150| A
 #-----| super -> S
+#-----| super -> B
+#-----| prepend -> A::B
 
 #  155| B
 #-----| super -> S
@@ -139,6 +142,14 @@ modules.rb:
 
 #   71| Test::Foo2::Foo2
 
+modules_rec.rb:
+#    1| B::A
+#-----| super -> Object
+
+#    4| A::B
+#-----| super -> Object
+
+modules.rb:
 #  108| MM::MM
 
 #   49| Foo::Bar::ClassInAnotherDefinitionOfFooBar

ruby/ql/test/library-tests/modules/callgraph.expected

@@ -75,6 +75,8 @@ getTarget
 | modules.rb:90:24:90:36 | call to prepend | calls.rb:93:5:93:20 | prepend |
 | modules.rb:96:3:96:14 | call to include | calls.rb:92:5:92:20 | include |
 | modules.rb:102:3:102:16 | call to prepend | calls.rb:93:5:93:20 | prepend |
+| modules_rec.rb:8:3:8:11 | call to prepend | calls.rb:93:5:93:20 | prepend |
+| modules_rec.rb:11:1:11:9 | call to prepend | calls.rb:93:5:93:20 | prepend |
 | private.rb:2:3:3:5 | call to private | calls.rb:94:5:94:20 | private |
 | private.rb:10:3:10:19 | call to private | calls.rb:94:5:94:20 | private |
 | private.rb:12:3:12:9 | call to private | calls.rb:94:5:94:20 | private |

ruby/ql/test/library-tests/modules/methods.expected

@@ -57,6 +57,7 @@ lookupMethod
 | calls.rb:29:1:44:3 | C | optional_arg | calls.rb:62:1:65:3 | optional_arg |
 | calls.rb:29:1:44:3 | C | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:29:1:44:3 | C | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:29:1:44:3 | C | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:51:1:55:3 | D | baz | calls.rb:52:5:54:7 | baz |
 | calls.rb:51:1:55:3 | D | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:51:1:55:3 | D | foo | calls.rb:1:1:3:3 | foo |
@@ -68,10 +69,12 @@ lookupMethod
 | calls.rb:51:1:55:3 | D | optional_arg | calls.rb:62:1:65:3 | optional_arg |
 | calls.rb:51:1:55:3 | D | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:51:1:55:3 | D | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:51:1:55:3 | D | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:77:1:80:3 | Integer | abs | calls.rb:79:5:79:16 | abs |
 | calls.rb:77:1:80:3 | Integer | bit_length | calls.rb:78:5:78:23 | bit_length |
 | calls.rb:77:1:80:3 | Integer | new | calls.rb:99:5:99:16 | new |
 | calls.rb:77:1:80:3 | Integer | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:77:1:80:3 | Integer | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:82:1:84:3 | String | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:82:1:84:3 | String | capitalize | calls.rb:83:5:83:23 | capitalize |
 | calls.rb:82:1:84:3 | String | foo | calls.rb:1:1:3:3 | foo |
@@ -82,6 +85,7 @@ lookupMethod
 | calls.rb:82:1:84:3 | String | optional_arg | calls.rb:62:1:65:3 | optional_arg |
 | calls.rb:82:1:84:3 | String | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:82:1:84:3 | String | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:82:1:84:3 | String | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:86:1:88:3 | Kernel | puts | calls.rb:87:5:87:17 | puts |
 | calls.rb:90:1:95:3 | Module | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:90:1:95:3 | Module | foo | calls.rb:1:1:3:3 | foo |
@@ -96,6 +100,7 @@ lookupMethod
 | calls.rb:90:1:95:3 | Module | private | calls.rb:94:5:94:20 | private |
 | calls.rb:90:1:95:3 | Module | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:90:1:95:3 | Module | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:90:1:95:3 | Module | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:97:1:100:3 | Object | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:97:1:100:3 | Object | foo | calls.rb:1:1:3:3 | foo |
 | calls.rb:97:1:100:3 | Object | foo | calls.rb:71:1:75:3 | foo |
@@ -106,6 +111,7 @@ lookupMethod
 | calls.rb:97:1:100:3 | Object | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:97:1:100:3 | Object | private_on_main | private.rb:31:1:32:3 | private_on_main |
 | calls.rb:97:1:100:3 | Object | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:97:1:100:3 | Object | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:102:1:104:3 | Hash | [] | calls.rb:103:5:103:15 | [] |
 | calls.rb:102:1:104:3 | Hash | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:102:1:104:3 | Hash | foo | calls.rb:1:1:3:3 | foo |
@@ -116,6 +122,7 @@ lookupMethod
 | calls.rb:102:1:104:3 | Hash | optional_arg | calls.rb:62:1:65:3 | optional_arg |
 | calls.rb:102:1:104:3 | Hash | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:102:1:104:3 | Hash | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:102:1:104:3 | Hash | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:106:1:117:3 | Array | [] | calls.rb:107:3:107:13 | [] |
 | calls.rb:106:1:117:3 | Array | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:106:1:117:3 | Array | foo | calls.rb:1:1:3:3 | foo |
@@ -128,6 +135,7 @@ lookupMethod
 | calls.rb:106:1:117:3 | Array | optional_arg | calls.rb:62:1:65:3 | optional_arg |
 | calls.rb:106:1:117:3 | Array | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:106:1:117:3 | Array | puts | calls.rb:87:5:87:17 | puts |
+| calls.rb:106:1:117:3 | Array | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:144:1:148:3 | S | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:144:1:148:3 | S | foo | calls.rb:1:1:3:3 | foo |
 | calls.rb:144:1:148:3 | S | foo | calls.rb:71:1:75:3 | foo |
@@ -138,6 +146,7 @@ lookupMethod
 | calls.rb:144:1:148:3 | S | private_on_main | calls.rb:164:1:165:3 | private_on_main |
 | calls.rb:144:1:148:3 | S | puts | calls.rb:87:5:87:17 | puts |
 | calls.rb:144:1:148:3 | S | s_method | calls.rb:145:5:147:7 | s_method |
+| calls.rb:144:1:148:3 | S | to_s | calls.rb:151:5:152:7 | to_s |
 | calls.rb:150:1:153:3 | A | call_block | calls.rb:67:1:69:3 | call_block |
 | calls.rb:150:1:153:3 | A | foo | calls.rb:1:1:3:3 | foo |
 | calls.rb:150:1:153:3 | A | foo | calls.rb:71:1:75:3 | foo |
@@ -166,63 +175,89 @@ lookupMethod
 | file://:0:0:0:0 | Class | prepend | calls.rb:93:5:93:20 | prepend |
 | file://:0:0:0:0 | Class | private | calls.rb:94:5:94:20 | private |
 | file://:0:0:0:0 | Class | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | Class | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | Complex | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | Complex | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | Complex | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | FalseClass | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | FalseClass | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | FalseClass | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | Float | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | Float | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | Float | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | NilClass | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | NilClass | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | NilClass | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | Numeric | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | Numeric | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | Numeric | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | Rational | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | Rational | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | Rational | to_s | calls.rb:151:5:152:7 | to_s |
 | file://:0:0:0:0 | TrueClass | new | calls.rb:99:5:99:16 | new |
 | file://:0:0:0:0 | TrueClass | puts | calls.rb:87:5:87:17 | puts |
+| file://:0:0:0:0 | TrueClass | to_s | calls.rb:151:5:152:7 | to_s |
 | hello.rb:1:1:8:3 | EnglishWords | hello | hello.rb:2:5:4:7 | hello |
 | hello.rb:1:1:8:3 | EnglishWords | world | hello.rb:5:5:7:7 | world |
 | hello.rb:11:1:16:3 | Greeting | hello | hello.rb:2:5:4:7 | hello |
 | hello.rb:11:1:16:3 | Greeting | message | hello.rb:13:5:15:7 | message |
 | hello.rb:11:1:16:3 | Greeting | new | calls.rb:99:5:99:16 | new |
 | hello.rb:11:1:16:3 | Greeting | puts | calls.rb:87:5:87:17 | puts |
+| hello.rb:11:1:16:3 | Greeting | to_s | calls.rb:151:5:152:7 | to_s |
 | hello.rb:11:1:16:3 | Greeting | world | hello.rb:5:5:7:7 | world |
 | hello.rb:18:1:22:3 | HelloWorld | hello | hello.rb:2:5:4:7 | hello |
 | hello.rb:18:1:22:3 | HelloWorld | message | hello.rb:19:5:21:7 | message |
 | hello.rb:18:1:22:3 | HelloWorld | new | calls.rb:99:5:99:16 | new |
 | hello.rb:18:1:22:3 | HelloWorld | puts | calls.rb:87:5:87:17 | puts |
+| hello.rb:18:1:22:3 | HelloWorld | to_s | calls.rb:151:5:152:7 | to_s |
 | hello.rb:18:1:22:3 | HelloWorld | world | hello.rb:5:5:7:7 | world |
 | modules.rb:4:1:24:3 | Foo | method_in_another_definition_of_foo | modules.rb:27:3:28:5 | method_in_another_definition_of_foo |
 | modules.rb:4:1:24:3 | Foo | method_in_foo | modules.rb:16:3:17:5 | method_in_foo |
 | modules.rb:5:3:14:5 | Foo::Bar | method_in_another_definition_of_foo_bar | modules.rb:52:3:53:5 | method_in_another_definition_of_foo_bar |
 | modules.rb:5:3:14:5 | Foo::Bar | method_in_foo_bar | modules.rb:9:5:10:7 | method_in_foo_bar |
 | modules.rb:6:5:7:7 | Foo::Bar::ClassInFooBar | new | calls.rb:99:5:99:16 | new |
 | modules.rb:6:5:7:7 | Foo::Bar::ClassInFooBar | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:6:5:7:7 | Foo::Bar::ClassInFooBar | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:19:3:20:5 | Foo::ClassInFoo | new | calls.rb:99:5:99:16 | new |
 | modules.rb:19:3:20:5 | Foo::ClassInFoo | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:19:3:20:5 | Foo::ClassInFoo | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:30:3:31:5 | Foo::ClassInAnotherDefinitionOfFoo | new | calls.rb:99:5:99:16 | new |
 | modules.rb:30:3:31:5 | Foo::ClassInAnotherDefinitionOfFoo | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:30:3:31:5 | Foo::ClassInAnotherDefinitionOfFoo | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:37:1:46:3 | Bar | method_a | modules.rb:38:3:39:5 | method_a |
 | modules.rb:37:1:46:3 | Bar | method_b | modules.rb:41:3:42:5 | method_b |
 | modules.rb:37:1:46:3 | Bar | new | calls.rb:99:5:99:16 | new |
 | modules.rb:37:1:46:3 | Bar | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:37:1:46:3 | Bar | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:49:3:50:5 | Foo::Bar::ClassInAnotherDefinitionOfFooBar | new | calls.rb:99:5:99:16 | new |
 | modules.rb:49:3:50:5 | Foo::Bar::ClassInAnotherDefinitionOfFooBar | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:49:3:50:5 | Foo::Bar::ClassInAnotherDefinitionOfFooBar | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:66:5:67:7 | Test::Foo1::Bar | new | calls.rb:99:5:99:16 | new |
 | modules.rb:66:5:67:7 | Test::Foo1::Bar | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:66:5:67:7 | Test::Foo1::Bar | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:72:5:73:7 | Test::Foo2::Foo2::Bar | new | calls.rb:99:5:99:16 | new |
 | modules.rb:72:5:73:7 | Test::Foo2::Foo2::Bar | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:72:5:73:7 | Test::Foo2::Foo2::Bar | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:112:1:113:3 | YY | new | calls.rb:99:5:99:16 | new |
 | modules.rb:112:1:113:3 | YY | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:112:1:113:3 | YY | to_s | calls.rb:151:5:152:7 | to_s |
 | modules.rb:116:7:117:9 | XX::YY | new | calls.rb:99:5:99:16 | new |
 | modules.rb:116:7:117:9 | XX::YY | puts | calls.rb:87:5:87:17 | puts |
+| modules.rb:116:7:117:9 | XX::YY | to_s | calls.rb:151:5:152:7 | to_s |
+| modules_rec.rb:1:1:2:3 | B::A | new | calls.rb:99:5:99:16 | new |
+| modules_rec.rb:1:1:2:3 | B::A | puts | calls.rb:87:5:87:17 | puts |
+| modules_rec.rb:1:1:2:3 | B::A | to_s | calls.rb:151:5:152:7 | to_s |
+| modules_rec.rb:4:1:5:3 | A::B | new | calls.rb:99:5:99:16 | new |
+| modules_rec.rb:4:1:5:3 | A::B | puts | calls.rb:87:5:87:17 | puts |
+| modules_rec.rb:4:1:5:3 | A::B | to_s | calls.rb:151:5:152:7 | to_s |
 | private.rb:1:1:29:3 | E | new | calls.rb:99:5:99:16 | new |
 | private.rb:1:1:29:3 | E | private2 | private.rb:8:3:9:5 | private2 |
 | private.rb:1:1:29:3 | E | private3 | private.rb:14:3:15:5 | private3 |
 | private.rb:1:1:29:3 | E | private4 | private.rb:17:3:18:5 | private4 |
 | private.rb:1:1:29:3 | E | private_on_main | private.rb:31:1:32:3 | private_on_main |
 | private.rb:1:1:29:3 | E | public | private.rb:5:3:6:5 | public |
 | private.rb:1:1:29:3 | E | puts | calls.rb:87:5:87:17 | puts |
+| private.rb:1:1:29:3 | E | to_s | calls.rb:151:5:152:7 | to_s |
 | private.rb:42:1:60:3 | F | private2 | private.rb:49:3:50:5 | private2 |
 | private.rb:42:1:60:3 | F | private3 | private.rb:55:3:56:5 | private3 |
 | private.rb:42:1:60:3 | F | private4 | private.rb:58:3:59:5 | private4 |