gisele 0.0.1 → 0.1.0

data/lib/gisele/language/grammar.citrus

@@ -1,246 +0,0 @@
-grammar Gisele::Language::Grammar
-
-  ### Units
-
-  rule task_unit
-    (spacing defn:task_def spacing){
-      defn.value
-    }
-  end
-
-  ### Task definitions
-
-  rule task_def
-    ('task' spaces tname:task_name spaces
-      signature:(task_signature spaces)?
-      refinement:(task_refinement spaces)?
-    'end'){
-      sigvalue = [:signature]  + (signature.empty?  ? [] : signature.first.first.value)
-      refvalue = [:refinement, (refinement.empty? ? [] : refinement.first.first.value)]
-      [:task, tname.value, sigvalue, refvalue]
-    }
-  end
-
-  rule task_signature
-    (front:task_signature_element tail:(spaces task_signature)?){
-      [front.value] + (tail.empty? ? [] : tail.first.matches.last.value)
-    }
-  end
-
-  rule task_signature_element
-    fluent_def | trackvar_def
-  end
-
-  rule task_refinement
-    ('refinement' spaces main:process_statement spaces 'end'){
-      main.value
-    }
-  end
-
-  ### Process statements
-
-  rule process_statement
-    implicit_seq_statement | explicit_statement
-  end
-
-  rule implicit_seq_statement
-    (front:explicit_statement spaces tail:statement_list){
-      [:seq, front.value] + tail.value
-    }
-  end
-
-  rule statement_list
-    (f:explicit_statement t:(spaces statement_list)?){
-      [f.value] + (t.empty? ? [] : t.first.matches.last.value)
-    }
-  end
-
-  rule explicit_statement
-      if_statement
-    | while_statement
-    | seq_statement
-    | par_statement
-    | task_call_statement
-  end
-
-  rule if_statement
-    ('if' spaces cond:bool_expr spaces
-      dost:process_statement spaces
-      elsifclauses:elsif_clause*
-      elseclause:else_clause?
-    'end'){
-      elsifs = elsifclauses.matches.map{|c| c.value}
-      elsec  = elseclause.empty? ? [] : [elseclause.first.value]
-      [:if, cond.value, dost.value] + elsifs + elsec
-    }
-  end
-
-  rule elsif_clause
-    ('elsif' spaces cond:bool_expr spaces dost:process_statement spaces){
-      [:elsif, cond.value, dost.value]
-    }
-  end
-
-  rule else_clause
-    ('else' spaces dost:process_statement spaces){
-      [:else, dost.value]
-    }
-  end
-
-  rule while_statement
-    ('while' spaces cond:bool_expr spaces
-      dost:process_statement spaces
-    'end'){
-      [:while, cond.value, dost.value]
-    }
-  end
-
-  rule seq_statement
-    ('seq' spaces list:statement_list spaces 'end'){
-      [:seq] + list.value
-    }
-  end
-
-  rule par_statement
-    ('par' spaces list:statement_list spaces 'end'){
-      [:par] + list.value
-    }
-  end
-
-  rule task_call_statement
-    (task_name){
-      [:task_call, strip]
-    }
-  end
-
-  ### Boolean expressions
-
-  rule bool_expr
-    bool_or
-  end
-
-  rule bool_or
-      (left:bool_and spaces 'or' spaces right:bool_or){
-        [:or, left.value, right.value]
-      }
-    | bool_and
-  end
-
-  rule bool_and
-      (left:bool_not spaces 'and' spaces right:bool_and){
-        [:and, left.value, right.value]
-      }
-    | bool_not
-  end
-
-  rule bool_not
-      ('not' &([ \t\n] | '(') spacing term:bool_not){
-        [:not, term.value]
-      }
-    | bool_term
-  end
-
-  rule bool_term
-    bool_parenthesed | boolean_literal | bool_varref
-  end
-
-  rule bool_parenthesed
-    ('(' spacing expr:bool_expr spacing ')'){
-      expr.value
-    }
-  end
-
-  rule bool_varref
-    (variable_name){
-      [:varref, strip]
-    }
-  end
-
-  ### Variables
-
-  rule variable_def
-    trackvar_def | fluent_def
-  end
-
-  rule trackvar_def
-    ('trackvar' spaces name:variable_name spacing
-      init:event_set term:(spacing ',' spacing event_set)?
-      initially:initially_def?){
-        termval = term.empty?      ? [:event_set] : term.first.matches.last.value
-        initval = initially.empty? ? nil          : initially.first.value
-        [:trackvar, name.value, init.value, termval, initval]
-      }
-  end
-
-  rule fluent_def
-      ('fluent' spaces name:variable_name spacing
-          init:event_set spacing ',' spacing term:event_set initially:initially_def?){
-        initval = initially.empty? ? nil : initially.first.value
-        [:fluent, name.value, init.value, term.value, initval]
-      }
-  end
-  
-  rule initially_def
-    (spaces 'initially' spaces lit:boolean_literal){
-      lit.value
-    }
-  end
-
-  ### Events
-
-  rule event_set
-    ('{' spacing list:event_commalist? spacing '}'){
-      [:event_set] + (list.empty? ? [] : list.first.value)
-    }
-  end
-
-  rule event_commalist
-    (front:event tail:(spacing ',' spacing event_commalist)?){
-      tailval = tail.empty? ? [] : tail.first.matches.last.value
-      [ front.value ] + tailval
-    }
-  end
-
-  rule event
-    task_start_or_end | event_name
-  end
-
-  rule task_start_or_end
-    task_name ':' ('start' | 'end')
-  end
-
-  ### Names
-  
-  rule task_name
-    [A-Z] [A-Za-z0-9_]*
-  end
-
-  rule variable_name
-    [a-z] [A-Za-z0-9_]*
-  end
-
-  rule event_name
-    [a-z] [a-z0-9_]*
-  end
-
-  ### Literals
-
-  rule boolean_literal
-    ('true' | 'false'){ strip == "true" ? true : false }
-  end
-
-  ### Spacing
-
-  rule comment
-    "#" (![\n] .)*
-  end
-
-  rule spaces
-    (comment | [ \t\n])+
-  end
-
-  rule spacing
-    (comment | [ \t\n])*
-  end
-
-end

