gisele 0.5.0 → 0.5.1

data/lib/gisele/language.rb

@@ -1,31 +0,0 @@
-require 'yaml'
-module Gisele
-
-  # Load the Language through Sexpr
-  Language = Sexpr.load Path.dir/"language/grammar.sexp.yml"
-
-  # Load syntax nodes, abstract syntax nodes, and processors
-  require_relative 'language/syntax/node'
-  require_relative 'language/ast/node'
-  require_relative 'language/processors'
-
-  # Force loading the Citrus parser now
-  Language.parser.parser
-
-  module Language
-
-    # By default, Sexpr will find for abstract nodes under Language itself. We
-    # override that behavior here and let it know that the AST module is the
-    # parent of all ast nodes.
-    def tagging_reference
-      AST
-    end
-
-    # The tagging function (from s-expr kind to AST module) is not complete so far.
-    # This allows us to at least include the AST:Node module in all s-expressions.
-    def default_tagging_module
-      AST::Node
-    end
-
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module BoolAnd
-        include Node
-
-        def label
-          (citrus_match && citrus_match.to_s) || "(#{self[1].label} and #{self[2].label})"
-        end
-
-      end # module BoolAnd
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,22 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module BoolExpr
-        include Node
-
-        def label
-          (citrus_match && citrus_match.to_s) || last.label
-        end
-
-        def negate
-          if last.first == :bool_not
-            Language.sexpr [:bool_expr, last.last]
-          else
-            Language.sexpr [ :bool_expr, [:bool_not, last] ]
-          end
-        end
-
-      end # module BoolExpr
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module BoolNot
-        include Node
-
-        def label
-          (citrus_match && citrus_match.to_s) || "not(#{last.label})"
-        end
-
-      end # module BoolNot
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module BoolOr
-        include Node
-
-        def label
-          (citrus_match && citrus_match.to_s) || "(#{self[1].label} or #{self[2].label})"
-        end
-
-      end # module BoolOr
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module CaseSt
-        include Node
-
-        def label
-          (self[1] && self[1].label) || ""
-        end
-
-      end # module CaseSt
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module ElseClause
-        include Node
-
-        def label
-          "[else]"
-        end
-
-      end # module ElseClause
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module ElsifClause
-        include Node
-
-        def label
-          self[1].label
-        end
-
-      end # module ElsifClause
-    end # module AST
-  end # module Language
-end # module Gisele

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

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module IfSt
-        include Node
-
-        def label
-          self[1].label
-        end
-
-      end # module IfSt
-    end # module AST
-  end # module Language
-end # module Gisele

data/lib/gisele/language/ast/node.rb

@@ -1,35 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module Node
-
-        def citrus_match
-          tracking_markers[:citrus_match]
-        end
-
-        # Returns a label for this AST node
-        def label
-          ""
-        end
-
-        # Checks validity over the definition
-        def ===(sexp)
-          Language[rule_name] === sexp
-        end
-
-      end # module Node
-    end # module AST
-  end # module Language
-end # module Gisele
-require_relative 'task_call_st'
-require_relative 'while_st'
-require_relative 'if_st'
-require_relative 'else_clause'
-require_relative 'elsif_clause'
-require_relative 'case_st'
-require_relative 'when_clause'
-require_relative 'bool_expr'
-require_relative 'bool_and'
-require_relative 'bool_or'
-require_relative 'bool_not'
-require_relative 'var_ref'

data/lib/gisele/language/ast/task_call_st.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module TaskCallSt
-        include Node
-
-        def label
-          last.to_s
-        end
-
-      end # module TaskCallSt
-    end # module AST
-  end # module Language
-end # module Gisele

data/lib/gisele/language/ast/var_ref.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module VarRef
-        include Node
-
-        def label
-          last.to_s
-        end
-
-      end # module BoolNot
-    end # module AST
-  end # module Language
-end # module Gisele

data/lib/gisele/language/ast/when_clause.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module WhenClause
-        include Node
-
-        def label
-          self[1].label
-        end
-
-      end # module WhenClause
-    end # module AST
-  end # module Language
-end # module Gisele

data/lib/gisele/language/ast/while_st.rb

@@ -1,14 +0,0 @@
-module Gisele
-  module Language
-    module AST
-      module WhileSt
-        include Node
-
-        def label
-          self[1].label
-        end
-
-      end # module WhileSt
-    end # module AST
-  end # module Language
-end # module Gisele

data/lib/gisele/language/grammar.citrus

