Class: Duby::Compiler::JavaSource

Inherits:
Object
  • Object
show all
Includes:
Duby::Compiler::JVM::JVMLogger
Defined in:
lib/duby/jvm/source_compiler.rb,
lib/duby/jvm/source_generator/loops.rb

Defined Under Namespace

Modules: Redoable Classes: ComplexWhileLoop, ImplicitReturn, RedoableForLoop, SimpleForLoop, SimpleWhileLoop

Constant Summary collapse

JVMTypes = 
Duby::JVM::Types
Operators = 
[
  '+', '-', '+@', '-@', '/', '%', '*', '<',
  '<=', '==', '!=', '>=', '>',
  '<<', '>>', '>>>', '|', '&', '^', '~'
]
ArrayOps = 
[
  '[]', '[]=', 'length'
]

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods included from Duby::Compiler::JVM::JVMLogger

#log

Constructor Details

#initialize(filename) ⇒ JavaSource

Returns a new instance of JavaSource.



33
34
35
36
37
38
39
40
41
42
43
 
# File 'lib/duby/jvm/source_compiler.rb', line 33

def initialize(filename)
  @filename = File.basename(filename)
  @static = true
  parts = filename.split '/'
  classname = parts.pop.sub /[.].+/, ''
  package = parts.join('.') unless parts.empty?

  @file = Duby::JavaSource::Builder.new(filename, self)
  #@file.package = package
  @class = @file.public_class(classname)
end

Instance Attribute Details

#class ⇒ Object

Returns the value of attribute class.



20
21
22
 
# File 'lib/duby/jvm/source_compiler.rb', line 20

def class
  @class
end

#filename ⇒ Object

Returns the value of attribute filename.



20
21
22
 
# File 'lib/duby/jvm/source_compiler.rb', line 20

def filename
  @filename
end

#lvalue ⇒ Object

Returns the value of attribute lvalue.



20
21
22
 
# File 'lib/duby/jvm/source_compiler.rb', line 20

def lvalue
  @lvalue
end

#method ⇒ Object

Returns the value of attribute method.



20
21
22
 
# File 'lib/duby/jvm/source_compiler.rb', line 20

def method
  @method
end

#static ⇒ Object

Returns the value of attribute static.



20
21
22
 
# File 'lib/duby/jvm/source_compiler.rb', line 20

def static
  @static
end

Instance Method Details

#_raise(node) ⇒ Object 



117
118
119
120
121
122
123
124
125
 
# File 'lib/duby/jvm/source_compiler.rb', line 117

def _raise(node)
  if node.expr?(self)
    @method.print 'throw '
    node.compile(self, true)
    @method.puts ';'
  else
    store_value('throw ', node)
  end
end

#array_op(target, name, args, expression) ⇒ Object 



382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
 
# File 'lib/duby/jvm/source_compiler.rb', line 382

def array_op(target, name, args, expression)
  simple = expr?(target, args)
  index, value = args
  if expression && !simple
    @method.print @lvalue
  end
  target.compile(self, true)
  if name == 'length'
    @method.print '.length'
  else
    @method.print '['
    index.compile(self, true)
    @method.print ']'
    if name == '[]='
      @method.print " = "
      value.compile(self, true)
    end
  end
  unless simple && expression
    @method.puts ';'
  end
end

#assign(name, value) ⇒ Object 



222
223
224
225
 
# File 'lib/duby/jvm/source_compiler.rb', line 222

def assign(name, value)
  store_value("#{name} = ", value)
  name
end

#body(body, expression) ⇒ Object 



235
236
237
238
239
240
241
242
243
244
 
# File 'lib/duby/jvm/source_compiler.rb', line 235

def body(body, expression)
  # all except the last element in a body of code is treated as a statement
  i, last = 0, body.children.size - 1
  while i < last
    body.children[i].compile(self, false)
    i += 1
  end
  # last element is an expression only if the body is an expression
  maybe_store(body.children[last], expression)
end

#boolean(value) ⇒ Object 



470
471
472
 
# File 'lib/duby/jvm/source_compiler.rb', line 470

def boolean(value)
  @method.print value ? 'true' : 'false'
end

#branch(node, expression) ⇒ Object 



263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
 
# File 'lib/duby/jvm/source_compiler.rb', line 263

def branch(node, expression)
  if expression && node.expr?(self)
    return branch_expression(node)
  end
  predicate = node.condition.predicate.precompile(self)
  @method.print 'if ('
  predicate.compile(self, true)
  @method.block ")" do
    if node.body
      maybe_store(node.body, expression)
    elsif expression
      store_value(@lvalue, @method.init_value(node.inferred_type))
    end
  end
  if node.else || expression
    @method.block 'else' do
      if node.else
        maybe_store(node.else, expression)
      else
        store_value(@lvalue, @method.init_value(node.inferred_type))
      end
    end
  end
