RubyGems - carbon-compiler - Versions diffs - 0.2.0 - Mend

carbon-compiler 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (122) hide show

checksums.yaml +7 -0
data/.gitattributes +17 -0
data/.gitignore +10 -0
data/.rspec +2 -0
data/.rubocop.yml +39 -0
data/.travis.yml +5 -0
data/CODE_OF_CONDUCT.md +49 -0
data/Gemfile +11 -0
data/LICENSE.txt +21 -0
data/README.md +41 -0
data/Rakefile +9 -0
data/Vagrantfile +84 -0
data/carbon-compiler.gemspec +28 -0
data/lib/carbon/compiler.rb +20 -0
data/lib/carbon/compiler/directive.rb +48 -0
data/lib/carbon/compiler/directive/import.rb +17 -0
data/lib/carbon/compiler/errors.rb +7 -0
data/lib/carbon/compiler/location.rb +136 -0
data/lib/carbon/compiler/metanostic.rb +123 -0
data/lib/carbon/compiler/metanostic/defaults.rb +41 -0
data/lib/carbon/compiler/metanostic/defaults.yml +138 -0
data/lib/carbon/compiler/metanostic/diagnostic.rb +112 -0
data/lib/carbon/compiler/metanostic/list.rb +109 -0
data/lib/carbon/compiler/metanostic/mode.rb +162 -0
data/lib/carbon/compiler/metanostic/state.rb +174 -0
data/lib/carbon/compiler/metanostic/template.erb +11 -0
data/lib/carbon/compiler/node.rb +18 -0
data/lib/carbon/compiler/node/base.rb +213 -0
data/lib/carbon/compiler/node/definition.rb +19 -0
data/lib/carbon/compiler/node/definition/class.rb +24 -0
data/lib/carbon/compiler/node/definition/class/element.rb +18 -0
data/lib/carbon/compiler/node/definition/directive.rb +22 -0
data/lib/carbon/compiler/node/definition/directive/function.rb +18 -0
data/lib/carbon/compiler/node/definition/enum.rb +20 -0
data/lib/carbon/compiler/node/definition/enum/element.rb +17 -0
data/lib/carbon/compiler/node/definition/function.rb +44 -0
data/lib/carbon/compiler/node/definition/function/body.rb +17 -0
data/lib/carbon/compiler/node/definition/function/name.rb +18 -0
data/lib/carbon/compiler/node/definition/function/parameter.rb +18 -0
data/lib/carbon/compiler/node/definition/function/parameters.rb +17 -0
data/lib/carbon/compiler/node/definition/module.rb +23 -0
data/lib/carbon/compiler/node/definition/struct.rb +24 -0
data/lib/carbon/compiler/node/definition/struct/element.rb +18 -0
data/lib/carbon/compiler/node/etype.rb +66 -0
data/lib/carbon/compiler/node/etype/option.rb +25 -0
data/lib/carbon/compiler/node/etype/star.rb +13 -0
data/lib/carbon/compiler/node/expression.rb +18 -0
data/lib/carbon/compiler/node/expression/assignment.rb +22 -0
data/lib/carbon/compiler/node/expression/call.rb +22 -0
data/lib/carbon/compiler/node/expression/call/access.rb +24 -0
data/lib/carbon/compiler/node/expression/call/attribute.rb +23 -0
data/lib/carbon/compiler/node/expression/call/enum.rb +25 -0
data/lib/carbon/compiler/node/expression/call/module.rb +24 -0
data/lib/carbon/compiler/node/expression/call/parameters.rb +17 -0
data/lib/carbon/compiler/node/expression/call/self.rb +17 -0
data/lib/carbon/compiler/node/expression/call/unified.rb +27 -0
data/lib/carbon/compiler/node/expression/literal.rb +83 -0
data/lib/carbon/compiler/node/expression/operation.rb +20 -0
data/lib/carbon/compiler/node/expression/operation/and.rb +20 -0
data/lib/carbon/compiler/node/expression/operation/neq.rb +21 -0
data/lib/carbon/compiler/node/expression/operation/normal.rb +20 -0
data/lib/carbon/compiler/node/expression/operation/or.rb +20 -0
data/lib/carbon/compiler/node/expression/unit.rb +16 -0
data/lib/carbon/compiler/node/name.rb +27 -0
data/lib/carbon/compiler/node/root.rb +23 -0
data/lib/carbon/compiler/node/statement.rb +24 -0
data/lib/carbon/compiler/node/statement/catch.rb +20 -0
data/lib/carbon/compiler/node/statement/condition.rb +14 -0
data/lib/carbon/compiler/node/statement/else.rb +17 -0
data/lib/carbon/compiler/node/statement/elsif.rb +18 -0
data/lib/carbon/compiler/node/statement/finally.rb +17 -0
data/lib/carbon/compiler/node/statement/for.rb +18 -0
data/lib/carbon/compiler/node/statement/if.rb +18 -0
data/lib/carbon/compiler/node/statement/let.rb +18 -0
data/lib/carbon/compiler/node/statement/match.rb +14 -0
data/lib/carbon/compiler/node/statement/return.rb +17 -0
data/lib/carbon/compiler/node/statement/try.rb +19 -0
data/lib/carbon/compiler/node/statement/while.rb +19 -0
data/lib/carbon/compiler/parser.rb +63 -0
data/lib/carbon/compiler/parser/common.rb +79 -0
data/lib/carbon/compiler/parser/expressions.rb +39 -0
data/lib/carbon/compiler/parser/expressions/precedence.rb +134 -0
data/lib/carbon/compiler/parser/expressions/primary.rb +120 -0
data/lib/carbon/compiler/parser/firsts.rb +74 -0
data/lib/carbon/compiler/parser/helpers.rb +61 -0
data/lib/carbon/compiler/parser/root.rb +57 -0
data/lib/carbon/compiler/parser/root/class.rb +34 -0
data/lib/carbon/compiler/parser/root/directive.rb +87 -0
data/lib/carbon/compiler/parser/root/enum.rb +45 -0
data/lib/carbon/compiler/parser/root/function.rb +90 -0
data/lib/carbon/compiler/parser/root/struct.rb +34 -0
data/lib/carbon/compiler/parser/root/trait.rb +44 -0
data/lib/carbon/compiler/parser/statements.rb +86 -0
data/lib/carbon/compiler/parser/statements/if.rb +50 -0
data/lib/carbon/compiler/parser/statements/match.rb +39 -0
data/lib/carbon/compiler/parser/statements/try.rb +49 -0
data/lib/carbon/compiler/project.rb +37 -0
data/lib/carbon/compiler/project/file.rb +64 -0
data/lib/carbon/compiler/scanner.rb +82 -0
data/lib/carbon/compiler/scanner/main.rb +76 -0
data/lib/carbon/compiler/scanner/token.rb +58 -0
data/lib/carbon/compiler/version.rb +8 -0
data/lib/carbon/compiler/visitor.rb +13 -0
data/lib/carbon/compiler/visitor/base.rb +52 -0
data/lib/carbon/compiler/visitor/generation.rb +45 -0
data/lib/carbon/compiler/visitor/generation/asserts.rb +30 -0
data/lib/carbon/compiler/visitor/generation/class.rb +93 -0
data/lib/carbon/compiler/visitor/generation/context.rb +75 -0
data/lib/carbon/compiler/visitor/generation/expressions.rb +82 -0
data/lib/carbon/compiler/visitor/generation/expressions/assignment.rb +105 -0
data/lib/carbon/compiler/visitor/generation/expressions/calls.rb +89 -0
data/lib/carbon/compiler/visitor/generation/function.rb +68 -0
data/lib/carbon/compiler/visitor/generation/statements.rb +131 -0
data/lib/carbon/compiler/visitor/generation/struct.rb +115 -0
data/lib/carbon/compiler/visitor/preparation.rb +86 -0
data/lib/carbon/compiler/visitor/preparation/expressions.rb +26 -0
data/lib/carbon/compiler/visitor/preparation/function.rb +55 -0
data/lib/carbon/compiler/visitor/preparation/statements.rb +73 -0
data/lib/carbon/compiler/visitor/preparation/struct.rb +37 -0
data/program.ca +16 -0
data/test.rb +21 -0
metadata +234 -0

