add docs

CHANGELOG.md

@@ -1,15 +1,3 @@
-## v4.3.0
-
-### New Features
-
-- Use #line for user code blocks to report input grammar position for errors.
-
-## v4.2.0
-
-### New Features
-
-- Add support for a custom lex function.
-
 ## v4.1.0
 
 ### New Features

Gemfile.lock

@@ -5,11 +5,11 @@ GEM
     date (3.5.1)
     diff-lcs (1.6.2)
     docile (1.4.1)
-    erb (6.0.4)
+    erb (6.0.1)
-    psych (5.4.0)
+    psych (5.3.1)
       date
       stringio
-    rake (13.4.2)
+    rake (13.3.1)
     rdoc (7.2.0)
       erb
       psych (>= 4.0.0)
@@ -24,7 +24,7 @@ GEM
     rspec-expectations (3.13.5)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.13.0)
-    rspec-mocks (3.13.8)
+    rspec-mocks (3.13.7)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.13.0)
     rspec-support (3.13.7)
@@ -51,4 +51,4 @@ DEPENDENCIES
   syntax
 
 BUNDLED WITH
-  4.0.14
+   2.3.7

LICENSE.txt

@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2010-2026 Josh Holtrop
+Copyright (c) 2010-2024 Josh Holtrop
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

assets/parser.d.erb

@@ -94,14 +94,6 @@ public <%= @grammar.prefix %>value_t <%= @grammar.prefix %>value<%= name == "def
     return <%= @grammar.prefix %>value_t(v_<%= name %>: v);
 }
 <%   end %>
-
-/** Parser value accessor(s). */
-<%   @grammar.ptypes.each do |name, typestring| %>
-public <%= typestring %> <%= @grammar.prefix %>value_get<%= name == "default" ? "" : "_#{name}" %>(<%= @grammar.prefix %>value_t * pvalue)
-{
-    return pvalue.v_<%= name %>;
-}
-<%   end %>
 <% end %>
 
 <% if @grammar.tree %>

assets/parser.h.erb

@@ -77,14 +77,6 @@ static inline <%= @grammar.prefix %>value_t <%= @grammar.prefix %>value<%= name
     return (<%= @grammar.prefix %>value_t){.v_<%= name %> = v};
 }
 <%   end %>
-
-/** Parser value accessor(s). */
-<%   @grammar.ptypes.each do |name, typestring| %>
-static inline <%= typestring %> <%= @grammar.prefix %>value_get<%= name == "default" ? "" : "_#{name}" %>(<%= @grammar.prefix %>value_t const * pvalue)
-{
-    return pvalue->v_<%= name %>;
-}
-<%   end %>
 <% end %>
 
 <% if @grammar.tree %>

doc/user_guide.md

@@ -1082,9 +1082,6 @@ The `p_token_info_t` structure contains the following fields:
 * `length` (`size_t`) holds the number of input bytes used by the token.
 * `token` (`p_token_t`) holds the token ID of the lexed token
 * `pvalue` (`p_value_t`) holds the parser value associated with the token.
-  The actual user value can be extracted with `p_value_get(&token_info.pvalue)`
-  for the default value or `p_value_get_XXX(&token_info.pvalue)` for named
-  `ptype` values.
 
 ### Tree Node Types
 
@@ -1407,35 +1404,18 @@ In this case, Propane will free a `Statement` tree structure returned by the
 
 ### `p_value`
 
-The `p_value(v)` function builds an instance of the `p_value_t` with the
+When tree generation mode is not active, the `p_value_t` union can hold one of
+several different possible value types.
+
+The `p_value(v)` function returns an instance of the `p_value_t` with the
 default member set to the value of `v`.
 
-A `p_value_XXX(v)` function is defined for each user-defined `ptype` name with
+A `p_value_XXX(v)` function is set for each user-defined `ptype` name with
 the user-given name in place of the `XXX`.
 
 These functions are useful for custom lexer functions which need to return a
 parser value corresponding to a lexed token.
 
-They are especially useful when tree generation mode is not active.
-In that case, the `p_value_t` union can hold one of several different possible
-value types.
-
-### `p_value_get`
-
-The `p_value_get()` accessor functions can be used to extract a user value
-from a `p_value_t` union.
-
-The `p_value_get(pvalue)` function accepts a pointer to a `p_value_t` and
-returns the value of its default member.
-
-A `p_value_get_XXX(pvalue)` function is generated for each user-defined `ptype`
-name with the user-given name in place of the `XXX`, returning the value of the
-corresponding member.
-
-These functions are the counterpart to `p_value()` constructor functions and
-are useful for reading the parser value associated with a lexed token, for
-example `p_value_get(&token_info.pvalue)`.
-
 ##> Data
 
 ### `p_token_names`

