Class: RBI::TypePrinter

Inherits:
Object
  • Object
show all
Defined in:
lib/rbi/rbs_printer.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(max_line_length: nil) ⇒ TypePrinter

: (?max_line_length: Integer?) -> void



987
988
989
990
 
# File 'lib/rbi/rbs_printer.rb', line 987

def initialize(max_line_length: nil)
  @string = String.new #: String
  @max_line_length = max_line_length
end

Instance Attribute Details

#string ⇒ Object (readonly)

: String



984
985
986
 
# File 'lib/rbi/rbs_printer.rb', line 984

def string
  @string
end

Instance Method Details

#visit(node) ⇒ Object

: (Type node) -> void



993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
 
# File 'lib/rbi/rbs_printer.rb', line 993

def visit(node)
  case node
  when Type::Simple
    visit_simple(node)
  when Type::Boolean
    visit_boolean(node)
  when Type::Generic
    visit_generic(node)
  when Type::Anything
    visit_anything(node)
  when Type::Void
    visit_void(node)
  when Type::NoReturn
    visit_no_return(node)
  when Type::Untyped
    visit_untyped(node)
  when Type::SelfType
    visit_self_type(node)
  when Type::AttachedClass
    visit_attached_class(node)
  when Type::Nilable
    visit_nilable(node)
  when Type::ClassOf
    visit_class_of(node)
  when Type::All
    visit_all(node)
  when Type::Any
    visit_any(node)
  when Type::Tuple
    visit_tuple(node)
  when Type::Shape
    visit_shape(node)
  when Type::Proc
    visit_proc(node)
  when Type::TypeParameter
    visit_type_parameter(node)
  when Type::Class
    visit_class(node)
  else
    raise Error, "Unhandled node: #{node.class}"
  end
end

#visit_all(type) ⇒ Object

: (Type::All type) -> void



1108
1109
1110
1111
1112
1113
1114
1115
 
# File 'lib/rbi/rbs_printer.rb', line 1108

def visit_all(type)
  @string << "("
  type.types.each_with_index do |arg, index|
    visit(arg)
    @string << " & " if index < type.types.size - 1
  end
  @string << ")"
end

#visit_any(type) ⇒ Object

: (Type::Any type) -> void



1118
1119
1120
1121
1122
1123
1124
1125
 
# File 'lib/rbi/rbs_printer.rb', line 1118

def visit_any(type)
  @string << "("
  type.types.each_with_index do |arg, index|
    visit(arg)
    @string << " | " if index < type.types.size - 1
  end
  @string << ")"
end

#visit_anything(type) ⇒ Object

: (Type::Anything type) -> void



1058
1059
1060
 
# File 'lib/rbi/rbs_printer.rb', line 1058

def visit_anything(type)
  @string << "top"
end

#visit_attached_class(type) ⇒ Object

: (Type::AttachedClass type) -> void



1083
1084
1085
 
# File 'lib/rbi/rbs_printer.rb', line 1083

def visit_attached_class(type)
  @string << "instance"
end

#visit_boolean(type) ⇒ Object

: (Type::Boolean type) -> void



1042
1043
1044
 
# File 'lib/rbi/rbs_printer.rb', line 1042

def visit_boolean(type)
  @string << "bool"
end

#visit_class(type) ⇒ Object

: (Type::Class type) -> void



1185
1186
1187
1188
1189
 
# File 'lib/rbi/rbs_printer.rb', line 1185

def visit_class(type)
  @string << "Class["
  visit(type.type)
  @string << "]"
end

#visit_class_of(type) ⇒ Object

: (Type::ClassOf type) -> void



1101
1102
1103
1104
1105
 
# File 'lib/rbi/rbs_printer.rb', line 1101

def visit_class_of(type)
  @string << "singleton("
  visit(type.type)
  @string << ")"
end

#visit_generic(type) ⇒ Object

: (Type::Generic type) -> void