data/lib/carbon/compiler/node/name.rb ADDED

@@ -0,0 +1,27 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      # The root node.  This is the topmost level node, and includes
+      # all declarations, definitions, and directives.
+      class Name < Base
+        # The value of the name.  This is a string representation of the
+        # name.
+        #
+        # @return [::String]
+        def value
+          @children[0].value
+        end
+        # Fancy inspection.
+        #
+        # @return [::String]
+        def inspect
+          "#(Name #{value})"
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/root.rb ADDED

@@ -0,0 +1,23 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      # The root node.  This is the topmost level node, and includes
+      # all declarations, definitions, and directives.
+      class Root < Base
+        # The "name" of the root.
+        #
+        # @return [Carbon::Concrete::Type]
+        def name
+          @children.select(&:identity?).last[0]
+        end
+        def inspect
+          "#[Module #{name.inspect}]"
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement.rb ADDED

@@ -0,0 +1,24 @@
+# encoding: utf-8
+# frozen_string_literal: true
+require "carbon/compiler/node/statement/catch"
+require "carbon/compiler/node/statement/else"
+require "carbon/compiler/node/statement/elsif"
+require "carbon/compiler/node/statement/finally"
+require "carbon/compiler/node/statement/for"
+require "carbon/compiler/node/statement/if"
+require "carbon/compiler/node/statement/let"
+require "carbon/compiler/node/statement/match"
+require "carbon/compiler/node/statement/return"
+require "carbon/compiler/node/statement/try"
+require "carbon/compiler/node/statement/while"
+module Carbon
+  module Compiler
+    module Node
+      # A statement.
+      module Statement
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/catch.rb ADDED

