Class: RBS::Types::Optional
- Inherits:
-
Object
- Object
- RBS::Types::Optional
- Defined in:
- lib/rbs/types.rb
Instance Attribute Summary collapse
-
#location ⇒ Object
readonly
Returns the value of attribute location.
-
#type ⇒ Object
readonly
Returns the value of attribute type.
Instance Method Summary collapse
- #==(other) ⇒ Object (also: #eql?)
- #each_type ⇒ Object
- #free_variables(set = Set.new) ⇒ Object
- #has_classish_type? ⇒ Boolean
- #has_self_type? ⇒ Boolean
- #hash ⇒ Object
-
#initialize(type:, location:) ⇒ Optional
constructor
A new instance of Optional.
- #map_type(&block) ⇒ Object
- #map_type_name(&block) ⇒ Object
- #sub(s) ⇒ Object
- #to_json(state = _ = nil) ⇒ Object
- #to_s(level = 0) ⇒ Object
- #with_nonreturn_void? ⇒ Boolean
Constructor Details
#initialize(type:, location:) ⇒ Optional
Returns a new instance of Optional.
609 610 611 612 |
# File 'lib/rbs/types.rb', line 609 def initialize(type:, location:) @type = type @location = location end |
Instance Attribute Details
#location ⇒ Object (readonly)
Returns the value of attribute location.
607 608 609 |
# File 'lib/rbs/types.rb', line 607 def location @location end |
#type ⇒ Object (readonly)
Returns the value of attribute type.
606 607 608 |
# File 'lib/rbs/types.rb', line 606 def type @type end |
Instance Method Details
#==(other) ⇒ Object Also known as: eql?
614 615 616 |
# File 'lib/rbs/types.rb', line 614 def ==(other) other.is_a?(Optional) && other.type == type end |
#each_type ⇒ Object
650 651 652 653 654 655 656 |
# File 'lib/rbs/types.rb', line 650 def each_type if block_given? yield type else enum_for :each_type end end |
#free_variables(set = Set.new) ⇒ Object
624 625 626 |
# File 'lib/rbs/types.rb', line 624 def free_variables(set = Set.new) type.free_variables(set) end |
#has_classish_type? ⇒ Boolean
680 681 682 |
# File 'lib/rbs/types.rb', line 680 def has_classish_type? each_type.any? {|type| type.has_classish_type? } end |
#has_self_type? ⇒ Boolean
676 677 678 |
# File 'lib/rbs/types.rb', line 676 def has_self_type? each_type.any? {|type| type.has_self_type? } end |
#hash ⇒ Object
620 621 622 |
# File 'lib/rbs/types.rb', line 620 def hash self.class.hash ^ type.hash end |
#map_type(&block) ⇒ Object
665 666 667 668 669 670 671 672 673 674 |
# File 'lib/rbs/types.rb', line 665 def map_type(&block) if block Optional.new( type: yield(type), location: location ) else enum_for :map_type end end |
#map_type_name(&block) ⇒ Object
658 659 660 661 662 663 |
# File 'lib/rbs/types.rb', line 658 def map_type_name(&block) Optional.new( type: type.map_type_name(&block), location: location ) end |
#sub(s) ⇒ Object
632 633 634 |
# File 'lib/rbs/types.rb', line 632 def sub(s) self.class.new(type: type.sub(s), location: location) end |
#to_json(state = _ = nil) ⇒ Object
628 629 630 |
# File 'lib/rbs/types.rb', line 628 def to_json(state = _ = nil) { class: :optional, type: type, location: location }.to_json(state) end |
#to_s(level = 0) ⇒ Object
636 637 638 639 640 641 642 643 644 645 646 647 648 |
# File 'lib/rbs/types.rb', line 636 def to_s(level = 0) case t = type when RBS::Types::Literal case t.literal when Symbol return "#{type.to_s(1)} ?" end when RBS::Types::Proc return "(#{type.to_s(1)})?" end "#{type.to_s(1)}?" end |
#with_nonreturn_void? ⇒ Boolean
684 685 686 |
# File 'lib/rbs/types.rb', line 684 def with_nonreturn_void? each_type.any? {|type| type.with_nonreturn_void? } end |