tla-parser-s 0.1.0

data/spec/semantics/symbol_table_spec.rb

@@ -0,0 +1,144 @@
+require_relative "../spec_helper"
+
+describe  TlaParserS::SymbolTable do
+
+  let ( :parser ) { TlaParserS::Parser.new }
+  let ( :symbol_table ) { described_class.new }
+
+  # ------------------------------------------------------------------
+  # resolve
+  
+  describe "interface" do
+
+    
+    it "#pushContext" do
+      expect( symbol_table ).to respond_to( :pushContext )
+    end
+    
+    it "#popContext" do
+      expect( symbol_table ).to respond_to( :popContext )
+    end
+    
+    it "#resolveContext" do
+      expect( symbol_table ).to respond_to( :resolveContext )
+    end
+    
+  end
+
+  
+  # ------------------------------------------------------------------
+  # resolveContext
+  
+  describe "resolveContext" do
+
+    [
+      {
+        :snippets => [ "A == 1  " ],
+        :desc => "Constant operator defines no symboles",
+        :debug => false,
+        :resolve => "id",
+        :expect => nil,
+      },
+      
+      {
+        :snippets => [ "A(id) == 1  " ],
+        :desc => "Operator defines symbol",
+        :debug => false,
+        :resolve => "id",
+        :expect => {
+          :symbol_type => "Identifier",
+          :context_type => "OperatorDef",          
+          :context => "A",
+          :symbol_name => "id",
+        },
+      },
+
+      {
+        :snippets => [
+          "procedure A(id) { skip; }  ",
+          "B(id1) == 1  ",          
+        ],
+        :desc => "Operator defines same  symbol",
+        :debug => false,
+        :resolve => "id",
+        :expect => {
+          :context_type => "Procedure",
+          :symbol_type => "Identifier",          
+          :context => "A",
+          :symbol_name => "id",
+        },
+      },
+
+      {
+        :snippets => [
+          "procedure A(id) { skip; }  ",
+          "B(id1) == 1  ",          
+        ],
+        :desc => "Operator defines same  symbol",
+        :debug => false,
+        :resolve => "id1",
+        :expect => {
+          :symbol_type => "Identifier",
+          :context_type => "OperatorDef",
+          :context => "B",
+          :symbol_name => "id1",
+        },
+      },
+      
+      {
+        :snippets => [
+          "procedure A(id) { skip; }  ",
+          "B(id1) == 1  ",          
+        ],
+        :desc => "Operator defines same  symbol",
+        :debug => false,
+        :resolve => "id2",
+        :expect => nil,
+      },
+
+      {
+        :snippets => [
+          "vari = 1",
+          "B(id1) == 1  ",          
+        ],
+        :desc => "Variable definition resoloved",
+        :debug => false,
+        :resolve => "vari",
+        :expect => {
+          :symbol_type => "VariableDef",
+          :context_type => "VariableDef",
+          :context => "vari",
+          :symbol_name => "vari",
+        },
+      },
+      
+      
+    ].each_with_index do |testCase,i|
+
+      
+      it "#Case #{i}: #{testCase[:desc]} - parse '#{testCase[:str]}' starting '#{testCase[:start]}'" do
+        
+        testCase[:snippets].each do |snippet|
+
+          tree = parser.parse( snippet )
+          if ( testCase[:debug] )
+            puts ""
+            puts tree.inspect
+          end
+          tree.defines.each { |define| symbol_table.pushContext( define )} 
+          
+        end # iterate test case snippets
+
+        expect( symbol_table.resolveContext( testCase[:resolve] ) ).to eql( testCase[:expect] );
+                          
+        
+      end # it
+      
+    end # each 
+    
+
+  end
+
+  
+end
+  

data/spec/spec_helper.rb

@@ -0,0 +1,5 @@
+# spec_helper.rb
+
+require_relative "../lib/tla-parser-s"
+
+FIXTURE_ROOT =  File.join(File.dirname(__FILE__), "fixtures")

data/tla-parser-s.gemspec

@@ -0,0 +1,41 @@
+# -*- encoding: utf-8; mode: ruby -*-
+
+lib = File.expand_path('../lib/', __FILE__)
+$:.unshift lib unless $:.include?(lib)
+ 
+
+# http://guides.rubygems.org/make-your-own-gem/
+
+Gem::Specification.new do |s|
+
+  # version           = "0.0.1.pre"
+  version           = File.open( "VERSION", "r" ) { |f| f.read }.strip.gsub( "-SNAPSHOT", ".pre" )
+
+  s.name            = 'tla-parser-s'
+  s.version         = version
+  s.date            = Time.now.strftime( "%Y-%m-%d" )  #'2014-09-10'
+  s.summary         = "Treetop parser & sematic routines to resolve modules+"
+  s.description     = <<EOF
+  A library paring TLA+ language. Gem name `tla-parser-s` because did
+  not want to reserve "officical" `tla-parser` name.
+
+  Sematic routines create a list of files -names (=modules) needed to
+  satisfy set of entry points. Entry points include names passed as
+  parameters to command line tool (`bin/tla-resolver.rb`), or as API
+  paramters to `TlaParserS::Resolver#resolveModulesDo`.
+
+EOF
+
+  s.authors         = ["jarjuk"]
+  s.files           = ["README.md", "VERSION", "#{s.name}.gemspec" ]  | Dir.glob("lib/**/*") | Dir.glob("spec/**/*")  
+  s.require_paths   = [ "lib" ]
+  s.executables     = [ "tla-resolver.rb" ]
+  s.license         = 'MIT'
+
+  s.required_ruby_version = '~> 2'
+
+  s.add_runtime_dependency 'thor', '~>0.19', ">=0.19.1"
+  s.add_runtime_dependency 'treetop', '~>1.6', ">=1.6.3"  
+
+
+end