@@ -1,236 +0,0 @@
-grammar Gisele::Language::Grammar
-
-  ### Units
-
-  rule unit_def
-    (spacing task_def (spaces task_def)* spacing)
-    <Gisele::Language::Syntax::UnitDef>
-  end
-
-  ### Task definitions
-
-  rule task_def
-    ('task' spaces task_name spaces 
-      (some_def spaces)*
-      (explicit_statement spaces)?
-    'end')
-    <Gisele::Language::Syntax::TaskDef>
-  end
-
-  rule some_def
-    fluent_def | trackvar_def | task_def
-  end
-
-  ### Process statements
-
-  rule process_statement
-    implicit_seq_st | explicit_statement
-  end
-
-  rule implicit_seq_st
-    (explicit_statement spaces st_list)
-    <Gisele::Language::Syntax::ImplicitSeqSt>
-  end
-
-  rule st_list
-    (explicit_statement (spaces explicit_statement)*)
-    <Gisele::Language::Syntax::StList>
-  end
-
-  rule explicit_statement
-      if_st
-    | case_st
-    | while_st
-    | seq_st
-    | par_st
-    | task_call_st
-  end
-
-  rule case_st
-    ('case' spaces (var_ref spaces)?
-      (when_clause spaces)+
-      (else_clause spaces)?
-    'end')
-    <Gisele::Language::Syntax::CaseSt>
-  end
-
-  rule when_clause
-    ('when' spaces bool_expr spaces process_statement)
-    <Gisele::Language::Syntax::WhenClause>
-  end
-
-  rule if_st
-    ('if' spaces bool_expr spaces 
-      process_statement spaces 
-      (elsif_clause spaces)* 
-      (else_clause spaces)? 
-    'end')
-    <Gisele::Language::Syntax::IfSt>
-  end
-
-  rule elsif_clause
-    ('elsif' spaces bool_expr spaces process_statement)
-    <Gisele::Language::Syntax::ElsifClause>
-  end
-
-  rule else_clause
-    ('else' spaces process_statement)
-    <Gisele::Language::Syntax::ElseClause>
-  end
-
-  rule while_st
-    ('while' spaces bool_expr spaces process_statement spaces 'end')
-    <Gisele::Language::Syntax::WhileSt>
-  end
-
-  rule seq_st
-    ('seq' spaces st_list spaces 'end')
-    <Gisele::Language::Syntax::SeqSt>
-  end
-
-  rule par_st
-    ('par' spaces st_list spaces 'end')
-    <Gisele::Language::Syntax::ParSt>
-  end
-
-  rule task_call_st
-    (task_name)
-    <Gisele::Language::Syntax::TaskCallSt>
-  end
-
-  ### Boolean expressions
-
-  rule bool_expr
-    (spacing theexpr:bool_or)
-    <Gisele::Language::Syntax::BoolExpr>
-  end
-
-  rule bool_or
-      (left:bool_and spaces 'or' spaces right:bool_or)
-      <Gisele::Language::Syntax::BoolOr>
-    | bool_and
-  end
-
-  rule bool_and
-      (left:bool_not spaces 'and' spaces right:bool_and)
-      <Gisele::Language::Syntax::BoolAnd>
-    | bool_not
-  end
-
-  rule bool_not
-      ('not' &([ \t\n] | '(') spacing expr:bool_not)
-      <Gisele::Language::Syntax::BoolNot>
-    | bool_term
-  end
-
-  rule bool_term
-    bool_paren | bool_lit | var_ref
-  end
-
-  rule bool_paren
-    ('(' spacing expr:bool_or spacing ')')
-    <Gisele::Language::Syntax::BoolParen>
-  end
-
-  rule bool_lit
-    (boolean_literal)
-    <Gisele::Language::Syntax::BoolLit>
-  end
-
-  ### Variables
-
-  rule variable_def
-    trackvar_def | fluent_def
-  end
-
-  rule trackvar_def
-    ('trackvar' spaces variable_name spacing event_set (spacing ',' spacing event_set)? initially_def?)
-    <Gisele::Language::Syntax::TrackvarDef>
-  end
-
-  rule fluent_def
-    ('fluent' spaces variable_name spacing event_set spacing ',' spacing event_set initially_def?)
-    <Gisele::Language::Syntax::FluentDef>
-  end
-
-  rule initially_def
-    (spaces 'initially' spaces lit:boolean_literal){ lit.value }
-  end
-
-  rule var_ref
-    (variable_name)
-    <Gisele::Language::Syntax::VarRef>
-  end
-
-  ### Events
-
-  rule event_set
-    ('{' spacing (event (spacing ',' spacing event)*)? spacing '}')
-    <Gisele::Language::Syntax::EventSet>
-  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
-    !(reserved_word spaces) [a-z] [A-Za-z0-9_]*
-  end
-
-  rule event_name
-    !(reserved_word spaces) [a-z] [a-z0-9_]*
-  end
-
-  ### Literals
-
-  rule boolean_literal
-    ('true' | 'false'){ strip == "true" }
-  end
-
-  ### Spacing
-
-  rule comment
-    "#" (![\n] .)*
-  end
-
-  rule spaces
-    (comment | [ \t\n])+
-  end
-
-  rule spacing
-    (comment | [ \t\n])*
-  end
-
-  ### Reserved Words
-  rule reserved_word
-      "if"
-    | "else"
-    | "elsif"
-    | "when"
-    | "while"
-    | "seq"
-    | "par"
-    | "task"
-    | "refinement"
-    | "fluent"
-    | "trackvar"
-    | "initially"
-    | "end"
-    | "not"
-    | "or"
-    | "and"
-    | "true"
-    | "false"
-  end
-
-end