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