lib/propane.rb

@@ -33,7 +33,7 @@ class Propane
 
     def run(input_file, output_file, log_file, options)
       begin
-        grammar = Grammar.new(File.read(input_file), input_file)
+        grammar = Grammar.new(File.read(input_file))
         generator = Generator.new(grammar, output_file, log_file, options)
         generator.generate
       rescue Error => e

lib/propane/generator.rb

@@ -38,13 +38,7 @@ class Propane
           output_file = @output_file
         end
         erb = ERB.new(template, trim_mode: "<>")
-        result = erb.result(binding.clone).lines.each_with_index.map do |line, i|
+        result = erb.result(binding.clone)
-          if line == "#linereset\n"
-            "#line #{i + 2}\n"
-          else
-            line
-          end
-        end.join
         File.open(output_file, "wb") do |fh|
           fh.write(result)
         end

lib/propane/grammar.rb

@@ -22,8 +22,7 @@ class Propane
     attr_reader :on_token_node
     attr_reader :token_user_fields
 
-    def initialize(input, filename)
+    def initialize(input)
-      @filename = filename
       @patterns = []
       @start_rules = []
       @tokens = []
@@ -305,12 +304,8 @@ class Propane
     def parse_code_block_statement!
       if md = consume!(/<<([a-z]*)(.*?)>>\n/m)
         name, code = md[1..2]
