tla-trace-filter 0.0.3 → 0.0.6

data/spec/render/render_spec.rb

@@ -22,7 +22,7 @@ describe TlaTraceFilter::Render do
       %i[ render render_str SOLC_LINE read_partial read_partial_file gem_location ].each do |op|
         specify { is_expected.to respond_to(op) }
       end
-      %i[ API_OUTPUT_STATE_INIT API_INPUT_STATE_INIT API_CALL_INIT API_RETURN_INIT API_OUTPUT_STATE API_INPUT_STATE API_CALL API_RETURN ].each do |op|
+      %i[ DUMP_YAML API_AFTER_STATE_INIT API_BEFORE_STATE_INIT API_CALL_INIT API_RETURN_INIT API_AFTER_STATE API_BEFORE_STATE API_CALL API_RETURN ].each do |op|
         specify { is_expected.to respond_to(op) }
       end
     end
@@ -96,7 +96,7 @@ describe TlaTraceFilter::Render do
     
     describe "#render_str" do
       let( :template ) { "data"  }
-      let( :data ) { { :val => "yksi" }  }
+      let( :data ) { { :val => "yksi", "valstr" => { :hei => :world}, :child => { :val => "kaksi"} }  }
       let( :render_str ) { start.render_str(template, data)  }
       context "template=string" do
         it { expect( render_str ).to eql template } 
@@ -105,6 +105,28 @@ describe TlaTraceFilter::Render do
         let( :template ) { "val={{val}}"  }
         it { expect( render_str ).to eql "val=yksi" } 
       end
+
+      describe "#DUMP_YAML" do
+        let( :dump_yaml ) { render_str }
+        let( :template ) { "{{#DUMP_YAML}}#{key}{{/DUMP_YAML}}"  }
+        context "key is symbol" do 
+          let ( :key ) { :val }
+          it { expect( dump_yaml ).to eql data[key].to_yaml }
+        end
+        context "key is symbol" do 
+          let ( :key ) {  "valstr" }
+          it { expect( dump_yaml ).to eql data[key].to_yaml }
+        end
+        context "key is string" do 
+          let ( :key ) { "val" }
+          it { expect( dump_yaml ).to eql data[key.to_sym].to_yaml }
+        end
+        context "key val.childs" do 
+          let ( :key ) { "child.val" }
+          it { expect( dump_yaml ).to eql data[:child][:val].to_yaml }
+        end
+      end # DUMP_YAML
+
     end # render_str
 
     describe "#read_partial_file" do
@@ -120,7 +142,8 @@ describe TlaTraceFilter::Render do
         it { expect( read_partial_file ).to eql nil }
       end 
       
-    end 
+    end
+
 
     describe "#SOLC_LINE" do
       

data/tla-trace-filter.gemspec

@@ -14,7 +14,7 @@ Gem::Specification.new do |s|
   s.name            = 'tla-trace-filter'
   s.version         = version
   s.date            = Time.now.strftime( "%Y-%m-%d" )  #'2014-09-10'
-  s.summary         = "Post process tla+tools model checker trace output"
+  s.summary         = "Post process trace output from model checking sbuilder formal models"
   s.description     = <<EOF
 
 
@@ -29,14 +29,14 @@ Gem::Specification.new do |s|
 EOF
 
   s.authors         = ["jarjuk"]
-  s.files           = ["README.org", "VERSION", "#{s.name}.gemspec" ]  | Dir.glob("lib/**/*") |Dir.glob("mustache/**/*") | Dir.glob("spec/**/*")  
+  s.files           = ["README.md", "VERSION", "#{s.name}.gemspec" ]  | Dir.glob("lib/**/*") |Dir.glob("mustache/**/*") | Dir.glob("spec/**/*")  
   s.require_paths   = [ "lib" ]
   s.executables     = [ "tla-trace-filter.rb" ]
   s.license         = 'MIT'
 
   s.required_ruby_version = '~> 2', ">=2.3"
 
-  s.add_runtime_dependency 'tla-sbuilder', '~>0.3', ">0.3.7"  
+  s.add_runtime_dependency 'tla-sbuilder', '~>0.3', ">=0.3.9"  
   s.add_runtime_dependency 'thor', '~>0.19', ">=0.19.1"
   s.add_runtime_dependency 'treetop', '~>1.6', ">=1.6.3"  
   s.add_runtime_dependency 'mustache', '~>1.0', ">=1.0.3"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: tla-trace-filter
 version: !ruby/object:Gem::Version
