Contents

module Yoda
  module Typing
    module Traces
      # Store evaluation result for each ast node.
      # @abstract
      class Base
        # @return [Array<Store::Objects::Base>]
        def values
          type.resolve(context.registry)
        end

        # @abstract
        # @return [Model::TypeExpressions::Base]
        def type
          fail NotImplementedError
        end

        # @abstract
        # @return [Contexts::BaseContext]
        def context
          fail NotImplementedError
        end
      end
    end
  end
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
yoda-language-server-0.10.1	lib/yoda/typing/traces/base.rb
yoda-language-server-0.10.0	lib/yoda/typing/traces/base.rb
yoda-language-server-0.9.0	lib/yoda/typing/traces/base.rb
yoda-language-server-0.8.0	lib/yoda/typing/traces/base.rb