-        code = code.chomp
+        code.sub!(/\A\n/, "")
-        if code.start_with?("\n")
+        code += "\n" unless code.end_with?("\n")
-          code = %[#line #{@line_number + 1} "#{@filename}"#{code}\n#linereset\n]
-        else
-          code = %[#line #{@line_number} "#{@filename}"\n#{code}\n#linereset\n]
-        end
         if @code_blocks[name]
           @code_blocks[name] += code
         else
@@ -351,12 +346,9 @@ class Propane
 
     def parse_code_block!
       if md = consume!(/<<(.*?)>>\n/m)
-        code = md[1].chomp
+        code = md[1]
-        if code.start_with?("\n")
+        code.sub!(/\A\n/, "")
-          code = %[#line #{@line_number + 1} "#{@filename}"#{code}\n#linereset\n]
+        code += "\n" unless code.end_with?("\n")
-        else
-          code = %[#line #{@line_number} "#{@filename}"\n#{code}\n#linereset\n]
-        end
         code
       end
     end

lib/propane/version.rb

@@ -1,3 +1,3 @@
 class Propane
-  VERSION = "4.4.0"
+  VERSION = "4.1.0"
 end

spec/propane/grammar_spec.rb

@@ -28,7 +28,7 @@ B -> <<
   b = 0;
 >>
 EOF
-      grammar = Grammar.new(input, "test.propane")
+      grammar = Grammar.new(input)
       expect(grammar.modulename).to eq "a.b"
       expect(grammar.ptype).to eq "XYZ  *"
       expect(grammar.ptypes).to eq("default" => "XYZ  *")
@@ -62,7 +62,7 @@ EOF
       expect(o).to_not be_nil
       expect(o.pattern).to eq "token_with_code"
       expect(o.line_number).to eq 11
-      expect(o.code).to eq %[#line 12 "test.propane"\nCode for the token\n#linereset\n]
+      expect(o.code).to eq "Code for the token\n"
 
       o = grammar.tokens.find {|token| token.name == "token_with_no_pattern"}
       expect(o).to_not be_nil
@@ -83,7 +83,7 @@ EOF
       expect(o.name).to eq "A"
       expect(o.components).to eq %w[B]
       expect(o.line_number).to eq 19
-      expect(o.code).to eq %[#line 20 "test.propane"\n  a = 42;\n#linereset\n]
+      expect(o.code).to eq "  a = 42;\n"
 
       o = grammar.rules[1]
       expect(o.name).to eq "B"
@@ -95,7 +95,7 @@ EOF
       expect(o.name).to eq "B"
       expect(o.components).to eq []
       expect(o.line_number).to eq 23
-      expect(o.code).to eq %[#line 24 "test.propane"\n  b = 0;\n#linereset\n]
+      expect(o.code).to eq "  b = 0;\n"
     end
 
     it "parses code segments with semicolons" do
@@ -113,7 +113,7 @@ tokenid token_with_no_pattern;
 
 prefix myparser_;
 EOF
-      grammar = Grammar.new(input, "test.propane")
+      grammar = Grammar.new(input)
       expect(grammar.prefix).to eq "myparser_"
 
       o = grammar.tokens.find {|token| token.name == "code1"}
@@ -122,7 +122,7 @@ EOF
 
       o = grammar.patterns.find {|pattern| pattern.token == o}
       expect(o).to_not be_nil
-      expect(o.code).to eq %[#line 2 "test.propane"\n  a = b;\n  return c;\n#linereset\n]
+      expect(o.code).to eq "  a = b;\n  return c;\n"
 
       o = grammar.tokens.find {|token| token.name == "code2"}
       expect(o).to_not be_nil
@@ -130,7 +130,7 @@ EOF
 
       o = grammar.patterns.find {|pattern| pattern.token == o}
       expect(o).to_not be_nil
-      expect(o.code).to eq %[#line 7 "test.propane"\n  writeln("Hello there");\n#linereset\n]
+      expect(o.code).to eq %[  writeln("Hello there");\n]
     end
 
     it "supports mode labels" do
@@ -144,7 +144,7 @@ m2: /bar/ <<
 drop /q/;
 m3: drop /r/;
 EOF
-      grammar = Grammar.new(input, "test.propane")
+      grammar = Grammar.new(input)
 
       o = grammar.tokens.find {|token| token.name == "a"}
       expect(o).to_not be_nil
@@ -197,7 +197,7 @@ tokenid int(integer);
 Start (node) -> R;
 R -> abc int;
 EOF
-      grammar = Grammar.new(input, "test.propane")
+      grammar = Grammar.new(input)
 
       o = grammar.tokens.find {|token| token.name == "abc"}
       expect(o).to_not be_nil

spec/propane/lexer/dfa_spec.rb

@@ -51,7 +51,7 @@ class TestLexer
 end
 
 def run(grammar, input)
-  grammar = Propane::Grammar.new(grammar, "test.propane")
+  grammar = Propane::Grammar.new(grammar)
   token_dfa = Propane::Lexer::DFA.new(grammar.patterns)
   test_lexer = TestLexer.new(token_dfa)
   test_lexer.lex(input)

spec/propane_spec.rb

@@ -1781,39 +1781,6 @@ EOF
         results = run_test(language: language)
         expect(results.status).to eq 0
       end
-
-      it "provides accessor functions to extract user values from a parser value" do
-        if language == "d"
-          write_grammar <<EOF
-ptype int;
-ptype float = float;
-ptype string = string;
-
-drop /\\s+/;
-token num /\\d+/ << $$ = 42; >>
-token flt (float) /f/ << $$ = 1.5; >>
-token str (string) /s/ << $$ = "hello"; >>
-Start -> num flt str;
-EOF
-        else
-          write_grammar <<EOF
-ptype int;
-ptype float = float;
-ptype string = char *;
-
-drop /\\s+/;
-token num /\\d+/ << $$ = 42; >>
-token flt (float) /f/ << $$ = 1.5; >>
-token str (string) /s/ << $$ = (char *)"hello"; >>
-Start -> num flt str;
-EOF
-        end
-        run_propane(language: language)
-        compile("spec/test_value_accessors.#{language}", language: language)
-        results = run_test(language: language)
-        expect(results.stderr).to eq ""
-        expect(results.status).to eq 0
-      end
     end
   end
 end

spec/test_value_accessors.c

@@ -1,29 +0,0 @@
-#include "testparser.h"
-#include <assert.h>
-#include <string.h>
-
-int main()
-{
-    p_token_info_t token_info;
-    char const * input = "42 f s";
-    p_context_t * context;
-    context = p_context_new((uint8_t const *)input, strlen(input));
-
-    /* Default ptype value extracted with p_value_get(). */
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_num);
-    assert(p_value_get(&token_info.pvalue) == 42);
-
-    /* Named ptype values extracted with p_value_get_XXX(). */
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_flt);
-    assert(p_value_get_float(&token_info.pvalue) == 1.5);
-
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_str);
-    assert(strcmp(p_value_get_string(&token_info.pvalue), "hello") == 0);
-
-    p_context_delete(context);
-
-    return 0;
-}

spec/test_value_accessors.d

@@ -1,29 +0,0 @@
-import testparser;
-import std.stdio;
-
-int main()
-{
-    return 0;
-}
-
-unittest
-{
-    p_token_info_t token_info;
-    string input = "42 f s";
-    p_context_t * context;
-    context = p_context_new(input);
-
-    /* Default ptype value extracted with p_value_get(). */
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_num);
-    assert(p_value_get(&token_info.pvalue) == 42);
-
-    /* Named ptype values extracted with p_value_get_XXX(). */
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_flt);
-    assert(p_value_get_float(&token_info.pvalue) == 1.5);
-
-    assert(p_lex(context, &token_info) == P_SUCCESS);
-    assert(token_info.token == TOKEN_str);
-    assert(p_value_get_string(&token_info.pvalue) == "hello");
-}