class TypedRb::Model::TmDefined

Attributes

expression[R]

Public Class Methods

new(expression, node) click to toggle source
Calls superclass method TypedRb::Model::Expr::new
# File lib/typed/model/tm_defined.rb, line 7
def initialize(expression, node)
  super(node)
  @expression = expression
end

Public Instance Methods

check_type(context) click to toggle source
# File lib/typed/model/tm_defined.rb, line 12
def check_type(context)
  expression.check_type(context)
  Types::TyString.new(node)
end