loxxy 0.0.22 → 0.0.23

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: acd7b65477866aee4f022731a70f67cad63f482eae6ae5e3f5a35cd56c43f9b0
-  data.tar.gz: 4980c1dafbd83c1ed0a41cf5da09d0decba43e912722c5052fc3e4f63626d73a
+  metadata.gz: aeb2808649debaf9bdbca836e459b0f7991442c90aad6bb4b174374fb66234df
+  data.tar.gz: 78b1b43091b11b5bde2b2444dd785e3c464252af044167acade6f04b830f95fa
 SHA512:
-  metadata.gz: e8853388df750173e1a9e818e3aac92f33f98ff75cf5c575d0b583758c59938810a593823a73a6914a28413ba697d53147d7317b744484d43b4026c76a182bc4
-  data.tar.gz: 3426ce17792625f908f2a31c879b0a312cbefbe18c82848f769d78bcac550d3700349fc1408bbeddb7738b47735ed583fd89355636c8c377a7cde3baf2f5071f
+  metadata.gz: 24113720fa7bcd7d711cf03668c86af5a10de3b06dcf9b02d6a5c3550d86e0a19d5374b0d0de6c641afd2a5a9de7c7baccee9da96f97fece6aaf37864d91a0d3
+  data.tar.gz: 0103b262f03272b23f297a57b7d0735c513f6ef0b82e9a2f13e20068845e0cb6ac1952c46a404247b23dde37e75c3fbc48b45f44c1b07470078e4554d5ed54c5

data/CHANGELOG.md

@@ -1,7 +1,17 @@
+## [0.0.23] - 2021-01-20
+- Fix for variables without explicit initialization.
+
+### Added
+- Method `Ast::ASTVisitor#visit_builtin` for visiting `Datatype::BuiltinDatatype` value.
+- Method `BackEnd::Engine#before_visit_builtin` push the data value onto the stack.
+
+### Fixed
+- Method `Ast::LoxVarStmt#initialize`: in case no explicit value provided then use `Datatype::Nil.instance`instead of Ruby `nil`
+
 ## [0.0.22] - 2021-01-17
 - The interpreter can retrieve the value of a variable.
 
-## Added
+### Added
 - Method `Ast::ASTBuilder#declaration_plus_more` and `Ast::ASTBuilder#declaration_plus_end` to allow multiple expressions/statements
 - Method `Ast::ASTBuilder#reduce_var_expression` creates an `Ast::LoxVariableExpr` node
 - Method `Ast::ASTVisitor#visit_var_expr` for visiting `Ast::LoxVariableExpr` nodes
@@ -9,14 +19,14 @@
 - Class `Ast::LoxVarExpr` a node that represents a variable occurrence in an expression
 - Method `Engine::after_variable_expr`: retrieve the value of variable with given name
 
-## Changed
+### Changed
 - Method `Ast::ASTBuilder#reduce_lox_program` to support multiple statements/declarations
 - File `README.md` updated.
 
 ## [0.0.21] - 2021-01-16
 - The interpreter supports the declaration global variables.
 
-## Added
+### Added
 - Class `BackEnd::Entry`, mixin module for objects put in the symbol table
 - Class `BackEnd::Environment` that keeps track of variables in a given context.
 - Class `BackEnd::SymbolTable` that keeps track of environments.
@@ -29,7 +39,7 @@
 ## [0.0.20] - 2021-01-15
 - The interpreter supports the `if` ... `else` statement.
 
-## Added
+### Added
 - Class `Ast::LoxItStmt`, AST node specific for `if` `else` statements
 - Method `Ast::ASTBuilder#reduce_if_stmt` as semantic action for if ... else
 - Method `Ast::ASTVisitor#visit_if_stmt` for visiting `LoxIfStmt` nodes
@@ -38,20 +48,20 @@
 ## [0.0.19] - 2021-01-14
 - The interpreter supports expressions between parentheses (grouping).
 
-## Added
+### Added
 - Class `Ast::LoxLogicalExpr`
 - Method `Ast::ASTBuilder#reduce_grouping_expr` as semantic action for grouping expression
 - Method `Ast::ASTVisitor#visit_grouping_expr` for visiting grouping expressions
 - Method `Engine::after_grouping_expr`for the evaluation of grouping expressions
 
-## Changed
+### Changed
 - File `grammar.rb` rules for if ... else were given names in order to activate semantic actions.
 - File `README.md` updated with little `if ... else` documentation.
 
 ## [0.0.18] - 2021-01-13
 - The interpreter can evaluate `and`, `or`expressions.
 
