Class: Mirah::JVM::Types::JavaSourceMirror::JavaSourceParser

Inherits:
ElementScanner6
  • Object
show all
Includes:
AnnotationValueVisitor
Defined in:
lib/mirah/jvm/types/source_mirror.rb

Instance Method Summary collapse

Constructor Details

#initialize(file, type_factory) ⇒ JavaSourceParser

TODO support generics



66
67
68
69
70
71
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 66

def initialize(file, type_factory)
  super()
  @file = file
  @type_factory = type_factory
  @mirrors = []
end

Instance Method Details

#anno_visitType(t, arg) ⇒ Object 



195
196
197
198
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 195

def anno_visitType(t, arg)
  anno, name = arg
  anno.visit(name, BiteScript::ASM::Type.getType(type_desc(t)))
end

#classpath ⇒ Object 



83
84
85
86
87
88
89
90
91
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 83

def classpath
  options = [
    '-classpath', @type_factory.classpath
  ]
  if @type_factory.bootclasspath
    options << '-bootclasspath' << @type_factory.bootclasspath
  end
  options
end

#flags_from_modifiers(elem) ⇒ Object 



209
210
211
212
213
214
215
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 209

def flags_from_modifiers(elem)
  flags = 0
  elem.modifiers.each do |modifier|
    flags |= BiteScript::ASM::Opcodes.const_get("ACC_#{modifier.name}")
  end
  flags
end

#get_fake_files ⇒ Object 



98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 98

def get_fake_files
  mirah_typedefs = Set.new(@type_factory.known_types.values.reject {|t| !t.kind_of?(TypeDefinition)})
  files = [FakeJavaFile.new('org.mirah.infer', 'FakeClass', '@interface')]
  mirah_typedefs.each do |typedef|
    typedef.name =~ /^(?:(.+)\.)?([^.]+)$/
    package, name = $1, $2
    kind = if typedef.interface?
      'interface'
    else
      'class'
    end
    files << FakeJavaFile.new(package, name, kind)
  end
  files
end

#get_java_file(tools) ⇒ Object 



93
94
95
96
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 93

def get_java_file(tools)
  fm = tools.get_standard_file_manager(nil, nil, nil)
  fm.get_java_file_objects(@file).to_a[0]
end

#internal_name(element) ⇒ Object 



217
218
219
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 217

def internal_name(element)
  @element_utils.get_binary_name(element).to_s.tr('.', '/')
end

#internal_type_name(type) ⇒ Object 



221
222
223
224
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 221

def internal_type_name(type)
  return nil if type.kind == TypeKind::NONE
  return @element_utils.get_binary_name(type.as_element).to_s.tr('.', '/')
end

#parse ⇒ Object 



73
74
75
76
77
78
79
80
81
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 73

def parse
  tools = ToolProvider.system_java_compiler
  units = [get_java_file(tools)] + get_fake_files
  @javac = tools.get_task(nil, nil, nil, classpath, nil, units)
  @element_utils = JavacElements.instance(@javac.context)
  elements = @javac.enter
  elements.each {|elem| scan(elem)}
  @mirrors
end

#type_desc(type) ⇒ Object 



226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 226

def type_desc(type)
  case type.kind.name
  when 'ARRAY'
    "[#{type_desc(type.component_type)}"
  when 'BOOLEAN'
    'Z'
  when 'BYTE'
    'B'
  when 'CHAR'
    'C'
  when 'DECLARED'
    name = internal_type_name(type)
    "L#{name};"
  when 'DOUBLE'
    'D'
  when 'FLOAT'
    'F'
  when 'INT'
    'I'
  when 'LONG'
    'J'
  when 'SHORT'
    'S'
  when 'VOID'
    'V'
  when 'EXECUTABLE'
    desc = '('
    type.parameter_types.each do |param|
      desc << type_desc(param)
    end
    desc << ')'
    desc << type_desc(type.return_type)
  else
    raise ArgumentError, "Unsupported type #{type.kind.name}"
  end
end

#visitAnnotation(elem, arg = nil) ⇒ Object 



153
154
155
156
157
158
159
160
161
162
163
164
165
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 153

def visitAnnotation(elem, arg=nil)
  desc = type_desc(elem.annotation_type)
  if arg.nil?
    anno = @current.visitAnnotation(desc, 0)
  else
    builder, name = arg
    anno = builder.visitAnnotation(name, desc)
  end
  elem.element_values.each do |method, value|
    name = method.simple_name
    visit(value, [anno, name])
  end
end

#visitArray(values, arg) ⇒ Object

AnnotationValueVisitor



168
169
170
171
172
173
174
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 168

def visitArray(values, arg)
  anno, name = arg
  array = anno.visitArray(name)
  values.each do |value|
    visit(value, [array, name])
  end
end

#visitBoolean(val, arg) ⇒ Object Also known as: visitByte, visitChar, visitDouble, visitFloat, visitInt, visitLong, visitShort, visitString, visitUnknown 



176
177
178
179
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 176

def visitBoolean(val, arg)
  anno, name = arg
  anno.visit(name, val)
end

#visitEnumConstant(c, arg) ⇒ Object 



190
191
192
193
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 190

def visitEnumConstant(c, arg)
  anno, name = arg
  anno.visitEnum(name, type_desc(c.as_type), c.simple_name)
end

#visitExecutable(method, arg) ⇒ Object 



142
143
144
145
146
147
148
149
150
151
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 142

def visitExecutable(method, arg)
  # TODO varags
  flags = flags_from_modifiers(method)
  exceptions = method.thrown_types.map {|t| internal_type_name(t)}
  desc = type_desc(method.as_type)
  mbuilder = @current.visitMethod(flags, method.simple_name, desc, nil, exceptions)
  with mbuilder do
    method.annotation_mirrors.each {|anno| visitAnnotation(anno)}
  end
end

#visitType(elem, arg) ⇒ Object 



114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 114

def visitType(elem, arg)
  return anno_visitType(elem, arg) if elem.kind_of?(TypeMirror)
  if elem.annotation_mirrors.any? {|a| a.toString == '@org.mirah.infer.FakeClass'}
    return
  end
  superclass = internal_type_name(elem.superclass) || 'java/lang/Object'
  interfaces = elem.interfaces.map {|i| internal_type_name(i)}
  flags = flags_from_modifiers(elem)
  builder = BiteScript::ASM::ClassMirror::Builder.new
  builder.visit(0, flags, internal_name(elem), nil, superclass, interfaces)
  with(builder) do
    elem.annotation_mirrors.each {|anno| visitAnnotation(anno)}
    super(elem, arg)
  end
  @mirrors << builder.mirror
  builder.mirror
end

#visitVariable(field, arg) ⇒ Object 



132
133
134
135
136
137
138
139
140
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 132

def visitVariable(field, arg)
  flags = flags_from_modifiers(field)
  type = type_desc(field.as_type)
  fbuilder = @current.visitField(
    flags, field.simple_name, type, nil, field.constant_value)
  with fbuilder do
    field.annotation_mirrors.each {|anno| visitAnnotation(anno)}
  end
end

#with(elem) ⇒ Object 



200
201
202
203
204
205
206
207
 
# File 'lib/mirah/jvm/types/source_mirror.rb', line 200

def with(elem)
  saved, @current = @current, elem
  begin
    yield
  ensure
    @current = saved
  end
end