Class: Mirah::JVM::Types::UnreachableType

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

Constant Summary

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_intrinsics, #add_method, #add_method_listener, #aload, #ancestors_and_interfaces, #array?, #array_type, #assignableFrom, #astore, #basic_type, #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, #full_name, #generic, #generic?, #get_method, #include, #init_value, #inner_class?, #inner_class_getter, #inspect, #interface?, #interfaces, #intrinsics, #isArray, #isBlock, #isError, #isGeneric, #isMeta, #is_parent, #iterable?, #java_method, #jvm_type, #load, #load_extensions, #macro, #macros, #matchesAnything, #meta, #meta?, #method_listeners, #method_updated, #newarray, #pop, #prefix, #primitive?, #read_macrodef_annotation, #return, #store, #superclass, #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 ⇒ UnreachableType

Returns a new instance of UnreachableType.



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

def initialize
  super('java.lang.Object')
end

Instance Method Details

#assignable_from?(other) ⇒ Boolean

Returns:

  • (Boolean) 


21
22
23
 
# File 'lib/mirah/jvm/types/unreachable_type.rb', line 21

def assignable_from?(other)
  true
end

#compatible?(other) ⇒ Boolean

Returns:

  • (Boolean) 


17
18
19
 
# File 'lib/mirah/jvm/types/unreachable_type.rb', line 17

def compatible?(other)
  true
end

#to_s ⇒ Object 



9
10
11
 
# File 'lib/mirah/jvm/types/unreachable_type.rb', line 9

def to_s
  "Type(null)"
end

#unreachable? ⇒ Boolean

Returns:

  • (Boolean) 


13
14
15
 
# File 'lib/mirah/jvm/types/unreachable_type.rb', line 13

def unreachable?
  true
end