-## Added
+### Added
 - Class `Ast::LoxLogicalExpr`
 - Method `Ast::ASTBuilder#reduce_logical_expr` for the semantic action require for `and`, `or`
 - Method `Ast::ASTVisitor#visit_logical_expr` for visiting logical expressions
@@ -61,7 +71,7 @@
 - The interpreter can evaluate all arithmetic and comparison operations.
 - It implements `==`, `!=` and the unary operations `!`, `-`
 
-## Added
+### Added
 - Class `Ast::LoxUnaryExpr`
 - Method `Ast::ASTBuilder#reduce_unary_expr` to support the evaluation of `!` and ``-@`
 - Method `Ast::ASTVisitor#visit_unnary_expr` for visiting unary expressions
@@ -69,14 +79,14 @@
 - In class `Datatype::BuiltinDatatype` the methods `falsey?`, `truthy?`, `!`, `!=`
 - In class `Datatype::Number`the methods `<`, `<=`, ´>´, `>=` and `-@`
 
-## Changed
+### Changed
 - File `README.md` updated.
 
 ## [0.0.16] - 2021-01-11
 - The interpreter can evaluate product and division of two numbers.
 - It also implements equality `==` and inequality `!=` operators
 
-## Added
+### Added
 - Method `Datatype::False#==` for equality testing
 - Method `Datatype::False#!=` for inequality testing
 - Method `Datatype::LXString#==` for equality testing
@@ -90,17 +100,17 @@
 - Method `Datatype::True#==` for equality testing
 - Method `Datatype::True#!=` for inequality testing
 
-## Changed
+### Changed
 - Method `BackEnd::Engine#after_binary_expr` to allow `*`, `/`, `==`, `!=` operators
 - File `README.md` updated for the newly implemented operators
 
 ## [0.0.15] - 2021-01-11
 - The interpreter can evaluate substraction between two numbers.
 
-## Added
+### Added
 - Method `Datatype::Number#-` implmenting the subtraction operation
 
-## Changed
+### Changed
 - File `README.md` minor editorial changes.
 - File `lx_string_spec.rb` Added test for string concatentation
 - File `number_spec.rb` Added tests for addition and subtraction operations
@@ -109,7 +119,7 @@
 ## [0.0.14] - 2021-01-10
 - The interpreter can evaluate addition of numbers and string concatenation
 
-## Added
+### Added
 - Method `Ast::ASTVisitor#visit_binary_expr` for visiting binary expressions
 - Method `Ast::LoxBinaryExpr#accept` for visitor pattern
 - Method `BackEnd::Engine#after_binary_expr` to trigger execution of binary operator
@@ -117,79 +127,79 @@
 - Method `Datatype::LXString#+` implementation of the string concatenation
 - Method `Datatype::Number#+` implementation of the addition of numbers
 
-## Changed
+### Changed
 - File `interpreter_spec.rb` Added tests for addition operation and string concatenation
 
 
 ## [0.0.13] - 2021-01-10
 - The interpreter can evaluate directly simple literals.
 
-## Changed
+### Changed
 - Class `AST::ASTBuilder` added `reduce_exprStmt` to support the evaluation of literals.
 - File `README.md` added one more example.
 - File `parser_spec.rb` Updated the tests to reflect the change in the AST.
 - File `interpreter_spec.rb` Added a test for literal expression.
 
-## Fixed
+### Fixed
 - File `loxxy.rb`: shorthand method `lox_true` referenced the ... false object (oops).
 
 ## [0.0.12] - 2021-01-09
 - Initial interpreter capable of evaluating a tiny subset of Lox language.
 
-## Added
+### Added
 - Class `AST::LoxNoopExpr`
 - Class `AST::LoxPrintStmt`
 - Class `BackEnd::Engine` implementation of the print statement logic
 - Class `Interpreter`
 
-## Changed
+### Changed
 - Class `Ast::ASTVisitor` Added visit method
 - File `README.md` added Hello world example.
 
 ## [0.0.11] - 2021-01-08
 - AST node generation for logical expression (and, or).
 
-## Changed
+### Changed
 - Class `AST::ASTBuilder` added `reduce_` methods for logical operations.
 - File `grammar.rb`added name to logical expression rules
 - File `README.md` added gem version and license badges, expanded roadmap section.
 
-## Fixed
+### Fixed
 - File `grammar.rb`: a rule had incomplete non-terminal name `conjunct_` in its lhs.
 
 
 ## [0.0.10] - 2021-01-08
 - AST node generation for equality expression.
 
