Use relative class/module names in RBS output

format_declared_const_path was already used for constant declarations
but not for class/module declarations, causing fully qualified names
like `class Optcarrot::ROM` inside `module Optcarrot` instead of
the simpler `class ROM`.

Author: mame

lib/typeprof/core/service.rb

@@ -437,7 +437,7 @@ def dump_declarations(path)
         when AST::ModuleNode
           if node.static_cpath
             if event == :enter
-              out << "  " * stack.size + "module #{ node.static_cpath.join("::") }"
+              out << "  " * stack.size + "module #{ format_declared_const_path(node.static_cpath, stack) }"
               if stack == [:toplevel]
                 out << "end"
                 stack.pop
@@ -453,7 +453,7 @@ def dump_declarations(path)
             next if stack.any? { node.is_a?(AST::SingletonClassNode) && (_1.is_a?(AST::ClassNode) || _1.is_a?(AST::ModuleNode)) && node.static_cpath == _1.static_cpath }
 
             if event == :enter
-              s = "class #{ node.static_cpath.join("::") }"
+              s = "class #{ format_declared_const_path(node.static_cpath, stack) }"
               mod = @genv.resolve_cpath(node.static_cpath)
               superclass = mod.superclass
               if superclass == nil

scenario/class/basic2.rb

@@ -11,7 +11,7 @@ def foo(n)
 
 ## assert
 class C
-  class C::D
+  class D
     def foo: (String) -> singleton(C)
   end
 end

scenario/class/circular_mutual.rb

@@ -13,9 +13,9 @@ class Foo < Baz
 class Foo
 end
 class Bar
-  class Bar::Baz < Bar::Foo
+  class Baz < Bar::Foo
   end
-  class Bar::Foo # failed to identify its superclass
+  class Foo # failed to identify its superclass
   end
 end
 

scenario/class/include-hack.rb

@@ -11,7 +11,7 @@ module Baz
 
 ## assert
 module Foo
-  module Foo::Bar
+  module Bar
   end
 end
 module Baz

scenario/class/self-in-cbase.rb

@@ -6,7 +6,7 @@ class self::Bar::Baz
 
 ## assert
 class Foo
-  class Foo::Bar::Baz
+  class Bar::Baz
   end
 end
 

scenario/class/unknown-cbase.rb

@@ -14,7 +14,7 @@ def check = foo
 
 ## assert: test.rb
 class Foo::Bar
-  class Foo::Bar::C
+  class C
     def foo: -> Integer
   end
 end
@@ -28,7 +28,7 @@ module Foo
 
 ## assert: test.rb
 class Foo::Bar
-  class Foo::Bar::C
+  class C
     def foo: -> Integer
   end
 end

scenario/const/superclass1.rb

@@ -11,7 +11,7 @@ class E < C
 class C
 end
 class D
-  class D::E < C
+  class E < C
   end
 end
 
@@ -25,7 +25,7 @@ class C # Defining D::C changes the superclass of D::E from ::C to D::C
 class C
 end
 class D
-  class D::E < D::C
+  class E < D::C
   end
 end
 
@@ -38,7 +38,7 @@ class D
 class C
 end
 class D
-  class D::E < C
+  class E < C
   end
 end
 

scenario/const/superclass2.rb

@@ -11,11 +11,11 @@ class C < A::B
 
 ## assert: test0.rb
 class A
-  class A::B
+  class B
   end
 end
 class X
-  class X::C < A::B
+  class C < A::B
   end
 end
 
@@ -28,11 +28,11 @@ class A
 
 ## assert: test0.rb
 class A
-  class A::B
+  class B
   end
 end
 class X
-  class X::C # failed to identify its superclass
+  class C # failed to identify its superclass
   end
 end
 
@@ -47,10 +47,10 @@ class B
 
 ## assert: test0.rb
 class A
-  class A::B
+  class B
   end
 end
 class X
-  class X::C < X::A::B
+  class C < X::A::B
   end
 end

scenario/const/superclass3.rb

@@ -13,12 +13,12 @@ class D < B
 
 ## assert: test0.rb
 class A
-  class A::B
+  class B
   end
 end
 class X
-  class X::C < A
-    class X::C::D < A::B
+  class C < A
+    class D < A::B
     end
   end
 end
@@ -33,12 +33,12 @@ class B
 
 ## assert: test0.rb
 class A
-  class A::B
+  class B
   end
 end
 class X
-  class X::C < X::A
-    class X::C::D < X::A::B
+  class C < X::A
+    class D < X::A::B
     end
   end
 end

scenario/flow/is_a.rb

@@ -33,7 +33,7 @@ def foo(n)
 
 ## assert
 class C
-  class C::D
+  class D
   end
   def foo: (C::D | Integer) -> (C::D | String)
 end