ruby-lint 0.0.3 → 0.0.4

data/lib/ruby-lint/report.rb

@@ -55,40 +55,12 @@ module RubyLint
     #
     # @return [Array]
     #
-    DEFAULT_LEVELS = [:error, :warning, :info]
-
-    ##
-    # Adds a new reporting level to the list of available levels.
-    #
-    # @param [#to_sym] level The reporting level to add.
-    #
-    def self.add_level(level)
-      levels << level.to_sym
-    end
-
-    ##
-    # Deletes a reporting level from the list of available levels. This does
-    # not affect existing instances of this class.
-    #
-    # @param [#to_sym] level The level to delete.
-    #
-    def self.delete_level(level)
-      levels.delete(level.to_sym)
-    end
-
-    ##
-    # Returns a list of the available reporting levels.
-    #
-    # @return [Array]
-    #
-    def self.levels
-      return @levels ||= DEFAULT_LEVELS.dup
-    end
+    DEFAULT_LEVELS = [:error, :warning, :info].freeze
 
     ##
     # @param [Array] levels The reporting levels to enable for this instance.
     #
-    def initialize(levels = self.class.levels)
+    def initialize(levels = DEFAULT_LEVELS)
       @levels  = levels.map(&:to_sym)
       @entries = []
     end

data/lib/ruby-lint/report/entry.rb

@@ -57,14 +57,14 @@ module RubyLint
 
       ##
       # Determines the sort order of the current entry. The entry is sorted
-      # based on the filename and the reporting level.
+      # based on the filename and the line.
       #
       # @param [RubyLint::Report::Entry] other The entry to compare with the
       #  current one.
       # @return [Numeric]
       #
       def <=>(other)
-        return (filename <=> other.filename) <=> (other.level <=> level)
+        return (filename <=> other.filename) <=> (other.line <=> line)
       end
     end # Entry
   end # Report

data/lib/ruby-lint/runner.rb

@@ -0,0 +1,81 @@
+module RubyLint
+  ##
+  # {RubyLint::Runner} acts as an easy to use layer around the various parts of
+  # ruby-lint. Pass it some files and a {RubyLint::Configuration} object and it
+  # will take care of running code analysis, formatting it, etc.
+  #
+  # @!attribute [r] configuration
+  #  @return [RubyLint::Configuration]
+  #
+  class Runner
+    attr_reader :configuration
+
+    ##
+    # @param [RubyLint::Configuration] configuration
+    #
+    def initialize(configuration)
+      @configuration = configuration
+    end
+
+    ##
+    # Analyses the given files and returns the report results.
+    #
+    # @param [Array] files
+    # @return [String]
+    #
+    def analyze(files)
+      report    = Report.new(configuration.report_levels)
+      presenter = configuration.presenter.new
+      parser    = Parser.new
+
+      parser.consumer = proc do |diag|
+        report_diagnostic(diag, report)
+
+        # FIXME: there's a bug in the pure Ruby version of Racc causing it hang
+        # after detecting a syntax error (it stays forever in recovery mode).
+        # To work around this we'll have to bail out after detecting the first
+        # syntax error.
+        return presenter.present(report)
+      end
+
+      files.each do |file|
+        code = File.read(file)
+        ast  = parser.parse(code, file)
+        vm   = RubyLint::VirtualMachine.new
+
+        vm.run(ast)
+
+        run_analysis(ast, vm, report)
+      end
+
+      return presenter.present(report)
+    end
+
+    private
+
+    ##
+    # @param [Parser::Diagnostic] diagnostic
+    # @param [RubyLint::Report] report
+    #
+    def report_diagnostic(diagnostic, report)
+      loc    = diagnostic.location
+      buffer = loc.source_buffer
+
+      report.error(diagnostic.message, loc.line, loc.column, buffer.name)
+    end
+
+    ##
+    # Runs all the registered analysis classes.
+    #
+    # @param [RubyLint::AST::Node] ast
+    # @param [RubyLint::VirtualMachine] vm
+    # @param [RubyLint::Report] report
+    #
+    def run_analysis(ast, vm, report)
+      configuration.analysis_classes.each do |const|
+        instance = const.new(:vm => vm, :report => report)
+        instance.iterate(ast)
+      end
+    end
+  end # Runner
+end # RubyLint