-## Changed
+### Changed
 - Class `AST::ASTBuilder` refactoring and added `reduce_` methods for equality operations.
 - File `grammar.rb`added name to equality rules
 - File `README.md` added gem version and license badges, expanded roadmap section.
 
-## Fixed
+### Fixed
 - File `grammar.rb`: a rule had still the discarded non-terminal `equalityTest_star` in its lhs.
 
 ## [0.0.9] - 2021-01-07
 - AST node generation for comparison expression.
 
-## Changed
+### Changed
 - Class `AST::ASTBuilder` added `reduce_` methods for comparison operations.
 - File `grammar.rb`added name to comparison rules
 
 ## [0.0.8] - 2021-01-07
 - AST node generation for arithmetic operations of number literals.
 
-## Changed
+### Changed
 - Class `AST::ASTBuilder` added `reduce_` methods for arithmetic operations.
 - File `grammar.rb`added name to arithmetic rules
 
-## Fixed
+### Fixed
 - File `grammar.rb`: second rule for `factor` had a missing member in rhs.
 
 ## [0.0.7] - 2021-01-06
 - Lox grammar reworked, initial AST classes created.
 
-## Added
+### Added
 - Class `Parser` this one generates AST's (Abstract Syntax Tree)
 - Class `AST::ASTVisitor` draft initial implementation.
 - Class `AST::BinaryExpr` draft initial implementation.
@@ -197,7 +207,7 @@
 - Class `AST::LiteralExpr` draft initial implementation.
 - Class `AST::LoxNode` draft initial implementation.
 
-## Changed
+### Changed
 - File `spec_helper.rb`: removed Bundler dependency
 - Class `AST::ASTBuilder` added initial `reduce_` methods.
 - File `README.md` Removed example with AST generation since this is in flux.
@@ -205,31 +215,31 @@
 ## [0.0.6] - 2021-01-03
 - First iteration of a parser with AST generation.
 
-## Added
+### Added
 - Class `Parser` this one generates AST's (Abstract Syntax Tree)
 - Class `AST::ASTBuilder` default code to generate an AST.
 
-## Changed
+### Changed
 - File `spec_helper.rb`: removed Bundler dependency
 - File `README.md` Added example with AST visualization.
 
-## Fixed
+### Fixed
 - File `grammar.rb` ensure that the constant `Grammar` is created once only.
 
 ## [0.0.5] - 2021-01-02
 - Improved example in `README.md`, code re-styling to please `Rubocop` 1.7
 
-## Changed
+### Changed
 - Code re-styling to please `Rubocop` 1.7
 - File `README.md` Improved example with better parse tree visualization.
 
 ## [0.0.4] - 2021-01-01
 - A first parser implementation able to parse Lox source code.
 
-## Added
+### Added
 - Method `LXString::==` equality operator.
 
-## Changed
+### Changed
 - class `Parser` renamed to `RawParser`
 - File `README.md` Added an example showing the use of `RawParser` class.
 

data/README.md

@@ -270,6 +270,7 @@ foo;  // Varible expression (= retrieving its value)
 ``` javascript
 var iAmAVariable = "my-initial-value";
 var iAmNil; // __Lox__ initializes variables to nil by default;
+print iAmNil; // output: nil
 ```
 
 Warning: current version cannot assign a value to an existing variable.  

data/lib/loxxy/ast/ast_builder.rb

@@ -149,18 +149,18 @@ module Loxxy
       end
 
       # rule('program' => 'declaration_plus EOF').as ''
-      def reduce_lox_program(_production, range, tokens, theChildren)
+      def reduce_lox_program(_production, _range, tokens, theChildren)
         LoxSeqDecl.new(tokens[0].position, theChildren[0])
       end
 
       # rule('declaration_plus' => 'declaration_plus declaration').as ''
-      def reduce_declaration_plus_more(_production, range, tokens, theChildren)
+      def reduce_declaration_plus_more(_production, _range, _tokens, theChildren)
         theChildren[0] << theChildren[1]
       end
 
       # rule('declaration_plus' => 'declaration')
-      def reduce_declaration_plus_end(_production, range, tokens, theChildren)
-        [ theChildren[0] ]
+      def reduce_declaration_plus_end(_production, _range, _tokens, theChildren)
+        [theChildren[0]]
       end
 
       # rule('exprStmt' => 'expression SEMICOLON')
@@ -180,7 +180,6 @@ module Loxxy
         Ast::LoxVarStmt.new(tokens[1].position, var_name, theChildren[3])
       end
 
