Class: Mirah::JVM::Types::PrimitiveType

Inherits:
Type
  • Object
show all
Defined in:
lib/mirah/jvm/types/intrinsics.rb,
lib/mirah/jvm/types/primitive_type.rb

Direct Known Subclasses

BooleanType, Number, VoidType

Constant Summary collapse

WIDENING_CONVERSIONS = 
{
  'byte' => ['byte', 'short', 'int', 'long', 'float', 'double', 'java.lang.Byte', 'java.lang.Object'],
  'short' => ['short', 'int', 'long', 'float', 'double', 'java.lang.Short', 'java.lang.Object'],
  'char' => ['char', 'int', 'long', 'float', 'double', 'java.lang.Character', 'java.lang.Object'],
  'int' => ['int', 'long', 'float', 'double','java.lang.Integer', 'java.lang.Object'],
  'long' => ['long', 'float', 'double', 'java.lang.Long', 'java.lang.Object'],
  'float' => ['float', 'double', 'java.lang.Float', 'java.lang.Object'],
  'double' => ['double', 'java.lang.Double', 'java.lang.Object']
}

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 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, #init_value, #inner_class?, #inner_class_getter, #inspect, #interface?, #internal_name, #intrinsics, #isAnnotation, #isArray, #isBlock, #isEnum, #isError, #isGeneric, #isMeta, #isPrimitive, #is_parent, #iterable?, #java_method, #jvm_type, #load, #load_extensions, #macro, #macros, #matchesAnything, #meta, #meta?, #method_listeners, #method_updated, #pop, #prefix, #read_macrodef_annotation, #retention, #return, #store, #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

#initialize(types, type, wrapper) ⇒ PrimitiveType

Returns a new instance of PrimitiveType.



30
31
32
33
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 30

def initialize(types, type, wrapper)
  @wrapper = wrapper
  super(types, type)
end

Instance Method Details

#add_intrinsics ⇒ Object

Primitives define their own intrinsics instead of getting the Object ones.



382
383
 
# File 'lib/mirah/jvm/types/intrinsics.rb', line 382

def add_intrinsics
end

#box(builder) ⇒ Object 



70
71
72
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 70

def box(builder)
  builder.invokestatic box_type, "valueOf", [box_type, self]
end

#box_type ⇒ Object 



66
67
68
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 66

def box_type
  @type_system.type(nil, wrapper_name)
end

#convertible_to?(type) ⇒ Boolean

Returns:

  • (Boolean) 


51
52
53
54
55
56
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 51

def convertible_to?(type)
  return true if type == self
  return false if type.array?
  widening_conversions = WIDENING_CONVERSIONS[self.name]
  widening_conversions && widening_conversions.include?(type.name)
end

#interfaces(include_parent = true) ⇒ Object 



47
48
49
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 47

def interfaces(include_parent=true)
  []
end

#newarray(method) ⇒ Object 



43
44
45
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 43

def newarray(method)
  method.send "new#{name}array"
end

#primitive? ⇒ Boolean

Returns:

  • (Boolean) 


35
36
37
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 35

def primitive?
  true
end

#primitive_type ⇒ Object 



39
40
41
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 39

def primitive_type
  @wrapper::TYPE
end

#superclass ⇒ Object 



58
59
60
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 58

def superclass
  nil
end

#wrapper_name ⇒ Object 



62
63
64
 
# File 'lib/mirah/jvm/types/primitive_type.rb', line 62

def wrapper_name
  @wrapper.java_class.name
end