Class: Duby::JVM::Types::NarrowingType

Inherits:
PrimitiveType show all
Defined in:
lib/duby/jvm/types/literals.rb

Overview

Represents a literal number that can be represented in multiple types

Direct Known Subclasses

FixnumLiteral, FloatLiteral

Constant Summary

Constants included from MethodLookup

MethodLookup::BOOLEAN, MethodLookup::BYTE, MethodLookup::CHAR, MethodLookup::DOUBLE, MethodLookup::FLOAT, MethodLookup::INT, MethodLookup::LONG, MethodLookup::PrimitiveConversions, MethodLookup::SHORT

Constants inherited from AST::TypeReference

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

Instance Attribute Summary

Attributes inherited from AST::TypeReference

#array, #meta

Attributes included from AST::Named

#name

Attributes inherited from AST::Node

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

Instance Method Summary collapse

Methods inherited from PrimitiveType

#add_intrinsics, #convertible_to?, #interfaces, #newarray, #primitive?, #primitive_type

Methods inherited from Type

#add_intrinsics, #add_method, #aload, #array?, #array_type, #assignable_from?, #astore, #basic_type, #compatible?, #component_type, #constructor, #declared_class_methods, #declared_instance_methods, #declared_intrinsics, #get_method, #init_value, #inspect, #interface?, #interfaces, #intrinsics, #is_parent, #iterable?, #java_method, #jvm_type, #load, #meta, #meta?, #newarray, #prefix, #primitive?, #return, #store, #superclass, #to_source, #unmeta, #void?, #wide?

Methods included from MethodLookup

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

Methods inherited from AST::TypeReference

#==, #compatible?, #component_type, #eql?, #error?, #is_parent, #iterable?, #meta?, #narrow, #primitive?, #to_s, #unmeta, #unreachable?

Methods included from AST::Named

#to_s

Methods inherited from AST::Node

#[], #each, #expr?, #inspect, #line_number, #log, #precompile, #resolve_if, #resolved!, #resolved?, #simple_name, #temp, #to_s

Constructor Details

#initialize(default_type, narrowed_type) ⇒ NarrowingType

Returns a new instance of NarrowingType.



8
9
10
11
 
# File 'lib/duby/jvm/types/literals.rb', line 8

def initialize(default_type, narrowed_type)
  super(default_type)
  @narrowed = default_type != narrowed_type && narrowed_type
end

Instance Method Details

#hash ⇒ Object 



13
14
15
 
# File 'lib/duby/jvm/types/literals.rb', line 13

def hash
  __getobj__.hash
end

#narrow! ⇒ Object

Changes this type to the smallest type that will hold its literal value.



19
20
21
22
23
24
 
# File 'lib/duby/jvm/types/literals.rb', line 19

def narrow!
  if @narrowed
    __setobj__(@narrowed)
    true
  end
end