@@ -0,0 +1,20 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A "catch" statement.  This is used in try/catch/finally for
+        # exception handling.
+        # This has four children: the name of the variable to localize,
+        # the "klass" (type) of the variable, the body of the catch statement,
+        # and the following catch/finally statement.  This takes the form of
+        # `catch <Name>:<Type> <Body> <Follow>`.
+        class Catch < Base
+          attributes name: 0, type: 1, body: 2, follow: 3
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/condition.rb ADDED

@@ -0,0 +1,14 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        class Condition
+          attributes conditions: 0
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/else.rb ADDED

@@ -0,0 +1,17 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # An else statement.  This is used in the if/elsif/else construct
+        # to handle control flow.  This has one child: the body of the else
+        # statement.  This has the form of `else <Body>`.
+        class Else < Base
+          attribute body: 0
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/elsif.rb ADDED

@@ -0,0 +1,18 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # An elsif statement.  This is used in the if/elsif/else construct
+        # for control flow.  This has three children: the condition for
+        # execution, the body for execution, and the following elsif/else
+        # statement.  This has the form `elsif(<Condition>) <Body> <Follow>`.
+        class ElsIf < Base
+          attributes condition: 0, body: 1, follow: 2
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/finally.rb ADDED

@@ -0,0 +1,17 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A Finally statement.  This is used in try/catch/finally constructs
+        # for exception handling.  This has one child: the body to execute.
+        # This takes the form of `finally <Body>`.
+        class Finally < Base
+          attributes body: 0
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/for.rb ADDED

@@ -0,0 +1,18 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A for loop.  This is used to construct a loop with the given
+        # conditions.  This has four children: the initial statement, the
+        # condition, the increment statement, and the body.  This takes the
+        # form of `for(<Initial>; <Condition>; <Increment>) <Body>`.
+        class For < Base
+          attributes initial: 0, condition: 1, increment: 2, body: 3
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/if.rb ADDED

@@ -0,0 +1,18 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # An If statement.  This is used in the if/elsif/else construct for
+        # control flow.  This has three children: the children, the body,
+        # and the following elsif/else statement.  This takes the form
+        # `if(<Condition>) <Body> <Follow>`.
+        class If < Base
+          attributes condition: 0, body: 1, follow: 2
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/let.rb ADDED

@@ -0,0 +1,18 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A let statement.  This introduces a local variable with a given
+        # "klass" (type).  This has three children: the name of the local
+        # variable, the "klass" (type) of the local variable, and the given
+        # value of the new variable.
+        class Let < Base
+          attributes name: 0, type: 1, value: 2
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/match.rb ADDED

@@ -0,0 +1,14 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # TODO.
+        class Match < Base
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/return.rb ADDED

@@ -0,0 +1,17 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A return statement.  This is used for control flow to return from the
+        # current function.  This has one child: the value to return.  If no
+        # value is given, it returns a void type.
+        class Return < Base
+          attributes value: 0
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/try.rb ADDED

