yaparc 0.2.3 → 0.4.0

data/test/n3.bnf

@@ -1,129 +0,0 @@
-#
-#  Taken from http://www.w3.org/DesignIssues/Notation3.html
-#  on 2001-08-03 (version of 2001-04-10)
-#
-#  Modifications:
-#     
-# $Log: n3.bnf,v $
-# Revision 1.4  2001/08/06 20:56:21  sandro
-# added space* and space+ in several places
-# removed "#" from forbidden chars in URI_Reference
-# handles comments
-# made directives actually part of the grammar (!)
-# allowed nprefix to be zero-length
-#
-# Revision 1.3  2001/08/03 13:44:43  sandro
-# filled in remaining non-terminals
-#
-# Revision 1.2  2001/08/03 13:02:48  sandro
-# standardized BNF so blindfold can compile it
-#    added ::= for each rule
-#    added | for branches
-#    added ; at end of rule
-#    added # before comments
-#    put quotes around literals
-#    turn hypen into underscore in identifiers
-#    rename prefix to nprefix (hack around blindfold keyword for now)
-#
-# Revision 1.1  2001/08/03 12:34:38  sandro
-# added opening comments
-#
-
-
-document ::= void 
-	   | statementlist;
-
-space ::= " " | "\n" | "\r" | comment;
-
-comment ::= "#" [^\r\n]*;
-
-statement ::= subject space+ property_list
-	    | directive
-	    ;
-
-statementlist ::= (statement space* ("." space*)?)* ;
-
-subject ::= node;
-
-verb ::= ">-" prop "->"    # has xxx of 
-       | "<-" prop "<-"    # is xxx of 
-    #  | operator          # has operator:xxx of??? NOT IMPLMENTED
-       | prop              # has xxx of -- shorthand
-       | "has" prop        # has xxx of
-       | "is" prop "of"    # is xxx of
-       | "a"               # has rdf:type of
-       | "="		   # has daml:equivaent of
-       ;
-
-prop ::= node;
-
-node ::= uri_ref2 
-       | anonnode
-       | "this"
-       | node 
-       ;
-
-nodelist ::= void    # (used in lists) 
-	   | node
-	   | node nodelist
-	   ;
-
-anonnode ::= "[" property_list "]"  # something which ...
-	   | "{" statementlist "}"  # the statementlist itself as a resource
-	   | "(" nodelist ")"       # short for eg [ n3:first node1; n3:rest [ n3:first node2; n3:rest: n3:null ]]
-	   ;
-
-property_list ::= void   # to allow [...]. 
-	        | verb space+ object_list
-		| verb space+ object_list space+ ";" space+ property_list
-		| ":-" anonnode  #to allow two anonymous forms to be given eg [ a :Truth; :- { :sky :color :blue } ] )
-		| ":-" anonnode ";" property_list
-		;
-
-object_list ::= object 
-	      | object "," object_list
-	      ;
-
-uri_ref2 ::= qname 
-	   | "<" URI_Reference ">"
-	   ;
-
-qname ::= nprefix ":" localname; # ??? Allow omit colon when prefix void - keyword clash 
-
-object ::= subject 
-         | string1 # " constant-value-with-escaping "
-	 | string2 # """ constant value with escaping including single or double occurences of quotes and/or newlines """
-	 #      well-formed-xml-element ???? legacy or structured stuff - not implemented or distinguished
-	 ;
-
-directive ::= "bind" space+ nprefix ":" uri_ref2   # Namespace declartion. Trailing "#" is omitted & assumed. Obsolete.
-	    | "@prefix" space+ nprefix ":" space+ uri_ref2  # Namespace declaration
-	    ;
-
-# operator ::=  (Not implemented) 
-#      + >- operator:plus -> 
-#      - >- operator:minus ->
-#      / >- operator:slash->
-#      * >- operator:star-> (etc? @@)
-
-fragid ::= alpha alphanumeric* ;
-
-alpha ::= [a-zA-Z];
-
-alphanumeric ::= alpha | [0-9] | "_";
-
-void ::= "" ;   # nothing
-
-URI_Reference ::= [^{}<>]*;    # short version
-
-nprefix ::= "" | ((alpha | "_") alphanumeric*);
-
-localname ::= fragid;
-
-string1 ::= '"' string1_char* '"';
-
-string1_char ::= '\\"' | [^\"] ;           # should disallow some other characters, etc.
-
-string2 ::= '"""' string2_char* '"""';
-
-string2_char ::= [^"] | ([^] [^] [^"]);    # something like this; need to think about it some more