end

#branch_expression(node) ⇒ Object 



246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
 
# File 'lib/duby/jvm/source_compiler.rb', line 246

def branch_expression(node)
  node.condition.compile(self, true)
  @method.print ' ? ('
  if node.body
    node.body.compile(self, true)
  else
    @method.print @method.init_value(node.inferred_type)
  end
  @method.print ') : ('
  if node.else
    node.else.compile(self, true)
  else
    @method.print @method.init_value(node.inferred_type)
  end
  @method.print ')'
end

#break(node) ⇒ Object 



405
406
407
 
# File 'lib/duby/jvm/source_compiler.rb', line 405

def break(node)
  @loop.break
end

#call(call, expression) ⇒ Object 



363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
 
# File 'lib/duby/jvm/source_compiler.rb', line 363

def call(call, expression)
  if Duby::AST::Constant === call.target
    target = call.target.inferred_type.name
  else
    target = call.target.precompile(self)
  end
  params = compile_args(call)
  
  if Operators.include? call.name
    operator(target, call.name, params, expression)
  elsif call.target.inferred_type.array? && ArrayOps.include?(call.name)
    array_op(target, call.name, params, expression)
  elsif call.name == 'nil?'
    operator(target, '==', ['null'], expression)
  else
    method_call(target, call, params, expression)
  end
end

#compile_args(call) ⇒ Object 



337
338
339
340
341
 
# File 'lib/duby/jvm/source_compiler.rb', line 337

def compile_args(call)
  call.parameters.map do |param|
    param.precompile(self)
  end
end

#declare_field(name, type) ⇒ Object 



157
158
159
 
# File 'lib/duby/jvm/source_compiler.rb', line 157

def declare_field(name, type)
  @class.declare_field(name, type, @static)
end

#declare_local(name, type) ⇒ Object 



153
154
155
 
# File 'lib/duby/jvm/source_compiler.rb', line 153

def declare_local(name, type)
  @method.declare_local(type, name)
end

#define_class(class_def, expression) ⇒ Object 



490
491
492
493
494
495
496
497
 
# File 'lib/duby/jvm/source_compiler.rb', line 490

def define_class(class_def, expression)
  with(:class => class_def.inferred_type.define(@file),
       :static => false) do
    class_def.body.compile(self, false) if class_def.body
  
    @class.stop
  end
end

#define_main(body) ⇒ Object 



59
60
61
62
63
64
65
66
67
68
69
70
71
 
# File 'lib/duby/jvm/source_compiler.rb', line 59

def define_main(body)
  with :method => @class.main do
    log "Starting main method"

    @method.start

    body.compile(self, false)

    @method.stop
  end

  log "Main method complete!"
end

#define_method(name, signature, args, body, force_static) ⇒ Object 



73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
 
# File 'lib/duby/jvm/source_compiler.rb', line 73

def define_method(name, signature, args, body, force_static)
  args = args.args || []
  return_type = signature[:return]
  exceptions = signature[:throws] || []
  if @static || force_static
    method = @class.public_static_method(name.to_s, return_type, exceptions, *args)
  else
    if name == "initialize"
      method = @class.public_constructor(exceptions, *args)
    else
      method = @class.public_method(name.to_s, return_type, exceptions, *args)
    end
  end

  with :method => method, :static => @static || force_static do
    log "Starting new method #{name}"

    @method.start

    unless @method.type.nil? || @method.type.void?
      self.return(ImplicitReturn.new(body))
    else
      body.compile(self, false) if body
    end
  
    log "Method #{name} complete!"
    @method.stop
  end
end

#empty_array(type, size) ⇒ Object 



456
457
458
459
460
461
 
# File 'lib/duby/jvm/source_compiler.rb', line 456

def empty_array(type, size)
  sizevar = size.precompile(self)
  @method.print "#{@lvalue unless size.expr?(self)}new #{type.name}["
  sizevar.compile(self, true)
  @method.print ']'
end

#ensure(node, expression) ⇒ Object 



141
142
143
144
145
146
147
148
 
# File 'lib/duby/jvm/source_compiler.rb', line 141

def ensure(node, expression)
  @method.block 'try' do
    maybe_store(node.body, expression)
  end
  @method.block 'finally' do
    node.clause.compile(self, false)
  end
end

#expr?(target, params) ⇒ Boolean

Returns:

  • (Boolean) 


310
311
312
 
# File 'lib/duby/jvm/source_compiler.rb', line 310

def expr?(target, params)
  !([target] + params).any? {|x| x.kind_of? Duby::AST::TempValue}