1047
1048
1049
1050
1051
1052
1053
1054
1055
 
# File 'lib/rbi/rbs_printer.rb', line 1047

def visit_generic(type)
  @string << translate_t_type(type.name.gsub(/\s/, ""))
  @string << "["
  type.params.each_with_index do |arg, index|
    visit(arg)
    @string << ", " if index < type.params.size - 1
  end
  @string << "]"
end

#visit_nilable(type) ⇒ Object

: (Type::Nilable type) -> void



1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
 
# File 'lib/rbi/rbs_printer.rb', line 1088

def visit_nilable(type)
  inner = type.type
  if inner.is_a?(Type::Proc)
    @string << "("
  end
  visit(inner)
  if inner.is_a?(Type::Proc)
    @string << ")"
  end
  @string << "?"
end

#visit_no_return(type) ⇒ Object

: (Type::NoReturn type) -> void



1068
1069
1070
 
# File 'lib/rbi/rbs_printer.rb', line 1068

def visit_no_return(type)
  @string << "bot"
end

#visit_proc(type) ⇒ Object

: (Type::Proc type) -> void



1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
 
# File 'lib/rbi/rbs_printer.rb', line 1158

def visit_proc(type)
  @string << "^"
  if type.proc_params.any?
    @string << "("
    type.proc_params.each_with_index do |(key, value), index|
      visit(value)
      @string << " #{key}"
      @string << ", " if index < type.proc_params.size - 1
    end
    @string << ") "
  end
  proc_bind = type.proc_bind
  if proc_bind
    @string << "[self: "
    visit(proc_bind)
    @string << "] "
  end
  @string << "-> "
  visit(type.proc_returns)
end

#visit_self_type(type) ⇒ Object

: (Type::SelfType type) -> void



1078
1079
1080
 
# File 'lib/rbi/rbs_printer.rb', line 1078

def visit_self_type(type)
  @string << "self"
end

#visit_shape(type) ⇒ Object

: (Type::Shape type) -> void



1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
 
# File 'lib/rbi/rbs_printer.rb', line 1138

def visit_shape(type)
  @string << "{"
  type.types.each_with_index do |(key, value), index|
    @string << case key
    when String
      "\"#{key}\" => "
    when Symbol
      if key.match?(/\A[a-zA-Z_]+[a-zA-Z0-9_]*\z/)
        "#{key}: "
      else
        "\"#{key}\": "
      end
    end
    visit(value)
    @string << ", " if index < type.types.size - 1
  end
  @string << "}"
end

#visit_simple(type) ⇒ Object

: (Type::Simple type) -> void



1037
1038
1039
 
# File 'lib/rbi/rbs_printer.rb', line 1037

def visit_simple(type)
  @string << translate_t_type(type.name.gsub(/\s/, ""))
end

#visit_tuple(type) ⇒ Object

: (Type::Tuple type) -> void



1128
1129
1130
1131
1132
1133
1134
1135
 
# File 'lib/rbi/rbs_printer.rb', line 1128

def visit_tuple(type)
  @string << "["
  type.types.each_with_index do |arg, index|
    visit(arg)
    @string << ", " if index < type.types.size - 1
  end
  @string << "]"
end

#visit_type_parameter(type) ⇒ Object

: (Type::TypeParameter type) -> void



1180
1181
1182
 
# File 'lib/rbi/rbs_printer.rb', line 1180

def visit_type_parameter(type)
  @string << type.name.to_s
end

#visit_untyped(type) ⇒ Object

: (Type::Untyped type) -> void



1073
1074
1075
 
# File 'lib/rbi/rbs_printer.rb', line 1073

def visit_untyped(type)
  @string << "untyped"
end

#visit_void(type) ⇒ Object

: (Type::Void type) -> void



1063
1064
1065
 
# File 'lib/rbi/rbs_printer.rb', line 1063

def visit_void(type)
  @string << "void"
end