-
       # rule('ifStmt' => 'IF ifCondition statement elsePart_opt')
       def reduce_if_stmt(_production, _range, tokens, theChildren)
         condition = theChildren[1]
@@ -307,8 +306,7 @@ module Loxxy
       def reduce_variable_expr(_production, _range, tokens, theChildren)
         var_name = theChildren[0].token.lexeme
         LoxVariableExpr.new(tokens[0].position, var_name)
-      end#
-
+      end
     end # class
   end # module
 end # module

data/lib/loxxy/ast/ast_visitor.rb

@@ -136,6 +136,13 @@ module Loxxy
         broadcast(:after_variable_expr, aVariableExpr, self)
       end
 
+      # Visit event. The visitor is about to visit the given terminal datatype value.
+      # @param aNonTerminalNode [Ast::BuiltinDattype] the built-in datatype value
+      def visit_builtin(aValue)
+        broadcast(:before_visit_builtin, aValue)
+        broadcast(:after_visit_builtin, aValue)
+      end
+
       # Visit event. The visitor is about to visit the given non terminal node.
       # @param aNonTerminalNode [Rley::PTree::NonTerminalNode] the node to visit.
       def visit_nonterminal(_non_terminal_node)

data/lib/loxxy/ast/lox_if_stmt.rb

@@ -32,4 +32,4 @@ module Loxxy
       end
     end # class
   end # module
-end # module
+end # module

data/lib/loxxy/ast/lox_seq_decl.rb

@@ -5,12 +5,6 @@ require_relative 'lox_compound_expr'
 module Loxxy
   module Ast
     class LoxSeqDecl < LoxCompoundExpr
-      # @param aPosition [Rley::Lexical::Position] Position of the entry in the input stream.
-      # @param declarations [Arrya<Loxxy::Ast::LoxNode>]
-      def initialize(aPosition, declarations)
-        super(aPosition, declarations)
-      end
-
       # Part of the 'visitee' role in Visitor design pattern.
       # @param visitor [Ast::ASTVisitor] the visitor
       def accept(visitor)

data/lib/loxxy/ast/lox_var_stmt.rb

@@ -13,7 +13,7 @@ module Loxxy
       # @param aName [String] name of the variable
       # @param aValue [Loxxy::Ast::LoxNode, NilClass] initial value for the variable
       def initialize(aPosition, aName, aValue)
-        initial_value = aValue ? [aValue] : []
+        initial_value = aValue ? [aValue] : [Datatype::Nil.instance]
         super(aPosition, initial_value)
         @name = aName
       end

data/lib/loxxy/back_end/engine.rb

@@ -55,7 +55,7 @@ module Loxxy
         # Retrieve the result of the condition evaluation
         condition = stack.pop
         if condition.truthy?
-          result = anIfStmt.then_stmt.accept(aVisitor)
+          anIfStmt.then_stmt.accept(aVisitor)
         elsif anIfStmt.else_stmt
           anIfStmt.else_stmt.accept(aVisitor)
         end
@@ -129,6 +129,7 @@ module Loxxy
         var_name = aVarExpr.name
         var = symbol_table.lookup(var_name)
         raise StandardError, "Unknown variable #{var_name}" unless var
+
         var.value.accept(aVisitor) # Evaluate the variable value
       end
 
@@ -136,6 +137,11 @@ module Loxxy
       def before_literal_expr(literalExpr)
         stack.push(literalExpr.literal)
       end
+
+      # @param aNonTerminalNode [Ast::BuiltinDattype] the built-in datatype value
+      def before_visit_builtin(aValue)
+        stack.push(aValue)
+      end
     end # class
   end # module
 end # module

data/lib/loxxy/back_end/entry.rb

@@ -11,7 +11,7 @@ module Loxxy
 =begin
       # @return [String] Suffix for building the internal name of the entry.
       attr_accessor :suffix
-=end      
+=end
 
       # Initialize the entry with given name
       # @param aName [String] The name of the entry
@@ -35,7 +35,7 @@ module Loxxy
           (suffix.nil? || suffix.empty?) ? label : suffix
         end
       end
-=end      
+=end
     end # module
   end # module
 end # module

data/lib/loxxy/back_end/variable.rb

@@ -9,7 +9,7 @@ module Loxxy
     # It is a named slot that can be associated with a value at the time.
     class Variable
       include Entry # Add expected behaviour for symbol table entries
-      
+
       # @return [Datatype::BuiltinDatatype] the value assigned to the variable
       attr_accessor :value
 

data/lib/loxxy/datatype/builtin_datatype.rb

@@ -62,6 +62,12 @@ module Loxxy
         value.to_s # Default implementation...
       end
 