end

#field(name, type) ⇒ Object 



165
166
167
168
169
 
# File 'lib/duby/jvm/source_compiler.rb', line 165

def field(name, type)
  name = name[1..-1]
  declare_field(name, type)
  @method.print "#{this}.#{name}"
end

#field_assign(name, type, expression, value) ⇒ Object 



201
202
203
204
205
206
 
# File 'lib/duby/jvm/source_compiler.rb', line 201

def field_assign(name, type, expression, value)
  name = name[1..-1]
  declare_field(name, type)
  lvalue = "#{@lvalue if expression}#{this}.#{name} = "
  store_value(lvalue, value)
end

#field_declare(name, type) ⇒ Object 



192
193
194
195
 
# File 'lib/duby/jvm/source_compiler.rb', line 192

def field_declare(name, type)
  name = name[1..-1]
  declare_field(name, type)
end

#for_loop(loop, expression) ⇒ Object 



299
300
301
302
303
304
305
306
307
308
 
# File 'lib/duby/jvm/source_compiler.rb', line 299

def for_loop(loop, expression)
  if loop.redo
    loop = RedoableForLoop.new(loop, self)
  else
    loop = SimpleForLoop.new(loop, self)
  end
  with(:loop => loop) do
    loop.compile(expression)
  end        
end

#generate(&block) ⇒ Object 



45
46
47
48
49
50
51
52
53
54
55
56
57
 
# File 'lib/duby/jvm/source_compiler.rb', line 45

def generate(&block)
  @class.stop
  log "Generating source files..."
  @file.generate do |filename, builder|
    log "  #{builder.class_name}"
    if block_given?
      yield filename, builder
    else
      File.open(filename, 'w') {|f| f.write(builder.generate)}
    end
  end
  log "...done!"
end

#import(short, long) ⇒ Object 



463
464
 
# File 'lib/duby/jvm/source_compiler.rb', line 463

def import(short, long)
end

#line(num) ⇒ Object 



150
151
 
# File 'lib/duby/jvm/source_compiler.rb', line 150

def line(num)
end

#local(name, type) ⇒ Object 



161
162
163
 
# File 'lib/duby/jvm/source_compiler.rb', line 161

def local(name, type)
  @method.print name
end

#local_assign(name, type, expression, value) ⇒ Object 



175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
 
# File 'lib/duby/jvm/source_compiler.rb', line 175

def local_assign(name, type, expression, value)
  value = value.precompile(self)
  if method.local?(name)
    @method.print @lvalue if expression
    @method.print "#{name} = "
    value.compile(self, true)
    @method.puts ';'
  else
    @method.declare_local(type, name) do
      value.compile(self, true)
    end
    if expression
      @method.puts "#{@lvalue}#{name};"
    end
  end
end

#local_declare(name, type) ⇒ Object 



197
198
199
 
# File 'lib/duby/jvm/source_compiler.rb', line 197

def local_declare(name, type)
  declare_local(name, type)
end

#maybe_store(value, expression) ⇒ Object 



227
228
229
230
231
232
233
 
# File 'lib/duby/jvm/source_compiler.rb', line 227

def maybe_store(value, expression)
  if expression
    store_value(@lvalue, value)
  else
    value.compile(self, false)
  end
end

#method_call(target, call, params, expression) ⇒ Object 



417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
 
# File 'lib/duby/jvm/source_compiler.rb', line 417

def method_call(target, call, params, expression)
  simple = call.expr?(self)
  method = call.method(self)
  unless simple || method.actual_return_type.void?
    @method.print @lvalue if expression
  end
  if method.constructor?
    @method.print "new "
    target.compile(self, true)
    @method.print '('
  else
    target.compile(self, true)
    @method.print ".#{method.name}("
  end
  params.each_with_index do |param, index|
    @method.print ', ' unless index == 0
    param.compile(self, true)
  end
  if simple && expression
    @method.print ')'
  else
    @method.puts ');'
  end
  if method.actual_return_type.void? && expression
    @method.print @lvalue
    if method.static?
      @method.puts 'null;'
    else
      target.compile(self, true)
      @method.puts ';'
    end
  end
  
end

#next(node) ⇒ Object 



409
410
411
 
# File 'lib/duby/jvm/source_compiler.rb', line 409

def next(node)
  @loop.next
end

#null ⇒ Object 



474
475
476
 
# File 'lib/duby/jvm/source_compiler.rb', line 474

def null
  @method.print 'null'
end

#operator(target, op, params, expression) ⇒ Object 



314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
 
# File 'lib/duby/jvm/source_compiler.rb', line 314