data/lib/gisele/language/parser.rb

@@ -1,30 +0,0 @@
-module Gisele
-  module Language
-    Citrus.load(File.expand_path('../grammar', __FILE__))
-    class Parser
-
-      def self.parse(input)
-        new.parse(input)
-      end
-
-      def call(input)
-        return input if input.is_a?(Array)
-        grammar.parse(parsing_source(input)).value
-      end
-      alias :parse :call
-
-      private
-
-      def grammar
-        Gisele::Language::Grammar
-      end
-
-      def parsing_source(input)
-        input = File.read(input.to_path) if input.respond_to?(:to_path)
-        input = input.to_str if input.respond_to?(:to_str)
-        input
-      end
-
-    end # class Parser
-  end # module Language
-end # module Gisele

data/spec/unit/language/test_parser.rb

@@ -1,27 +0,0 @@
-require 'spec_helper'
-module Gisele::Language
-  describe Parser do
-
-    fixture_files('tasks/**/*.gis').each do |file|
-      if file.sub_ext(".ast").exist?
-
-        it "returns the expected ast on #{file}" do
-          parsed   = Parser.parse(file)
-          expected = Kernel::eval(file.sub_ext(".ast").read, TOPLEVEL_BINDING, file.sub_ext(".ast").to_s)
-          parsed.should eq(expected)
-        end
-
-      else
-
-        it "parses #{file} without error" do
-          parsed = Parser.parse(file)
-          parsed.should be_a(Array)
-          parsed.first.should eq(:task)
-        end
-
-      end
-
-    end
-
-  end
-end