metadata

@@ -0,0 +1,153 @@
+--- !ruby/object:Gem::Specification
+name: tla-parser-s
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- jarjuk
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-03-03 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: thor
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.19'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.19.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.19'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.19.1
+- !ruby/object:Gem::Dependency
+  name: treetop
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.6.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.6'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.6.3
+description: |2+
+    A library paring TLA+ language. Gem name `tla-parser-s` because did
+    not want to reserve "officical" `tla-parser` name.
+
+    Sematic routines create a list of files -names (=modules) needed to
+    satisfy set of entry points. Entry points include names passed as
+    parameters to command line tool (`bin/tla-resolver.rb`), or as API
+    paramters to `TlaParserS::Resolver#resolveModulesDo`.
+
+email: 
+executables:
+- tla-resolver.rb
+extensions: []
+extra_rdoc_files: []
+files:
+- README.md
+- VERSION
+- bin/tla-resolver.rb
+- lib/cli/cli.rb
+- lib/parser/exception.rb
+- lib/parser/lvalue.rb
+- lib/parser/parser.rb
+- lib/parser/parser_nodes.rb
+- lib/parser/parser_sexp.treetop
+- lib/semantics/context.rb
+- lib/semantics/exception.rb
+- lib/semantics/resolver.rb
+- lib/semantics/symbol_table.rb
+- lib/tla-parser-s.rb
+- lib/utils/logger.rb
+- lib/utils/syntax_node.rb
+- lib/utils/version.rb
+- spec/fixtures/callables1.tla
+- spec/fixtures/directives.tla
+- spec/fixtures/resolver1/comments.tla
+- spec/fixtures/resolver1/directives.cfg
+- spec/fixtures/resolver1/directives.tla
+- spec/fixtures/resolver1/empty.tla
+- spec/fixtures/resolver1/macro1.tla
+- spec/fixtures/resolver1/macro2.tla
+- spec/fixtures/resolver1/op1.tla
+- spec/fixtures/resolver1/op2.tla
+- spec/fixtures/resolver1/proc1.tla
+- spec/fixtures/resolver1/proc2.tla
+- spec/fixtures/resolver1/proc3.tla
+- spec/fixtures/resolver1/proc4.tla
+- spec/fixtures/resolver1/proc4_hide.tla
+- spec/fixtures/resolver1/proc5.tla
+- spec/fixtures/resolver1/proc6.tla
+- spec/fixtures/resolver1/proc7.tla
+- spec/fixtures/resolver1/stmt_assert.tla
+- spec/fixtures/resolver1/stmt_assign.tla
+- spec/fixtures/resolver1/stmt_assign2.tla
+- spec/fixtures/resolver1/stmt_cond.tla
+- spec/fixtures/resolver1/stmt_either.tla
+- spec/fixtures/resolver1/stmt_print.tla
+- spec/fixtures/resolver1/var4.tla
+- spec/fixtures/resolver1/var5.tla
+- spec/fixtures/resolver1/var_choose_except.tla
+- spec/fixtures/resolver1/var_quantify.tla
+- spec/fixtures/resolver1/var_rec_except.tla
+- spec/fixtures/resolver1/var_rec_expr.tla
+- spec/fixtures/resolver1/var_record.tla
+- spec/fixtures/resolver1/var_seq.tla
+- spec/fixtures/resolver1/var_set.tla
+- spec/fixtures/resolver1/var_set_expr_map.tla
+- spec/fixtures/resolver1/var_x.tla
+- spec/fixtures/resolver1/variables.tla
+- spec/parser/parser_fixtures_spec.rb
+- spec/parser/parser_spec.rb
+- spec/semantics/context_spec.rb
+- spec/semantics/resolver_spec.rb
+- spec/semantics/symbol_table_spec.rb
+- spec/spec_helper.rb
+- tla-parser-s.gemspec
+homepage: 
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - "~>"
+    - !ruby/object:Gem::Version
+      version: '2'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.2.2
+signing_key: 
+specification_version: 4
+summary: Treetop parser & sematic routines to resolve modules+
+test_files: []
+has_rdoc: