Class: Mirah::JVM::Types::MetaType

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

Direct Known Subclasses

ArrayMetaType, TypeDefMeta

Constant Summary

Constants inherited from AST::TypeReference

AST::TypeReference::BlockType, AST::TypeReference::ErrorType, AST::TypeReference::NoType, AST::TypeReference::NullType, AST::TypeReference::UnreachableType

Instance Attribute Summary collapse

Attributes inherited from Type

#inner_class

Attributes inherited from AST::TypeReference

#array

Attributes included from AST::Named

#name

Attributes inherited from AST::Node

#children, #inferred_type, #newline, #parent, #position

Instance Method Summary collapse

Methods inherited from Type

#add_compiled_macro, #add_enumerable_macros, #add_macro, #add_method, #aload, #array?, #array_type, #assignable_from?, #astore, #compatible?, #component_type, #constructor, #declared_class_methods, #declared_constructors, #declared_instance_methods, #declared_intrinsics, #dynamic?, #expand_each, #field_getter, #field_setter, #full_name, #get_method, #include, #init_value, #inner_class_getter, #inspect, #interface?, #intrinsics, #is_parent, #iterable?, #java_method, #load, #load_extensions, #log, #newarray, #pop, #prefix, #primitive?, #return, #store, #to_source, #void?, #wide?, #wrap_with_scoped_body

Methods included from MethodLookup

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

Methods inherited from AST::TypeReference

#==, #_dump, _load, #block?, #compatible?, #component_type, #eql?, #error?, #full_name, #hash, #is_parent, #iterable?, #narrow, #null?, #primitive?, #to_s, #type_reference, #unreachable?, #void?

Methods included from AST::Named

#string_value, #to_s, #validate_name

Methods inherited from AST::Node

#<<, ===, #[], #[]=, #_dump, _load, #_set_parent, child, child_name, #child_nodes, #each, #empty?, #expr?, #inferred_type!, #initialize_copy, #insert, #inspect, #inspect_children, #line_number, #log, #precompile, #resolve_if, #resolved!, #resolved?, #simple_name, #string_value, #temp, #to_s, #top_level?, #validate_child, #validate_children

Constructor Details

#initialize(unmeta) ⇒ MetaType

Returns a new instance of MetaType.



7
8
9
10
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 7

def initialize(unmeta)
  @name = unmeta.name
  @unmeta = unmeta
end

Instance Attribute Details

#unmeta ⇒ Object (readonly)

Returns the value of attribute unmeta.



5
6
7
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 5

def unmeta
  @unmeta
end

Instance Method Details

#add_intrinsics ⇒ Object 



281
282
283
284
285
286
287
 
# File 'lib/mirah/jvm/types/intrinsics.rb', line 281

def add_intrinsics
  add_method('class', [], ClassType) do |compiler, call, expression|
    if expression
      compiler.method.ldc_class(unmeta)
    end
  end
end

#basic_type ⇒ Object 



12
13
14
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 12

def basic_type
  @unmeta.basic_type
end

#inner_class? ⇒ Boolean

Returns:



36
37
38
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 36

def inner_class?
  basic_type.inner_class?
end

#interfaces ⇒ Object 



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

def interfaces
  []
end

#jvm_type ⇒ Object 



32
33
34
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 32

def jvm_type
  unmeta.jvm_type
end

#meta ⇒ Object 



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

def meta
  self
end

#meta? ⇒ Boolean

Returns:



16
17
18
 
# File 'lib/mirah/jvm/types/meta_type.rb', line 16

def meta?
  true
end

#superclass ⇒ Object 



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

def superclass
  @unmeta.superclass.meta if @unmeta.superclass
end