@@ -0,0 +1,19 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A "try" statement.  This is used in try/catch/finally for
+        # exception handling.
+        # This has two children: the body to attempt to execute, and the
+        # following catch/finally block.  This takes the form of
+        # `try <Body> <Follow>`.
+        class Try < Base
+          attributes body: 0, follow: 1
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/node/statement/while.rb ADDED

@@ -0,0 +1,19 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    module Node
+      module Statement
+        # A while loop.  This creates a loop that executes while a given
+        # condition is true.
+        # This has two children: the condition to check for truthiness, and
+        # the body to execute.  This takes the form of
+        # `while(<Condition>) <Body>`.
+        class While < Base
+          attributes condition: 0, body: 1
+        end
+      end
+    end
+  end
+end

data/lib/carbon/compiler/parser.rb ADDED

@@ -0,0 +1,63 @@
+# encoding: utf-8
+# frozen_string_literal: true
+require "carbon/compiler/parser/firsts"
+require "carbon/compiler/parser/helpers"
+require "carbon/compiler/parser/common"
+require "carbon/compiler/parser/root"
+require "carbon/compiler/parser/statements"
+require "carbon/compiler/parser/expressions"
+module Carbon
+  module Compiler
+    # The parser.  This takes a series of tokens, generated by the {Scanner},
+    # and derives structure from these tokens.  This makes the fundamental
+    # bases of creating a concrete representation of what is in the file.
+    class Parser
+      include Parser::Helpers
+      include Parser::Common
+      include Parser::Root
+      include Parser::Statements
+      include Parser::Expressions
+      # The scanner that acts as the source of the tokens.
+      #
+      # @return [Scanner]
+      attr_reader :scanner
+      # Initialize the parser.  It takes a scanner, and the project that
+      # the parser is a part of.
+      #
+      # @param scanner [Scanner]
+      # @param project [Project]
+      def initialize(scanner)
+        @scanner = scanner
+        @file = @scanner.file
+        @enum = @scanner.each
+      end
+      # Pretty inspect.
+      #
+      # @return [String]
+      def inspect
+        "#<#{self.class} #{@scanner.file.name}>"
+      end
+      # Parses the input.  This is cached to prevent multiple runs.
+      #
+      # @return [Parser::Node]
+      def parse
+        @_root ||= parse_root
+      end
+      alias_method :root, :parse
+      # Destroys the cache for {#parse}, allowing the parsing to occur again.
+      #
+      # @return [void]
+      def clear!
+        @enum.reset
+        @_root = nil
+      end
+    end
+  end
+end

data/lib/carbon/compiler/parser/common.rb ADDED

@@ -0,0 +1,79 @@
+# encoding: utf-8
+# frozen_string_literal: true
+module Carbon
+  module Compiler
+    class Parser
+      # Parses common items, such as module names and types.
+      module Common
+      protected
+        Parser.first(:name, [:IDENTIFIER, :module, :struct, :enum, :trait,
+          :def, :self, :_])
+        def parse_name
+          error(first(:name)) unless first(:name).include?(peek.type)
+          Node::Name.new([shift])
+        end
+        # TODO: pointer
+        Parser.first(:type, [:MNAME, :"("])
+        def parse_type
+          type =
+            case peek.type
+            when :MNAME then parse_module_name
+            when :"("   then parse_unit_type
+            else error first(:type)
+            end
+        end
+        def parse_unit_type
+          expect :"("
+          children = []
+          until peek? :")"
+            children << parse_type
+            break unless peek? :","
+            expect :","
+          end
+          expect :")"
+          Node::Type::Unit.new(children)
+        end
+        def parse_module_name
+          base = parse_module_name_part
+          children = [base]
+          while peek? :"::"
+            expect :"::"
+            children << parse_module_name_part
+          end
+          location = children.map(&:location).inject(:|)
+          Concrete::Type.new(Concrete::Type::Name.new(children, nil),
+            location: location)
+        end
+        def parse_module_name_part
+          root = expect :MNAME
+          generics = peek?(:<) ? parse_module_generics : []
+          location = [root].concat(generics).map(&:location).inject(:|)
+          Concrete::Type::Part.new(root.value, generics, location: location)
+        end
+        def parse_module_generics
+          children = []
+          expect :<
+          until peek? :>
+            name = parse_module_name
+            children << Concrete::Type::Generic.new(name, [],
+              location: name.location)
+            break unless peek? :","
+            expect :","
+          end
+          expect :>
+          children
+        end
+      end
+    end
+  end
+end