data/lib/ruby-lint/template/definition.erb

@@ -1,13 +1,16 @@
-##
-# Constant: <%= @constant_name %>
+# This file was automatically generated, any manual changes will be lost the
+# next time this file is generated.
+#
 # Created:  <%= Time.new %>
 # Platform: <%= RUBY_ENGINE %> <%= Rubinius::VERSION rescue RUBY_VERSION %>
-#
-RubyLint.global_scope.define_constant('<%= @constant_name %>') do |klass|
-  <%- if @superclass -%>
-  klass.inherits(RubyLint.global_constant('<%= @superclass %>'))
+
+<% @constants.each do |constant| %>
+RubyLint::VirtualMachine.global_scope.define_constant('<%= constant.name %>') do |klass|
+  <%- if constant.superclass -%>
+  klass.inherits(RubyLint::VirtualMachine.constant_proxy('<%= constant.superclass %>'))
   <%- end -%>
-  <%- @methods.each do |type, collection| -%>
+
+  <%- constant.methods.each do |type, collection| -%>
   <%- collection.each do |name, args| -%>
 
   <%- if args.empty? -%>
@@ -15,10 +18,11 @@ RubyLint.global_scope.define_constant('<%= @constant_name %>') do |klass|
   <%- else -%>
   klass.define_<%= type %>('<%= name %>') do |method|
     <%- args.each do |arg| -%>
-    method.define_<%= arg[:method] %>('<%= arg[:name] %>')
+    method.define_<%= arg[:type] %>('<%= arg[:name] %>')
     <%- end -%>
   end
   <%- end -%>
   <%- end -%>
   <%- end -%>
 end
+<% end %>

data/lib/ruby-lint/variable_predicates.rb

@@ -4,44 +4,20 @@ module RubyLint
   # types.
   #
   module VariablePredicates
-    ##
-    # Array containing the various variable types that are available in Ruby.
-    #
-    # @return [Array]
-    #
-    VARIABLE_TYPES = [
-      :local_variable,
-      :instance_variable,
-      :class_variable,
-      :global_variable
-    ]
-
     ##
     # Array containing various Ruby types that are considered to be scalar
     # values.
     #
     # @return [Array]
     #
-    SCALAR_TYPES = [:integer, :float, :string, :symbol]
+    SCALAR_TYPES = [:int, :float, :str, :sym]
 
     ##
     # Array containing various predicate methods to create.
     #
     # @return [Array]
     #
-    PREDICATE_METHODS = [
-      :aref,
-      :array,
-      :class,
-      :constant,
-      :constant_path,
-      :hash,
-      :identifier,
-      :keyword,
-      :method,
-      :method_definition,
-      :module
-    ]
+    PREDICATE_METHODS = [:array, :class, :const, :hash, :module, :self, :block]
 
     ##
     # Hash containing various Node types and the associated Ruby classes.
@@ -49,54 +25,36 @@ module RubyLint
     # @return [Hash]
     #
     RUBY_CLASSES = {
-      :string  => 'String',
-      :symbol  => 'Symbol',
-      :integer => 'Fixnum',
-      :float   => 'Float',
-      :regexp  => 'Regexp',
-      :array   => 'Array',
-      :hash    => 'Hash',
-      :range   => 'Range',
-      :lambda  => 'Proc'
+      :str    => 'String',
+      :sym    => 'Symbol',
+      :int    => 'Fixnum',
+      :float  => 'Float',
+      :regexp => 'Regexp',
+      :array  => 'Array',
+      :hash   => 'Hash',
+      :irange => 'Range',
+      :erange => 'Range',
+      :lambda => 'Proc'
     }
 
-    (VARIABLE_TYPES + PREDICATE_METHODS).each do |type|
+    PREDICATE_METHODS.each do |type|
       define_method("#{type}?") do
         return @type == type
       end
     end
 