data/test/test_abc.rb.bak

@@ -1,112 +0,0 @@
-
-require 'lib/yaparc.rb'
-require 'test/unit'
-
-###  c.f. http://www.norbeck.nu/abc/bnf/abc20bnf.htm###
-
-module ABC
-
-#  KEYWORDS = %w{NOT AND OR ALL IN select from where EXISTS}
-
-  # abc-file ::= *(abc-tune / comment / xcommand / file-field / text-line / tex) 
-  class AbcFile
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Many.new(
-                         Yaparc::Alt.new(AbcTune.new,
-                                         Comment.new,
-                                         Xcommand.new,
-                                         FileField.new,
-                                         TextLine.new,
-                                         Tex.new))
-      end
-    end
-  end
-  
-  # file-field ::= field-area / field-book / field-composer / field-discography / field-file / field-group / field-history / field-length / field-meter / field-notes / field-origin / field-parts / field-tempo / field-rhythm / field-source / field-userdef-print / field-userdef-play / field-words / field-transcription / field-key / unused-field ; Default values for the whole file - all fields except number, title and voice
-  class FileField
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Alt.new(
-                        FieldArea.new,
-                        FieldBook.new,
-                        FieldComposer.new,
-                        FieldDiscography.new,
-                        FieldFile.new,
-                        FieldGroup.new,
-                        FieldHistory.new,
-                        FieldLength.new,
-                        FieldMeter.new,
-                        FieldNotes.new,
-                        FieldOrigin.new,
-                        FieldParts.new,
-                        FieldTempo.new,
-                        FieldRhythm.new,
-                        FieldSource.new,
-                        FieldUserdefPrint.new,
-                        FieldUserdefPlay.new,
-                        FieldWords.new,
-                        FieldTranscription.new,
-                        FieldKey.new,
-                        UnusedField.new)
-      end
-    end
-  end
-
-  # abc-tune ::= abc-header abc-music eol 
-  class AbcTune
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Seq.new(AbcHeader.new,
-                        AbcMusic.new,
-                        Eol.new)
-      end
-    end
-  end
-  
-  # abc-header ::= [field-number] title-fields *other-field field-key ; note that field-number is optional.
-  class AbcTune
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Seq.new(
-                        ZeroOne.new(FieldNumber.new)
-                        TitleFields.new,
-                        Many.new(OtherField.new),
-                        FieldKey.new)
-      end
-    end
-  end
-
-  # field-number ::= %x58.3A *WSP 1*DIGIT header-eol ; X:
-  class FieldNumber
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Seq.new(
-                        
-                              %x58.3A *WSP 1*DIGIT header-eol ; X:
-      end
-    end
-  end
-
-  ###  eol ::= CRLF / LF / CR ; only one version should occur in the whole file - win / *nix / mac line breaks
-  class Eol
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do
-        Yaparc::Alt.new(Regex.new(/\n/))
-      end
-    end
-  end
-
-end

data/test/test_calc.rb

@@ -1,112 +0,0 @@
-require 'lib/yaparc.rb'
-require 'test/unit'
-
-module Calc
-
-  class Expr
-    include Yaparc::Parsable
-    
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(Term.new,
-                                        Yaparc::Symbol.new('+'),
-                                        Expr.new) do |term, _, expr|
-                          ['+', term,expr]
-                        end,
-                        Term.new
-                        )
-      end
-    end
-
-    def evaluate(input)
-      result = parse(input)
-      tree = result.value
-      eval_tree(tree)
-    end
-
-    def eval_tree(tree)
-      case tree
-      when Array
-        case tree[0]
-        when '+'
-          eval_tree(tree[1]) + eval_tree(tree[2])
-        when '-'
-          eval_tree(tree[1]) - eval_tree(tree[2])
-        when '*'
-          eval_tree(tree[1]) * eval_tree(tree[2])
-        when '/'
-          eval_tree(tree[1]) / eval_tree(tree[2])
-        end
-      else
-        tree
-      end
-    end
-  end
-
-  class Term
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(Factor.new,
-                                        Yaparc::Symbol.new('*'),
-                                        Term.new) do |factor, _, term|
-                          ['*', factor,term]
-                        end,
-                        Factor.new)
-      end
-    end
-  end
-
-  class Factor
-    include Yaparc::Parsable
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(
-                        Yaparc::Seq.new(
-                                        Yaparc::Symbol.new('('),
-                                        Expr.new,
-                                        Yaparc::Symbol.new(')')
-                                        ) do |_,expr, _|
-                          expr
-                        end,
-                        Yaparc::Natural.new)
-      end
-    end
-  end
-end # of Calc
-
-class YaparcCalcTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @expr = Calc::Expr.new
-    @factor = Calc::Factor.new
-  end
-
-  def test_expr
-    result = @expr.parse("1 + 2 ")
-    assert_instance_of Result::OK,  result
-    assert_equal ["+", 1, 2],  result.value
-    assert_equal "",  result.input
-    assert_equal 3, @expr.evaluate("1 + 2 ")
-    assert_equal 9, @expr.evaluate("(1 + 2) * 3 ")
-  end
-
-  def test_factor
-    result = @factor.parse("1")
-    assert_equal 1,  result.value
-    assert_equal "",  result.input
-
-    result = @factor.parse("( 1 )")
-    assert_equal 1,  result.value
-    assert_equal "",  result.input
-
-    result = @factor.parse("( 312 )")
-    assert_equal 312,  result.value
-    assert_equal "",  result.input
-  end
-end

