sbuilder-ethereum 0.0.6

data/lib/utils/string_inject.rb

@@ -0,0 +1,11 @@
+if !String.method_defined?( :unindent ) then
+  class String
+    # Strip leading whitespace from each line that is the same as the 
+    # amount of whitespace on the first line of the string.
+    # Leaves _additional_ indentation on later lines intact.
+    def unindent
+      gsub /^#{self[/\A[ \t]*/]}/, ''
+    end
+  end
+end
+

data/sbuilder-ethereum.gemspec

@@ -0,0 +1,39 @@
+# -*- encoding: utf-8; mode: ruby -*-
+
+lib = File.expand_path('../lib/', __FILE__)
+$:.unshift lib unless $:.include?(lib)
+
+GEM_NAME='sbuilder-ethereum'
+Gem::Specification.new do |s|
+
+  # version           = "0.0.1.pre"
+  version           = File.open( "VERSION", "r" ) { |f| f.read }.strip.gsub( "-SNAPSHOT", ".pre" )
+
+  s.name            = GEM_NAME
+  s.version         = version
+  s.date            = Time.now.strftime( "%Y-%m-%d" )  #'2014-09-10'
+  s.summary         = "Ethereum sbuilder api extension"
+  s.description     = <<EOF
+
+  Ethereum Sbuilder loader plugin to load api interfaces and
+  specification snippets for Ethereum Solidity contract in tlaplus
+  language.
+
+
+EOF
+  s.authors         = ["jarjuk"]
+  s.files           = [ "VERSION", "#{s.name}.gemspec" ] | Dir.glob("lib/**/*")  
+  s.require_paths   = [ "lib" ]
+  s.executables     = [ ]
+  s.license         = 'MIT'
+
+  s.homepage              = "https://github.com/jarjuk/#{GEM_NAME}"
+  
+  s.required_ruby_version = '~> 2.3',  ">=2.3.1"
+
+  s.add_runtime_dependency      'thor', '~>0.19', ">=0.19.1"
+  s.add_runtime_dependency      "sexp_processor", "~> 4.2"
+  s.add_runtime_dependency      "mustache", '~>1.0', ">=1.0.3"
+  s.add_runtime_dependency      "tla-sbuilder", '~>0.3', ">=0.3.4.pre"  
+
+end

metadata

@@ -0,0 +1,190 @@
+--- !ruby/object:Gem::Specification
+name: sbuilder-ethereum
+version: !ruby/object:Gem::Version
+  version: 0.0.6
+platform: ruby
+authors:
+- jarjuk
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-12-05 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: sexp_processor
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '4.2'
+- !ruby/object:Gem::Dependency
+  name: mustache
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.0.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.0.3
+- !ruby/object:Gem::Dependency
+  name: tla-sbuilder
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.3'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.3.4.pre
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.3'
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.3.4.pre
+description: |2+
+
+    Ethereum Sbuilder loader plugin to load api interfaces and
+    specification snippets for Ethereum Solidity contract in tlaplus
+    language.
+
+
+email: 
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- VERSION
+- lib/mixer/decl_ref.rb
+- lib/mixer/domain_ref.rb
+- lib/mixer/scope.rb
+- lib/mixer/scoped.rb
+- lib/mixer/symbol_ref.rb
+- lib/mixer/type_symbol.rb
+- lib/plugin/plugin.rb
+- lib/resources/correctness/accouns_type.tla
+- lib/resources/correctness/accounts_unique.tla
+- lib/resources/correctness/accounts_valid.tla
+- lib/resources/correctness/storage_root_unique.tla
+- lib/resources/correctness/total_value.tla
+- lib/resources/eth/accounts_state.tla
+- lib/resources/eth/accounts_temp.tla
+- lib/resources/eth/address_free.tla
+- lib/resources/eth/mined_state.tla
+- lib/resources/eth/storageRoot.tla
+- lib/resources/eth/storageRoot_temp.tla
+- lib/resources/mine/mine_entry.tla
+- lib/resources/mine/mine_service.tla
+- lib/resources/operators/elementExists.tla
+- lib/resources/operators/gasPrice.tla
+- lib/resources/operators/gasValue.tla
+- lib/resources/operators/getElement.tla
+- lib/resources/operators/intrinsicGas.tla
+- lib/resources/operators/transactionGas.tla
+- lib/resources/operators/upFrontCost.tla
+- lib/resources/personal_newAccount/personal_newAccount_done.tla
+- lib/resources/personal_newAccount/personal_newAccount_entry.tla
+- lib/resources/personal_newAccount/personal_newAccount_service.tla
+- lib/resources/removed/sendTransaction_entry.tla
+- lib/resources/removed/sendTransaction_service.tla
+- lib/resources/removed/tst.tla
+- lib/resources/transaction/ethereum_service_done.tla
+- lib/resources/transaction/ethereum_service_pop.tla
+- lib/resources/transaction/ethereum_service_push.tla
+- lib/resources/transaction/ethereum_service_start.tla
+- lib/resources/transaction/status_fail.tla
+- lib/resources/transaction/status_ok.tla
+- lib/sbuilder-ethereum.rb
+- lib/sbuilder/compile.rb
+- lib/sbuilder/constants.rb
+- lib/sbuilder/exception.rb
+- lib/sbuilder/generate/sexp_processor_tla.rb
+- lib/sbuilder/generate/tla_element_generator.rb
+- lib/sbuilder/generate/tla_element_text.rb
+- lib/sbuilder/load.rb
+- lib/sbuilder/mustache/renderer.rb
+- lib/sbuilder/render.rb
+- lib/sbuilder/s.rb
+- lib/sbuilder/sexp_ast.rb
+- lib/sbuilder/sexp_processor_api.rb
+- lib/sbuilder/sexp_processor_canonize.rb
+- lib/sbuilder/sexp_processor_dataflow.rb
+- lib/sbuilder/sexp_processor_ethereum.rb
+- lib/sbuilder/sexp_processor_need_to_canonize.rb
+- lib/sbuilder/sexp_processor_snippet.rb
+- lib/sbuilder/sexp_processor_symboltable1.rb
+- lib/sbuilder/sexp_processor_symboltable2.rb
+- lib/sbuilder/sexp_utils.rb
+- lib/utils/logger.rb
+- lib/utils/string_inject.rb
+- sbuilder-ethereum.gemspec
+homepage: https://github.com/jarjuk/sbuilder-ethereum
+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.3'
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 2.3.1
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.5.1
+signing_key: 
+specification_version: 4
+summary: Ethereum sbuilder api extension
+test_files: []