+      # Part of the 'visitee' role in Visitor design pattern.
+      # @param visitor [Ast::ASTVisitor] the visitor
+      def accept(visitor)
+        visitor.visit_builtin(self)
+      end
+
       protected
 
       def validated_value(aValue)

data/lib/loxxy/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Loxxy
-  VERSION = '0.0.22'
+  VERSION = '0.0.23'
 end

data/spec/back_end/environment_spec.rb

@@ -9,7 +9,7 @@ module Loxxy
   module BackEnd
     describe Environment do
       let(:foo) { Datatype::LXString.new('foo') }
-      let(:bar) { Datatype::LXString.new('bar') }      
+      let(:bar) { Datatype::LXString.new('bar') }
       let(:mother) { Environment.new }
       subject { Environment.new(mother) }
 

data/spec/back_end/symbol_table_spec.rb

@@ -46,8 +46,8 @@ module Loxxy
         end
 
         it 'should allow the addition of several labels for same env' do
-          i_name = subject.insert(var('q'))
-          #expect(i_name).to match(/^q_[0-9a-z]*$/)
+          subject.insert(var('q'))
+          # expect(i_name).to match(/^q_[0-9a-z]*$/)
 
           expect { subject.insert(var('x')) }.not_to raise_error
           expect(subject.name2envs['x']).to be_kind_of(Array)

data/spec/back_end/variable_spec.rb

@@ -17,10 +17,10 @@ module Loxxy
         it 'should be initialized with a name and a value, or...' do
           expect { Variable.new(sample_name, sample_value) }.not_to raise_error
         end
-        
+
         it 'should be initialized with just a name' do
           expect { Variable.new(sample_name) }.not_to raise_error
-        end        
+        end
 
         it 'should know its name' do
           expect(subject.name).to eq(sample_name)
@@ -29,11 +29,11 @@ module Loxxy
         it 'should have a frozen name' do
           expect(subject.name).to be_frozen
         end
-        
+
         it 'should know its value (if provided)' do
           expect(subject.value).to eq(sample_value)
         end
-        
+
         it 'should have a nil value otherwise' do
           instance = Variable.new(sample_name)
           expect(instance.value).to eq(Datatype::Nil.instance)

data/spec/interpreter_spec.rb

@@ -53,10 +53,12 @@ module Loxxy
 
     context 'Evaluating Lox code:' do
       let(:hello_world) do
-        lox =<<-LOX_END
+        lox = <<-LOX_END
         var greeting = "Hello"; // Declaring a variable
         print greeting + ", " + "world!"; // ... Playing with concatenation
 LOX_END
+
+        lox
       end
 
       it 'should evaluate core data types' do
@@ -240,7 +242,7 @@ LOX_END
           ['if (true) print "then-branch"; else print "else-branch";', 'then-branch'],
           ['if (false) print "then-branch"; else print "else-branch";', 'else-branch'],
           ['if (0) print "then-branch"; else print "else-branch";', 'then-branch'],
-          ['if (nil) print "then-branch"; else print "else-branch";', 'else-branch'],
+          ['if (nil) print "then-branch"; else print "else-branch";', 'else-branch']
           # TODO: test with else block body
 
           # TODO: A dangling else binds to the right-most if.
@@ -250,7 +252,7 @@ LOX_END
           io = StringIO.new
           cfg = { ostream: io }
           lox = Loxxy::Interpreter.new(cfg)
-          result = lox.evaluate(source)
+          lox.evaluate(source)
           expect(io.string).to eq(predicted)
         end
       end
@@ -267,12 +269,21 @@ LOX_END
       it 'should accept variable mention' do
         program = <<-LOX_END
         var foo = "bar";
-        print foo;
+        print foo; // => bar
 LOX_END
         expect { subject.evaluate(program) }.not_to raise_error
         expect(sample_cfg[:ostream].string).to eq('bar')
       end
 
+      it 'should set uninitialized variables to nil' do
+        program = <<-LOX_END
+        var foo;
+        print foo; // => nil
+LOX_END
+        expect { subject.evaluate(program) }.not_to raise_error
+        expect(sample_cfg[:ostream].string).to eq('nil')
+      end
+
       it 'should print the hello world message' do
         expect { subject.evaluate(hello_world) }.not_to raise_error
         expect(sample_cfg[:ostream].string).to eq('Hello, world!')

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: loxxy
 version: !ruby/object:Gem::Version
-  version: 0.0.22
+  version: 0.0.23
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-01-17 00:00:00.000000000 Z
+date: 2021-01-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rley