Class: Mirah::JVM::Types::NarrowingType
- Inherits:
-
PrimitiveType
- Object
- AST::Node
- AST::TypeReference
- Type
- PrimitiveType
- Mirah::JVM::Types::NarrowingType
- Defined in:
- lib/mirah/jvm/types/literals.rb
Overview
Represents a literal number that can be represented in multiple types
Direct Known Subclasses
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
Attributes inherited from Type
Attributes inherited from AST::TypeReference
Attributes included from AST::Named
Attributes inherited from AST::Node
#children, #inferred_type, #newline, #parent, #position
Instance Method Summary collapse
- #hash ⇒ Object
-
#initialize(default_type, narrowed_type) ⇒ NarrowingType
constructor
A new instance of NarrowingType.
-
#narrow! ⇒ Object
Changes this type to the smallest type that will hold its literal value.
Methods inherited from PrimitiveType
#add_intrinsics, #convertible_to?, #interfaces, #newarray, #primitive?, #primitive_type, #superclass
Methods inherited from Type
#add_compiled_macro, #add_enumerable_macros, #add_intrinsics, #add_macro, #add_method, #aload, #array?, #array_type, #assignable_from?, #astore, #basic_type, #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?, #inner_class_getter, #inspect, #interface?, #interfaces, #intrinsics, #is_parent, #iterable?, #java_method, #jvm_type, #load, #load_extensions, #log, #meta, #meta?, #newarray, #pop, #prefix, #primitive?, #return, #store, #superclass, #to_source, #unmeta, #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, #basic_type, #block?, #compatible?, #component_type, #eql?, #error?, #full_name, #is_parent, #iterable?, #meta?, #narrow, #null?, #primitive?, #to_s, #type_reference, #unmeta, #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(default_type, narrowed_type) ⇒ NarrowingType
Returns a new instance of NarrowingType.
23 24 25 26 |
# File 'lib/mirah/jvm/types/literals.rb', line 23 def initialize(default_type, narrowed_type) super(default_type) @narrowed = default_type != narrowed_type && narrowed_type end |
Instance Method Details
#hash ⇒ Object
28 29 30 |
# File 'lib/mirah/jvm/types/literals.rb', line 28 def hash __getobj__.hash end |
#narrow! ⇒ Object
Changes this type to the smallest type that will hold its literal value.
34 35 36 37 38 39 |
# File 'lib/mirah/jvm/types/literals.rb', line 34 def narrow! if @narrowed __setobj__(@narrowed) true end end |