-  version: 0.0.3
+  version: 0.0.6
 platform: ruby
 authors:
 - jarjuk
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-12-20 00:00:00.000000000 Z
+date: 2018-02-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: tla-sbuilder
@@ -17,9 +17,9 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '0.3'
-    - - ">"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.7
+        version: 0.3.9
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -27,9 +27,9 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '0.3'
-    - - ">"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.7
+        version: 0.3.9
 - !ruby/object:Gem::Dependency
   name: thor
   requirement: !ruby/object:Gem::Requirement
@@ -107,7 +107,7 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
-- README.org
+- README.md
 - VERSION
 - bin/tla-trace-filter.rb
 - lib/cli/cli.rb
@@ -122,13 +122,26 @@ files:
 - mustache/add-links-state-dump.mustache
 - mustache/add-links-transition.mustache
 - mustache/add-links.mustache
-- mustache/api-call-default.mustache
+- mustache/api-call-after-state-post.mustache
+- mustache/api-call-after-state-pre.mustache
+- mustache/api-call-before-state-post.mustache
+- mustache/api-call-before-state-pre.mustache
+- mustache/api-call-call-post.mustache
+- mustache/api-call-call-pre.mustache
+- mustache/api-call-default-afterState.mustache
+- mustache/api-call-default-api_input.mustache
+- mustache/api-call-default-api_return.mustache
+- mustache/api-call-default-beforeState.mustache
+- mustache/api-call-header.mustache
 - mustache/api-call-init.mustache
-- mustache/api-call-input.mustache
 - mustache/api-call-link.mustache
 - mustache/api-call-main.mustache
-- mustache/api-call-output.mustache
-- mustache/api-call-return.mustache
+- mustache/api-call-post.mustache
+- mustache/api-call-pre.mustache
+- mustache/api-call-ret-post.mustache
+- mustache/api-call-ret-pre.mustache
+- mustache/api-call-step-post.mustache
+- mustache/api-call-step-pre.mustache
 - mustache/api-call.mustache
 - spec/cli/cli_spec.rb
 - spec/filter/filter_spec.rb
@@ -167,5 +180,5 @@ rubyforge_project:
 rubygems_version: 2.6.14
 signing_key: 
 specification_version: 4
-summary: Post process tla+tools model checker trace output
+summary: Post process trace output from model checking sbuilder formal models
 test_files: []

data/README.org

@@ -1,66 +0,0 @@
-* =tla-sbuilder-trace=  - Post process TLA-tools trace output
-
-A command line filter utility for processing [[http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html][TLA+ Tools]] output
-resulting created when model checking [[[http://research.microsoft.com/en-us/um/people/lamport/tla/book.html][TLA+ language]]] formal model
-generated using [[https://github.com/jarjuk/tla-sbuilder][sbuilder]] -tool.
-
-The utility 
-
-
-* Installation
-
-To install =tla-trace-filter= GEM create a =Gemfile= -file with the
-content
-
-#+BEGIN_SRC ruby :eval no
-source "https://rubygems.org"
-gem 'tla-trace-filter'
-#+END_SRC
-
-and run
-
-#+BEGIN_SRC ruby :eval no
-bundle install
-#+END_SRC
-
-* Usage
-
-** Genrate traces						   :noexport:
-
-** Add links to trace file
-
-To add links to model checker trace output in file =gen/tlc.out=
-outputted when model checking TLA+ language formal model code in file
-=gen/setup1/tla/model.tla=
-
-#+BEGIN_SRC ruby :eval no-export
-bundle exec tla-trace-filter.rb add-links setup1
-#+END_SRC
-
-
-To embed links to trace output run:
-
-#+BEGIN_SRC ruby :eval no-export
-bundle exec tla-trace-filter.rb add-links setup1 --embed
-#+END_SRC
-
-
-To create API calls run:
-
-#+BEGIN_SRC ruby :eval no
-bundle exec tla-trace-filter.rb api-calls setup1	
-#+END_SRC
-	
-	
-Location of the files and directories can be changes using command
-line options. To get a list of available command and their options run:
-	
-	bundle exec tla-trace-filter.rb help
-
-
-** Create API trace
-
-
-**  Documentation
-
-See [[https://cucumber.io][Cucumber]] tests in =features= -directory [[http://jarjuk.github.io/tla-trace-filter.html][github repo]].