class Gobstones::Lang::PuedeMover

Public Instance Methods

argument_type() click to toggle source
# File lib/gobstones/lang/expressions/primitive_functions.rb, line 43
def argument_type
  :Direction
end
evaluate(context) click to toggle source
# File lib/gobstones/lang/expressions/primitive_functions.rb, line 33
def evaluate(context)
  with_evaluated_argument_in(context) do |result|
    context.head.can_move?(result).to_gbs_bool
  end
end
to_s() click to toggle source
# File lib/gobstones/lang/expressions/primitive_functions.rb, line 39
def to_s
  'puedeMover() expression'
end
type_check() click to toggle source
# File lib/gobstones/lang/expressions/primitive_functions.rb, line 47
def type_check
  TypeCheckResult.new(argument_type, argument.return_type)
end