data/test/test_lambda.rb

@@ -1,87 +0,0 @@
-require 'lib/yaparc.rb'
-require 'test/unit'
-
-=begin
-<expression> ::= <identifier>
-             ::= "(" lambda (<identifier> <expression> ")"
-             ::= "(" <expression> <expression> ")"
-=end
-
-module LambdaParser
-
-
-  class Identifier
-    include Yaparc::Parsable
-    RESERVED = %w{lambda}
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Identifier.new(:exclude => RESERVED)
-      end
-    end
-  end
-
-  # KEYWORDS = %w{lambda}
-  # <expression> ::= <identifier>
-  class Expression
-    include Yaparc::Parsable
-    OPEN_PAREN = Yaparc::String.new("(")
-    CLOSE_PAREN = Yaparc::String.new(")")
-
-    def initialize
-      @parser = lambda do |input|
-        Yaparc::Alt.new(#<identifier>
-                        Identifier.new,
-                        #"(" lambda "(" <identifier> ")" <expression> ")"
-                        Yaparc::Seq.new(OPEN_PAREN,
-                                        Yaparc::String.new("lambda"),
-                                        Yaparc::Tokenize.new(OPEN_PAREN),
-                                        Identifier.new,
-                                        CLOSE_PAREN,
-                                        Expression.new),
-                        #"(" <expression> <expression> ")"
-                        Yaparc::Seq.new(OPEN_PAREN,
-                                        Expression.new,
-                                        Expression.new,
-                                        CLOSE_PAREN))
-      end
-    end
-  end
-end # of LambdaParser
-
-
-class LambdaIdentifierParserTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @parser = LambdaParser::Identifier.new
-  end
-
-  def test_identifier
-    result = @parser.parse("identifier")
-    assert_instance_of Result::OK, result
-    result = @parser.parse("lambda")
-    assert_instance_of Result::Fail, result
-
-    result = @parser.parse(" identifier")
-    assert_instance_of Result::OK, result
-    result = @parser.parse(" identifier ")
-    assert_instance_of Result::OK, result
-    result = @parser.parse("identifier ")
-    assert_instance_of Result::OK, result
-  end
-end
-
-class LambdaExpressionParserTest < Test::Unit::TestCase
-  include ::Yaparc
-
-  def setup
-    @parser = LambdaParser::Expression.new
-  end
-
-  def test_expression
-    assert_instance_of Result::OK, @parser.parse("identifier")
-    assert_instance_of Result::OK, @parser.parse("(lambda (x) x)")
-    assert_instance_of Result::OK, @parser.parse("(apply argument)")
-  end
-end