Class: Mirah::JVM::Types::NullType

Inherits:
Type
  • Object
show all
Defined in:
lib/mirah/jvm/types/null_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, #class_id, #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?, #interfaces, #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, #newarray, #pop, #prefix, #primitive?, #read_macrodef_annotation, #retention, #return, #store, #superclass, #type_parameters, #ungeneric, #unmeta, #void?, #wide?

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) ⇒ NullType

Returns a new instance of NullType.



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

def initialize(types)
  super(types, types.get_mirror('java.lang.Object'))
end

Instance Method Details

#assignable_from?(other) ⇒ Boolean

Returns:

  • (Boolean) 


21
22
23
24
25
26
27
 
# File 'lib/mirah/jvm/types/null_type.rb', line 21

def assignable_from?(other)
  if other.respond_to?(:primitive?)
    !other.primitive?
  else
    other.matchesAnything
  end
end

#compatible?(other) ⇒ Boolean

Returns:

  • (Boolean) 


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

def compatible?(other)
  assignable_from(other)
end

#null? ⇒ Boolean

Returns:

  • (Boolean) 


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

def null?
  true
end

#to_s ⇒ Object 



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

def to_s
  "Type(null)"
end

#widen(other) ⇒ Object 



29
30
31
32
33
34
35
 
# File 'lib/mirah/jvm/types/null_type.rb', line 29

def widen(other)
  if other.matchesAnything
    self
  else
    other
  end
end