-    ##
-    # Returns `true` if the current node is a variable node.
-    #
-    # @return [TrueClass|FalseClass]
-    #
-    def variable?
-      return VARIABLE_TYPES.include?(@type)
-    end
-
     ##
     # @return [TrueClass|FalseClass]
     #
     def constant?
-      return @type == :constant || @type == :module || @type == :class
-    end
-
-    ##
-    # Returns `true` if the object type is a Ruby scalar such as a string or
-    # integer.
-    #
-    def scalar?
-      return SCALAR_TYPES.include?(@type)
+      return type == :const || type == :module || type == :class
     end
 
     ##
-    # Indicates if the node is a collection of values.
-    #
     # @return [TrueClass|FalseClass]
     #
-    def collection?
-      return array? || hash?
+    def constant_path?
+      return constant? && children[0].constant?
     end
 
     ##

data/lib/ruby-lint/version.rb

@@ -1,3 +1,3 @@
 module RubyLint
-  VERSION = '0.0.3'
+  VERSION = '0.0.4'
 end # RubyLint

data/lib/ruby-lint/virtual_machine.rb

@@ -0,0 +1,1044 @@
+module RubyLint
+  ##
+  # {RubyLint::VirtualMachine} is the heart of ruby-lint. It takes a AST
+  # generated by {RubyLint::Parser}, iterates it and builds various definitions
+  # of methods, variables, etc.
+  #
+  # The virtual machine is a stack based virtual machine. Whenever certain
+  # expressions are processed their values are stored in a stack which is then
+  # later used for creating definitions (where applicable). For example, when
+  # creating a new class a definition for the class is pushed on to a stack.
+  # All code defined in this class is then stored in the definition at the end
+  # of the stack.
+  #
+  # After a certain AST has been processed the VM will enter a read-only state
+  # to prevent code from modifying it (either on purpose or by accident).
+  #
+  # ## Stacks
+  #
+  # The virtual machine uses two stacks:
+  #
+  # * `value_stack`
+  # * `variable_stack`
+  #
+  # The value stack is used for storing raw values (e.g. integers) while the
+  # variable stack is used for storing variable definitions (which in turn
+  # store their values inside themselves).
+  #
+  # ## Definitions
+  #
+  # Built definitions are stored in {RubyLint::VirtualMachine#definitions} as a
+  # single root definition called "root". This definition in turn contains
+  # everything defined in a block of code that was processed by the VM.
+  #
+  # ## Associations
+  #
+  # The VM also keeps track of various nodes and their corresponding
+  # definitions to make it easier to retrieve them later on. These are only
+  # nodes/definitions related to a new scope such as a class or method
+  # definition node.
+  #
+  # These associations are stored as a Hash in
+  # {RubyLint::VirtualMachine#associations} with the keys set to the nodes and
+  # the values to the corresponding definitions.
+  #
+  # @!attribute [r] associations
+  #  @return [Hash]
+  # @!attribute [r] definitions
+  #  @return [RubyLint::Definition::RubyObject]
+  # @!attribute [r] value_stack
+  #  @return [RubyLint::NestedStack]
+  # @!attribute [r] variable_stack
+  #  @return [RubyLint::NestedStack]
+  #
+  class VirtualMachine < Iterator
+    include Helper::ConstantPaths
+
+    attr_reader :associations, :definitions, :value_stack, :variable_stack
+
+    private :value_stack, :variable_stack
+
+    ##
+    # Hash containing the definition types to copy when including/extending a
+    # module.
+    #
+    # @return [Hash]
+    #
+    INCLUDE_CALLS = {
+      'include' => {
+        :const           => :const,
+        :instance_method => :instance_method
+      },
+      'extend' => {
+        :const           => :const,
+        :instance_method => :method
+      }
+    }
+
+    ##
+    # Hash containing variable assignment types and the corresponding variable
+    # reference types.
+    #
+    # @return [Hash]
+    #
+    ASSIGNMENT_TYPES = {
+      :lvasgn => :lvar,
+      :ivasgn => :ivar,
+      :cvasgn => :cvar,
+      :gvasgn => :gvar
+    }
+
+    ##
+    # Collection of primitive value types.
+    #
+    # @return [Array]
+    #
+    PRIMITIVES = [:int, :float, :str, :sym]
+
+    ##
+    # Remaps the names for `on_send` callback nodes in cases where the original
+    # name of a method could not be used. For example, `on_send_[]=` is
+    # considered to be invalid syntax and thus its mapped to
+    # `on_send_assign_member`.
+    #
+    # @return [Hash]
+    #
+    SEND_MAPPING = {'[]=' => 'assign_member'}
+
+    ##
+    # Array containing the various argument types of method definitions.
+    #
+    # @return [Array]
+    #
+    ARGUMENT_TYPES = [:arg, :optarg, :restarg, :blockarg]
+
+    ##
+    # The types of variables to export outside of a method definition.
+    #
+    # @return [Array]
+    #
+    EXPORT_VARIABLES = [:ivar, :cvar, :const]
+
+    ##
+    # Array containing the directories to use for looking up definition files.
+    #
+    # @return [Array]
+    #
+    LOAD_PATH = [File.expand_path('../definitions/core', __FILE__)]
+
+    ##
+    # The available method visibilities.
+    #
+    # @return [Array]
+    #
+    VISIBILITIES = [:public, :protected, :private].freeze
+
+    ##
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def self.global_scope
+      return @global_scope ||= Definition::RubyObject.new(
+        :name => 'global',
+        :type => :global
+      )
+    end
+
+    ##
+    # Looks up the given constant in the global scope. If it does not exist
+    # this method will try to load it from one of the existing definitions.
+    #
+    # @param [String] name
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def self.global_constant(name)
+      found = global_scope.lookup_constant_path(name)
+
+      if !found and !constant_loader.loaded?(name)
+        constant_loader.load_constant(name)
+
+        found = global_scope.lookup_constant_path(name)
+      end
+
+      return found
+    end
+
+    ##
+    # Creates a new proxy for a global constant.
+    #
+    # @param [String] name The name of the constant, can include an entire
+    #  constant path in the form of `Foo::Bar`.
+    # @return [RubyLint::Definition::ConstantProxy]
+    #
+    def self.constant_proxy(name)
+      return Definition::ConstantProxy.new(global_scope, name)
+    end
+
+    ##
+    # @return [RubyLint::ConstantLoader]
+    #
+    def self.constant_loader
+      return @constant_loader ||= ConstantLoader.new
+    end
+
+    ##
+    # Called after a new instance of the virtual machine has been created.
+    #
+    def after_initialize
+      @associations     = {}
+      @definitions      = initial_definitions
+      @scopes           = [@definitions]
+      @in_sclass        = false
+      @value_stack      = NestedStack.new
+      @variable_stack   = NestedStack.new
+      @ignored_nodes    = []
+      @visibility       = :public
+
+      reset_method_type
+    end
+
+    ##
+    # Processes the given AST. Constants are autoloaded first.
+    #
+    # @see #iterate
+    #
+    def run(ast)
+      self.class.constant_loader.iterate(ast)
+
+      iterate(ast)
+
+      freeze
+    end
+
+    ##
+    # Freezes the VM along with all the instance variables.
+    #
+    def freeze
+      super
+
+      instance_variables.each do |var|
+        instance_variable_get(var).freeze
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_root(node)
+      associate_node(node, current_scope)
+    end
+
+    ##
+    # Processes a regular variable assignment.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_assign(node)
+      reset_assignment_value
+      value_stack.add_stack
+    end
+
+    ##
+    # @see #on_assign
+    #
+    def after_assign(node)
+      type  = ASSIGNMENT_TYPES[node.type]
+      name  = node.children[0].to_s
+      value = value_stack.pop.first
+
+      if !value and assignment_value
+        value = assignment_value
+      end
+
+      assign_variable(type, name, value)
+    end
+
+    ASSIGNMENT_TYPES.each do |callback, type|
+      alias_method :"on_#{callback}", :on_assign
+      alias_method :"after_#{callback}", :after_assign
+    end
+
+    ##
+    # Processes the assignment of a constant.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_casgn(node)
+      # Don't push values for the receiver constant.
+      @ignored_nodes << node.children[0] if node.children[0]
+
+      reset_assignment_value
+      value_stack.add_stack
+    end
+
+    ##
+    # @see #on_casgn
+    #
+    def after_casgn(node)
+      values = value_stack.pop
+      scope  = current_scope
+
+      if node.children[0]
+        scope = resolve_constant_path(node.children[0])
+
+        return unless scope
+      end
+
+      variable = Definition::RubyObject.new(
+        :type          => :const,
+        :name          => node.children[1].to_s,
+        :value         => values.first,
+        :instance_type => :instance
+      )
+
+      add_variable(variable, scope)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_masgn(node)
+      add_stacks
+    end
+
+    ##
+    # Processes a mass variable assignment using the stacks created by
+    # {#on_masgn}.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_masgn(node)
+      variables = variable_stack.pop
+      values    = value_stack.pop.first
+      values    = values ? values.value : []
+
+      variables.each_with_index do |variable, index|
+        variable.value = values[index].value if values[index]
+
+        current_scope.add(variable.type, variable.name, variable)
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_or_asgn(node)
+      add_stacks
+    end
+
+    ##
+    # Processes an `or` assignment in the form of `variable ||= value`.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_or_asgn(node)
+      variable = variable_stack.pop.first
+      value    = value_stack.pop.first
+
+      if variable and value
+        conditional_assignment(variable, value, false)
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_and_asgn(node)
+      add_stacks
+    end
+
+    ##
+    # Processes an `and` assignment in the form of `variable &&= value`.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_and_asgn(node)
+      variable = variable_stack.pop.first
+      value    = value_stack.pop.first
+
+      conditional_assignment(variable, value)
+    end
+
+    # Creates the callback methods for various primitives such as integers.
+    PRIMITIVES.each do |type|
+      define_method("on_#{type}") do |node|
+        push_value(create_primitive(node))
+      end
+    end
+
+    # Creates the callback methods for various variable types such as local
+    # variables.
+    ASSIGNMENT_TYPES.each do |asgn_name, type|
+      define_method("on_#{type}") do |node|
+        increment_reference_amount(node)
+        push_variable_value(node)
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_const(node)
+      increment_reference_amount(node)
+      push_variable_value(node)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_array(node)
+      value_stack.add_stack
+    end
+
+    ##
+    # Builds an Array.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_array(node)
+      builder = DefinitionBuilder::RubyArray.new(
+        node,
+        current_scope,
+        :values => value_stack.pop
+      )
+
+      push_value(builder.build)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_hash(node)
+      value_stack.add_stack
+    end
+
+    ##
+    # Builds a Hash.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_hash(node)
+      builder = DefinitionBuilder::RubyHash.new(
+        node,
+        current_scope,
+        :values => value_stack.pop
+      )
+
+      push_value(builder.build)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_pair(node)
+      value_stack.add_stack
+    end
+
+    ##
+    # Processes a key/value pair.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_pair(node)
+      key, value = value_stack.pop
+
+      return unless key
+
+      member = Definition::RubyObject.new(
+        :name  => key.value.to_s,
+        :type  => :member,
+        :value => value
+      )
+
+      push_value(member)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_self(node)
+      push_value(current_scope.lookup(:keyword, 'self'))
+    end
+
+    ##
+    # Creates the definition for a module.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_module(node)
+      define_module(node, DefinitionBuilder::RubyModule)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_module(node)
+      pop_scope
+    end
+
+    ##
+    # Creates the definition for a class.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_class(node)
+      parent      = nil
+      parent_node = node.children[1]
+
+      if parent_node
+        parent = evaluate_node(parent_node)
+
+        if !parent or !parent.const?
+          raise TypeError, 'classes can only inherit another class'
+        end
+      end
+
+      define_module(node, DefinitionBuilder::RubyClass, :parent => parent)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_class(node)
+      pop_scope
+    end
+
+    ##
+    # Builds the definition for a block.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_block(node)
+      builder    = DefinitionBuilder::RubyBlock.new(node, current_scope)
+      definition = builder.build
+
+      associate_node(node, definition)
+
+      push_scope(definition)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_block(node)
+      pop_scope
+    end
+
+    ##
+    # Processes an sclass block. Sclass blocks look like the following:
+    #
+    #     class << self
+    #
+    #     end
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_sclass(node)
+      parent       = node.children[0]
+      definition   = evaluate_node(parent)
+      @method_type = parent.self? ? :method : definition.method_call_type
+
+      associate_node(node, definition)
+
+      push_scope(definition)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_sclass(node)
+      reset_method_type
+      pop_scope
+    end
+
+    ##
+    # Creates the definition for a method definition.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_def(node)
+      receiver = nil
+
+      if node.type == :defs
+        receiver = evaluate_node(node.children[0])
+      end
+
+      builder = DefinitionBuilder::RubyMethod.new(
+        node,
+        current_scope,
+        :type       => @method_type,
+        :receiver   => receiver,
+        :visibility => @visibility
+      )
+
+      definition = builder.build
+
+      builder.scope.add_definition(definition)
+
+      associate_node(node, definition)
+
+      push_scope(definition)
+    end
+
+    ##
+    # Exports various variables to the outer scope of the method definition.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_def(node)
+      previous = pop_scope
+      current  = current_scope
+
+      EXPORT_VARIABLES.each do |type|
+        current.copy(previous, type)
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_args(node)
+      variable_stack.add_stack
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_args(node)
+      variables = variable_stack.pop
+
+      variables.each do |variable|
+        current_scope.add_definition(variable)
+      end
+    end
+
+    # Creates callbacks for various argument types such as :arg and :optarg.
+    ARGUMENT_TYPES.each do |type|
+      define_method("on_#{type}") do |node|
+        value_stack.add_stack
+      end
+
+      define_method("after_#{type}") do |node|
+        value = value_stack.pop.first
+        name  = node.children[0].to_s
+        arg   = Definition::RubyObject.new(
+          :type          => type,
+          :name          => name,
+          :value         => value,
+          :instance_type => :instance
+        )
+
+        current_scope.add_definition(arg)
+
+        assign_variable(:lvar, name, value)
+      end
+    end
+
+    alias_method :on_defs, :on_def
+    alias_method :after_defs, :after_def
+
+    ##
+    # Processes a method call. If a certain method call has its own dedicated
+    # callback that one will be called as well.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_send(node)
+      name     = node.children[1].to_s
+      name     = SEND_MAPPING.fetch(name, name)
+      callback = "on_send_#{name}"
+
+      value_stack.add_stack
+
+      execute_callback(callback, node)
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_send(node)
+      receiver, name, _ = *node
+
+      name        = name.to_s
+      mapped_name = SEND_MAPPING.fetch(name, name)
+      callback    = "after_send_#{mapped_name}"
+
+      execute_callback(callback, node)
+
+      receiver_and_args = value_stack.pop
+
+      if receiver
+        context = receiver_and_args.shift
+      else
+        context = current_scope
+
+        # `parser` wraps (block) nodes around (send) calls which is a bit
+        # inconvenient
+        context = previous_scope if context.block?
+      end
+
+      # Associate the receiver node with the context so that it becomes
+      # easier to retrieve later on.
+      if receiver && context
+        associate_node(receiver, context)
+      end
+
+      if context and context.method_defined?(name)
+        retval = context.call_method(name)
+
+        push_value(retval)
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_send_include(node)
+      value_stack.add_stack
+    end
+
+    ##
+    # Processes a `include` method call.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_send_include(node)
+      copy_types = INCLUDE_CALLS[node.children[1].to_s]
+      scope      = current_scope
+      arguments  = value_stack.pop
+
+      arguments.each do |source|
+        copy_types.each do |from, to|
+          source.list(from).each do |definition|
+            scope.add(to, definition.name, definition)
+          end
+        end
+      end
+    end
+
+    alias_method :on_send_extend, :on_send_include
+    alias_method :after_send_extend, :after_send_include
+
+    VISIBILITIES.each do |vis|
+      define_method("on_send_#{vis}") do |node|
+        @visibility = vis
+      end
+    end
+
+    ##
+    # @param [RubyLint::AST::Node] node
+    #
+    def on_send_assign_member(node)
+      value_stack.add_stack
+    end
+
+    ##
+    # Processes the assignment of an object member (array index or hash key).
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def after_send_assign_member(node)
+      array, *indexes, values = value_stack.pop
+      index_values            = []
+
+      if values and values.array?
+        index_values = values.list(:member).map(&:value)
+      elsif values
+        index_values = [values]
+      end
+
+      indexes.each do |index|
+        member = Definition::RubyObject.new(
+          :name  => index.value.to_s,
+          :type  => :member,
+          :value => index_values.shift
+        )
+
+        array.add_definition(member)
+      end
+    end
+
+    private
+
+    ##
+    # Returns the initial set of definitions to use.
+    #
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def initial_definitions
+      definitions = Definition::RubyObject.new(
+        :name          => 'root',
+        :type          => :root,
+        :parents       => [RubyLint::VirtualMachine.global_constant('Kernel')],
+        :instance_type => :instance
+      )
+
+      definitions.merge(RubyLint::VirtualMachine.global_scope)
+
+      definitions.add(:keyword, 'self', definitions)
+
+      return definitions
+    end
+
+    ##
+    # Defines a new module/class based on the supplied node.
+    #
+    # @param [RubyLint::Node] node
+    # @param [Class] definition_builder
+    # @param [Hash] options
+    #
+    def define_module(node, definition_builder, options = {})
+      builder    = definition_builder.new(node, current_scope, options)
+      definition = builder.build
+      scope      = builder.scope
+      existing   = scope.lookup(definition.type, definition.name)
+
+      if existing
+        definition = existing
+
+        inherit_definition(definition, current_scope)
+      else
+        scope.add_definition(definition)
+      end
+
+      associate_node(node, definition)
+
+      push_scope(definition)
+    end
+
+    ##
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def current_scope
+      return @scopes.last
+    end
+
+    ##
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def previous_scope
+      return @scopes[-2]
+    end
+
+    ##
+    # Associates the given node and defintion with each other.
+    #
+    # @param [RubyLint::AST::Node] node
+    # @param [RubyLint::Definition::RubyObject] definition
+    #
+    def associate_node(node, definition)
+      @associations[node] = definition
+    end
+
+    ##
+    # Pushes a new scope on the list of available scopes.
+    #
+    # @param [RubyLint::Definition::RubyObject] definition
+    #
+    def push_scope(definition)
+      unless definition.is_a?(RubyLint::Definition::RubyObject)
+        raise(
+          ArgumentError,
+          "Expected a RubyLint::Definition::RubyObject but got " \
+            "#{definition.class} instead"
+        )
+      end
+
+      @scopes << definition
+    end
+
+    ##
+    # Removes a scope from the list.
+    #
+    def pop_scope
+      raise 'Trying to pop an empty scope' if @scopes.empty?
+
+      @scopes.pop
+    end
+
+    ##
+    # Pushes the value of a variable onto the value stack.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def push_variable_value(node)
+      return if value_stack.empty? || @ignored_nodes.include?(node)
+
+      definition = definition_for_node(node)
+
+      if definition
+        value = definition.value ? definition.value : definition
+
+        push_value(value)
+      end
+    end
+
+    ##
+    # Pushes a definition (of a value) onto the value stack.
+    #
+    # @param [RubyLint::Definition::RubyObject] definition
+    #
+    def push_value(definition)
+      value_stack.push(definition) if definition && !value_stack.empty?
+    end
+
+    ##
+    # Adds a new variable and value stack.
+    #
+    def add_stacks
+      variable_stack.add_stack
+      value_stack.add_stack
+    end
+
+    ##
+    # Assigns a basic variable.
+    #
+    # @param [Symbol] type The type of variable.
+    # @param [String] name The name of the variable
+    # @param [RubyLint::Definition::RubyObject] value
+    #
+    def assign_variable(type, name, value)
+      variable = Definition::RubyObject.new(
+        :type          => type,
+        :name          => name,
+        :value         => value,
+        :instance_type => :instance
+      )
+
+      buffer_assignment_value(variable.value)
+
+      add_variable(variable)
+    end
+
+    ##
+    # Adds a variable to the current scope of, if a the variable stack is not
+    # empty, add it to the stack instead.
+    #
+    # @param [RubyLint::Definition::RubyObject] variable
+    # @param [RubyLint::Definition::RubyObject] scope
+    #
+    def add_variable(variable, scope = current_scope)
+      if variable_stack.empty?
+        scope.add(variable.type, variable.name, variable)
+      else
+        variable_stack.push(variable)
+      end
+    end
+
+    ##
+    # Creates a primitive value such as an integer.
+    #
+    # @param [RubyLint::AST::Node] node
+    # @param [Hash] options
+    #
+    def create_primitive(node, options = {})
+      builder = DefinitionBuilder::Primitive.new(node, current_scope, options)
+
+      return builder.build
+    end
+
+    ##
+    # Resets the variable used for storing the last assignment value.
+    #
+    def reset_assignment_value
+      @assignment_value = nil
+    end
+
+    ##
+    # Returns the value of the last assignment.
+    #
+    def assignment_value
+      return @assignment_value
+    end
+
+    ##
+    # Stores the value as the last assigned value.
+    #
+    # @param [RubyLint::Definition::RubyObject] value
+    #
+    def buffer_assignment_value(value)
+      @assignment_value = value
+    end
+
+    ##
+    # Resets the method assignment/call type.
+    #
+    def reset_method_type
+      @method_type = :instance_method
+    end
+
+    ##
+    # Performs a conditional assignment.
+    #
+    # @param [RubyLint::Definition::RubyObject] variable
+    # @param [RubyLint::Definition::RubyValue] value
+    # @param [TrueClass|FalseClass] bool When set to `true` existing variables
+    #  will be overwritten.
+    #
+    def conditional_assignment(variable, value, bool = true)
+      if current_scope.has_definition?(variable.type, variable.name) == bool
+        variable.value = value
+
+        current_scope.add_definition(variable)
+
+        buffer_assignment_value(variable.value)
+      end
+    end
+
+    ##
+    # Returns the definition for the given node.
+    #
+    # @param [RubyLint::AST::Node] node
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def definition_for_node(node)
+      if node.const? and node.children[0]
+        definition = resolve_constant_path(node)
+      else
+        definition = current_scope.lookup(node.type, node.name)
+      end
+
+      return definition
+    end
+
+    ##
+    # Increments the reference amount of a node's definition unless the
+    # definition is frozen.
+    #
+    # @param [RubyLint::AST::Node] node
+    #
+    def increment_reference_amount(node)
+      definition = definition_for_node(node)
+
+      if definition and !definition.frozen?
+        definition.reference_amount += 1
+      end
+    end
+
+    ##
+    # Evaluates and returns the value of the given node.
+    #
+    # @param [RubyLint::AST::Node] node
+    # @return [RubyLint::Definition::RubyObject]
+    #
+    def evaluate_node(node)
+      value_stack.add_stack
+
+      iterate(node)
+
+      return value_stack.pop.first
+    end
+
+    ##
+    # Includes the definition `inherit` in the list of parent definitions of
+    # `definition`.
+    #
+    # @param [RubyLint::Definition::RubyObject] definition
+    # @param [RubyLint::Definition::RubyObject] inherit
+    #
+    def inherit_definition(definition, inherit)
+      unless definition.parents.include?(inherit)
+        definition.parents << inherit
+      end
+    end
+  end # VirtualMachine
+end # RubyLint