def operator(target, op, params, expression)
  simple = expr?(target, params)
  if expression && !simple
    @method.print @lvalue
  end
  if params.size == 0
    # unary operator
    op = op[0,1]
    @method.print op
    target.compile(self, true)
  else
    @method.print '('
    other = params[0]
    target.compile(self, true)
    @method.print " #{op} "
    other.compile(self, true)
    @method.print ')'
  end
  unless expression && simple
    @method.puts ';'
  end
end

#print(node) ⇒ Object 



478
479
480
481
482
483
484
485
486
487
488
 
# File 'lib/duby/jvm/source_compiler.rb', line 478

def print(node)
  value = node.parameters[0]
  value = value && value.precompile(self)
  if node.println
    @method.print "System.out.println("
  else
    @method.print "System.out.print("
  end
  value.compile(self, true) if value
  @method.puts ');'
end

#redo(node) ⇒ Object 



413
414
415
 
# File 'lib/duby/jvm/source_compiler.rb', line 413

def redo(node)
  @loop.redo
end

#rescue(node, expression) ⇒ Object 



127
128
129
130
131
132
133
134
135
136
137
138
139
 
# File 'lib/duby/jvm/source_compiler.rb', line 127

def rescue(node, expression)
  @method.block 'try' do
    maybe_store(node.body, expression)
  end
  node.clauses.each do |clause|
    clause.types.each do |type|
      name = clause.name || 'tmp$ex'
      @method.block "catch (#{type.to_source} #{name})" do
        maybe_store(clause.body, expression)
      end
    end
  end
end

#return(node) ⇒ Object 



103
104
105
106
107
108
109
110
111
112
113
114
115
 
# File 'lib/duby/jvm/source_compiler.rb', line 103

def return(node)
  if @method.type.nil? || @method.type.void?
    @method.puts 'return;'
    return
  end
  if node.value.expr?(self)
    @method.print 'return '
    node.value.compile(self, true)
    @method.puts ';'
  else
    store_value('return ', node.value)
  end
end

#self_call(call, expression) ⇒ Object 



349
350
351
352
353
354
355
356
357
358
359
360
361
 
# File 'lib/duby/jvm/source_compiler.rb', line 349

def self_call(call, expression)
  if call.cast?
    args = compile_args(call)
    simple = call.expr?(self)
    @method.print @lvalue if expression && !simple
    @method.print "(#{call.inferred_type.name})("
    args.each{|arg| arg.compile(self, true)}
    @method.print ")"
    @method.puts ';' unless simple && expression
  else
    method_call(this, call, compile_args(call), expression)
  end
end

#self_type ⇒ Object 



343
344
345
346
347
 
# File 'lib/duby/jvm/source_compiler.rb', line 343

def self_type
  type = AST::type(@class.name.tr('/', '.'))
  type = type.meta if @static
  type
end

#store_value(lvalue, value) ⇒ Object 



208
209
210
211
212
213
214
215
216
217
218
219
220
 
# File 'lib/duby/jvm/source_compiler.rb', line 208

def store_value(lvalue, value)
  if value.is_a? String
    @method.puts "#{lvalue}#{value};"
  elsif value.expr?(self)
    @method.print lvalue
    value.compile(self, true)
    @method.puts ';'
  else
    with :lvalue => lvalue do
      value.compile(self, true)
    end
  end
end

#string(value) ⇒ Object 



466
467
468
 
# File 'lib/duby/jvm/source_compiler.rb', line 466

def string(value)
  @method.print value.inspect
end

#temp(expression, value = nil) ⇒ Object 



452
453
454
 
# File 'lib/duby/jvm/source_compiler.rb', line 452

def temp(expression, value=nil)
  assign(@method.tmp(expression.inferred_type), value || expression)
end

#this ⇒ Object 



171
172
173
 
# File 'lib/duby/jvm/source_compiler.rb', line 171

def this
  @static ? @class.class_name : 'this'
end

#while_loop(loop, expression) ⇒ Object 



288
289
290
291
292
293
294
295
296
297
 
# File 'lib/duby/jvm/source_compiler.rb', line 288

def while_loop(loop, expression)
  if loop.redo || !loop.condition.predicate.expr?(self)
    loop = ComplexWhileLoop.new(loop, self)
  else
    loop = SimpleWhileLoop.new(loop, self)
  end
  with(:loop => loop) do
    loop.compile(expression)
  end
end

#with(vars) ⇒ Object 



499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
 
# File 'lib/duby/jvm/source_compiler.rb', line 499

def with(vars)
  orig_values = {}
  begin
    vars.each do |name, new_value|
      name = "@#{name}"
      orig_values[name] = instance_variable_get name
      instance_variable_set name, new_value
    end
    yield
  ensure
    orig_values.each do |name, value|
      instance_variable_set name, value
    end
  end
end