gisele 0.5.0 → 0.5.1

data/lib/gisele/language/grammar.sexp.yml

@@ -1,83 +0,0 @@
-parser:
-  grammar.citrus
-rules:
-  ### units and tasks
-  unit_def:
-    - [task_def+]
-  task_def:
-    - [task_name, some_def*, statement]
-  some_def:
-    - fluent_def
-    - trackvar_def
-    - task_def
-  ### variables
-  fluent_def:
-    - [var_name, event_set, event_set, initially]
-  trackvar_def:
-    - [var_name, event_set, event_set, initially]
-  event_set:
-    - [event*]
-  event:
-    - event_name
-    - task_event_name
-  var_ref:
-    - [var_name]
-  ### statements
-  statement:
-    - if_st
-    - case_st
-    - while_st
-    - seq_st
-    - par_st
-    - task_call_st
-    - nop_st
-  if_st:
-    - [bool_expr, statement, elsif_clause*, "else_clause?"]
-  case_st:
-    - [[var_ref, ~], when_clause+, "else_clause?"]
-  while_st:
-    - [bool_expr, statement]
-  seq_st:
-    - [statement+]
-  par_st:
-    - [statement+]
-  task_call_st:
-    - [task_name]
-  nop_st:
-    - []
-  ### clauses
-  elsif_clause:
-    - [bool_expr, statement]
-  else_clause:
-    - [statement]
-  when_clause:
-    - [bool_expr, statement]
-  ### boolean expressions
-  bool_expr:
-    - [bool_expression]
-  bool_expression:
-    - bool_or
-    - bool_and
-    - bool_not
-    - var_ref
-    - bool_lit
-  bool_or:
-    - [bool_expression, bool_expression]
-  bool_and:
-    - [bool_expression, bool_expression]
-  bool_not:
-    - [bool_expression]
-  bool_lit:
-    - [ boolean_literal  ]
-  boolean_literal:
-    - true
-    - false
-  ### terminals
-  task_name:       !ruby/regexp /^[A-Z][A-Za-z0-9_]*$/
-  var_name:        !ruby/regexp /^[a-z][A-Za-z0-9_]*$/
-  event_name:      !ruby/regexp /^[a-z][a-z0-9_]*$/
-  task_event_name: !ruby/regexp /^[A-Z][A-Za-z0-9_]*:(start|end)$/
-  initially:
-    - true
-    - false
-    - ~

data/lib/gisele/language/processors.rb

@@ -1,4 +0,0 @@
-require_relative 'processors/scoping_helper'
-require_relative 'processors/elsif_flattener'
-require_relative 'processors/if_to_case'
-require_relative 'processors/sugar_removal'

data/lib/gisele/language/processors/elsif_flattener.rb

@@ -1,36 +0,0 @@
-module Gisele
-  module Language
-    class ElsifFlattener < Sexpr::Rewriter
-      grammar Language
-
-      def on_if_st(sexpr)
-        condition, dost, *clauses = sexpr.sexpr_body
-
-        base = [:if_st, condition, dost]
-        base = sexpr(base, sexpr.tracking_markers)
-
-        clauses.inject base do |cur_if, clause|
-          rw_clause = apply(clause)
-          cur_if << rw_clause
-          rw_clause.last
-        end
-
-        base
-      end
-
-      def on_elsif_clause(sexpr)
-        base = \
-          [:else_clause,
-           [:if_st, sexpr[1], apply(sexpr[2])] ]
-        base = sexpr(base, sexpr.tracking_markers)
-      end
-
-      def on_else_clause(sexpr)
-        [:else_clause, apply(sexpr.last)]
-      end
-
-      alias :on_missing :copy_and_apply
-
-    end # class ElsifFlattener
-  end # module Language
-end # module Gisele

data/lib/gisele/language/processors/if_to_case.rb

@@ -1,65 +0,0 @@
-module Gisele
-  module Language
-    class IfToCase < Sexpr::Rewriter
-      grammar Language
-
-      def on_if_st(sexpr)
-        condition, dost, *clauses = sexpr.sexpr_body
-
-        # create case_st with same markers as the if_st
-        when_clause = [:when_clause, condition, apply(dost)]
-        when_clause = sexpr(when_clause, sexpr.tracking_markers)
-        base        = [:case_st, nil, when_clause]
-        base        = sexpr(base, sexpr.tracking_markers)
-
-        # this is the condition for elsif clauses
-        @condition = negate(condition.last)
-
-        # make injection now
-        clauses.inject base do |memo,clause|
-          memo << apply(clause)
-        end
-      end
-
-      def on_elsif_clause(sexpr)
-        condition, dost, = sexpr.sexpr_body
-
-        # install new conditions for me and next elsif clauses
-        condition = condition.last
-        previous  = @condition
-        @condition = [:bool_and, negate(condition), @condition]
-
-        # convert elsif to when and keep the markers
-        base = \
-          [:when_clause,
-            [:bool_expr, [:bool_and, condition, previous]],
-            apply(dost) ]
-        sexpr(base, sexpr.tracking_markers)
-      end
-
-      def on_else_clause(sexpr)
-        dost, = sexpr.sexpr_body
-
-        # convert else to when and keep the markers
-        base = \
-          [:when_clause,
-            [:bool_expr, @condition],
-            apply(dost)]
-        sexpr(base, sexpr.tracking_markers)
-      end
-
-      alias :on_missing :copy_and_apply
-
-      private
-
-      def negate(cond)
-        if cond.first == :bool_not
-          cond.last
-        else
-          [:bool_not, cond]
-        end
-      end
-
-    end # class IfToCase
-  end # module Language
-end # module Gisele

