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

carbon-compiler 0.2.0

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