class TypedRb::Types::TyStackJump
Attributes
jump_kind[R]
wrapped_type[R]
Public Class Methods
break(return_type, node = nil)
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 19 def self.break(return_type, node = nil) TyStackJump.new(:break, return_type, node) end
new(jump_kind, wrapped_type, node=nil)
click to toggle source
Calls superclass method
TypedRb::Types::TyUnit::new
# File lib/typed/types/ty_stack_jump.rb, line 5 def initialize(jump_kind, wrapped_type, node=nil) super(node) @jump_kind = jump_kind @wrapped_type = wrapped_type end
next(return_type, node = nil)
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 23 def self.next(return_type, node = nil) TyStackJump.new(:next, return_type, node) end
return(return_type, node = nil)
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 15 def self.return(return_type, node = nil) TyStackJump.new(:return, return_type, node) end
Public Instance Methods
break?()
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 31 def break? jump_kind == :break end
next?()
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 35 def next? jump_kind == :next end
return?()
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 27 def return? jump_kind == :return end
stack_jump?()
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 11 def stack_jump? true end
to_s()
click to toggle source
# File lib/typed/types/ty_stack_jump.rb, line 39 def to_s "Jump[#{jump_kind}:#{wrapped_type}]" end