data/lib/gisele/language/processors/scoping_helper.rb

@@ -1,32 +0,0 @@
-module Gisele
-  module Language
-    class ScopingHelper < Sexpr::Processor::Helper
-
-      module Methods
-
-        def scope_stack
-          @scope_stack ||= []
-        end
-
-        def with_scope(scope)
-          scope_stack.push(scope)
-          result = yield
-          scope_stack.pop
-          result
-        end
-
-      end # module Methods
-
-      def on_missing(rw, sexpr)
-        if sexpr.first.to_s =~ /_def/
-          rw.with_scope(sexpr) do
-            yield(rw, sexpr)
-          end
-        else
-          yield(rw, sexpr)
-        end
-      end
-
-    end # module ScopingHelper
-  end # module Language
-end # module Gisele

data/lib/gisele/language/processors/sugar_removal.rb

@@ -1,17 +0,0 @@
-module Gisele
-  module Language
-    class SugarRemoval < Sexpr::Rewriter
-      grammar Language
-
-      # (elsif ... -> else if ...)
-      use ElsifFlattener
-
-      def apply(sexpr)
-        # all is already done by preprocessors so that we can simply return
-        # the s-expression.
-        sexpr
-      end
-
-    end # class SugarRemoval
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_and.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolAnd
-        include Node
-
-        def _to_ast
-          [:bool_and, left.to_ast, right.to_ast]
-        end
-
-      end # module BoolAnd
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_expr.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolExpr
-        include Node
-
-        def _to_ast
-          [:bool_expr, captures[:theexpr].first.to_ast]
-        end
-
-      end # module BoolExpr
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_lit.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolLit
-        include Node
-
-        def _to_ast
-          [:bool_lit, strip == "true"]
-        end
-
-      end # module BoolLit
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_not.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolNot
-        include Node
-
-        def _to_ast
-          [:bool_not, captures[:expr].first.to_ast]
-        end
-
-      end # module BoolParen
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_or.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolOr
-        include Node
-
-        def _to_ast
-          [:bool_or, left.to_ast, right.to_ast]
-        end
-
-      end # module BoolOr
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/bool_paren.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module BoolParen
-        include Node
-
-        def _to_ast
-          captures[:expr].first.to_ast
-        end
-
-      end # module BoolParen
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/case_st.rb

@@ -1,19 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module CaseSt
-        include Node
-
-        def _to_ast
-          var     = captures[:var_ref].first
-          var     = var.to_ast if var
-          var     = nil if var && var.empty?
-          whens   = captures[:when_clause].map{|x| x.to_ast}
-          els     = captures[:else_clause].map{|x| x.to_ast}
-          [:case_st, var] + whens + els
-        end
-
-      end # module CaseSt
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/else_clause.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module ElseClause
-        include Node
-
-        def _to_ast
-          [:else_clause, captures[:process_statement].first.to_ast]
-        end
-
-      end # module ElseClause
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/elsif_clause.rb

@@ -1,16 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module ElsifClause
-        include Node
-
-        def _to_ast
-          cond = captures[:bool_expr].first.to_ast
-          dost = captures[:process_statement].first.to_ast
-          [:elsif_clause, cond, dost]
-        end
-
-      end # module ElsifClause
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/event_set.rb

@@ -1,15 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module EventSet
-        include Node
-
-        def _to_ast
-          events = (captures[:event] || []).map{|e| e.value}
-          [:event_set] + events
-        end
-
-      end # module EventSet
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/fluent_def.rb

@@ -1,18 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module FluentDef
-        include Node
-
-        def _to_ast
-          name       = captures[:variable_name].first.strip
-          init, term = captures[:event_set].map{|x| x.to_ast}
-          initval    = captures[:initially_def].first
-          initval    = (initval && !initval.empty?) ? initval.value : nil
-          [:fluent_def, name, init, term, initval]
-        end
-
-      end # module FluentDef
-    end # module Syntax
-  end # module Language
-end # module Gisele

data/lib/gisele/language/syntax/if_st.rb

@@ -1,18 +0,0 @@
-module Gisele
-  module Language
-    module Syntax
-      module IfSt
-        include Node
-
-        def _to_ast
-          cond    = captures[:bool_expr].first.to_ast
-          dost    = captures[:process_statement].first.to_ast
-          elsifs  = captures[:elsif_clause].map{|x| x.to_ast}
-          els     = captures[:else_clause].map{|x| x.to_ast}
-          [:if_st, cond, dost] + elsifs + els
-        end
-
-      end # module IfSt
-    end # module Syntax
-  end # module Language
-end # module Gisele