Class: Mirah::JVM::Types::IntegerType

Inherits:
Number show all
Defined in:
lib/mirah/jvm/types/integers.rb

Direct Known Subclasses

CharacterType

Constant Summary

Constants inherited from Number

Number::TYPE_ORDERING

Constants inherited from PrimitiveType

PrimitiveType::WIDENING_CONVERSIONS

Constants included from Logging::Logged

Logging::Logged::VLEVELS

Instance Attribute Summary

Attributes inherited from Type

#inner_class, #name, #type_system

Instance Method Summary collapse

Methods inherited from Number

#add_delegates, #boolean_operator, #compile_boolean_operator, #delegate_intrinsic, #invert_op, #math_operator, #suffix, #unary_operator

Methods inherited from PrimitiveType

#box, #box_type, #convertible_to?, #initialize, #interfaces, #newarray, #primitive?, #primitive_type, #superclass, #wrapper_name

Methods inherited from Type

#abstract?, #add_compiled_macro, #add_enumerable_macros, #add_method, #add_method_listener, #aload, #ancestors_and_interfaces, #array?, #array_type, #assignableFrom, #assignable_from?, #astore, #basic_type, #class_id, #compatible?, #component_type, #constructor, #declared_class_methods, #declared_constructors, #declared_instance_methods, #declared_intrinsics, #declared_macros, #dynamic?, #error?, #expand_each, #field_getter, #field_setter, #find_callable_macros, #find_callable_macros2, #find_callable_methods, #find_callable_methods2, #find_callable_static_methods, #flags, #full_name, #generic, #generic?, #getAsmType, #getDeclaredField, #getDeclaredFields, #get_method, #hasStaticField, #include, #initialize, #inner_class?, #inner_class_getter, #inspect, #interface?, #interfaces, #internal_name, #intrinsics, #isAnnotation, #isArray, #isBlock, #isEnum, #isError, #isGeneric, #isMeta, #isPrimitive, #is_parent, #iterable?, #java_method, #jvm_type, #load_extensions, #macro, #macros, #matchesAnything, #meta, #meta?, #method_listeners, #method_updated, #newarray, #pop, #primitive?, #read_macrodef_annotation, #retention, #return, #store, #superclass, #to_s, #type_parameters, #ungeneric, #unmeta, #void?, #wide?, #widen

Methods included from Logging::Logged

#error, #info, #log, #logger, #logger_name, #logging?, #vlog, #warning

Methods included from MethodLookup

#each_is_exact, #each_is_exact_or_subtype_or_convertible, #field_lookup, #find_jls, #find_jls2, #find_method, #find_method2, #inner_class, #is_more_specific?, #phase1, #phase2, #phase3, #primitive_convertible?

Constructor Details

This class inherits a constructor from Mirah::JVM::Types::PrimitiveType

Instance Method Details

#add_intrinsics ⇒ Object 



61
62
63
64
65
66
67
68
69
70
 
# File 'lib/mirah/jvm/types/integers.rb', line 61

def add_intrinsics
  super
  math_operator('<<', 'shl')
  math_operator('>>', 'shr')
  math_operator('>>>', 'ushr')
  math_operator('|', 'or')
  math_operator('&', 'and')
  math_operator('^', 'xor')
  unary_operator('~', 'not')
end

#compile_widen(builder, type) ⇒ Object 



32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
 
# File 'lib/mirah/jvm/types/integers.rb', line 32

def compile_widen(builder, type)
  case type.name
  when 'byte', 'short', 'int'
    # do nothing
  when 'long'
    builder.i2l
  when 'float'
    builder.i2f
  when 'double'
    builder.i2d
  when wrapper_name, 'java.lang.Object'
    builder.invokestatic @wrapper, "valueOf", [@wrapper, builder.send(name)]
  else
    raise ArgumentError, "Invalid widening conversion from #{name} to #{type}"
  end
end

#init_value(builder) ⇒ Object 



24
25
26
 
# File 'lib/mirah/jvm/types/integers.rb', line 24

def init_value(builder)
  builder.iconst_0
end

#jump_if(builder, op, label) ⇒ Object 



57
58
59
 
# File 'lib/mirah/jvm/types/integers.rb', line 57

def jump_if(builder, op, label)
  builder.send "if_icmp#{op}", label
end

#literal(builder, value) ⇒ Object 



20
21
22
 
# File 'lib/mirah/jvm/types/integers.rb', line 20

def literal(builder, value)
  builder.push_int(value)
end

#load(builder, index) ⇒ Object 



28
29
30
 
# File 'lib/mirah/jvm/types/integers.rb', line 28

def load(builder, index)
  builder.iload(index)
end

#math_type ⇒ Object 



53
54
55
 
# File 'lib/mirah/jvm/types/integers.rb', line 53

def math_type
  @type_system.type(nil, 'int')
end

#prefix ⇒ Object 



49
50
51
 
# File 'lib/mirah/jvm/types/integers.rb', line 49

def prefix
  'i'
end