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