# -*- encoding: utf-8 -*- # stub: tla-parser-s 0.2.2 ruby lib Gem::Specification.new do |s| s.name = "tla-parser-s".freeze s.version = "0.2.2".freeze s.required_rubygems_version = Gem::Requirement.new(">= 0".freeze) if s.respond_to? :required_rubygems_version= s.require_paths = ["lib".freeze] s.authors = ["jarjuk".freeze] s.date = "2016-12-02" s.description = " A library paring TLA+ language. Gem name `tla-parser-s` because did\n not want to reserve \"officical\" `tla-parser` name.\n\n Sematic routines create a list of files -names (=modules) needed to\n satisfy set of entry points. Entry points include names passed as\n parameters to command line tool (`bin/tla-resolver.rb`), or as API\n paramters to `TlaParserS::Resolver#resolveModulesDo`.\n\n".freeze s.executables = ["tla-resolver.rb".freeze] s.files = ["README.md".freeze, "VERSION".freeze, "bin/tla-resolver.rb".freeze, "lib/cli/cli.rb".freeze, "lib/parser/exception.rb".freeze, "lib/parser/lvalue.rb".freeze, "lib/parser/parser.rb".freeze, "lib/parser/parser_nodes.rb".freeze, "lib/parser/parser_sexp.treetop".freeze, "lib/semantics/context.rb".freeze, "lib/semantics/exception.rb".freeze, "lib/semantics/resolver.rb".freeze, "lib/semantics/symbol_table.rb".freeze, "lib/tla-parser-s.rb".freeze, "lib/utils/logger.rb".freeze, "lib/utils/syntax_node.rb".freeze, "lib/utils/version.rb".freeze, "spec/fixtures/callables1.tla".freeze, "spec/fixtures/directives.tla".freeze, "spec/fixtures/resolver1/comments.tla".freeze, "spec/fixtures/resolver1/directives.cfg".freeze, "spec/fixtures/resolver1/directives.tla".freeze, "spec/fixtures/resolver1/empty.tla".freeze, "spec/fixtures/resolver1/macro1.tla".freeze, "spec/fixtures/resolver1/macro2.tla".freeze, "spec/fixtures/resolver1/op1.tla".freeze, "spec/fixtures/resolver1/op2.tla".freeze, "spec/fixtures/resolver1/op3.tla".freeze, "spec/fixtures/resolver1/op4.tla".freeze, "spec/fixtures/resolver1/op_let.tla".freeze, "spec/fixtures/resolver1/op_tail_chg.tla".freeze, "spec/fixtures/resolver1/proc1.tla".freeze, "spec/fixtures/resolver1/proc10.tla".freeze, "spec/fixtures/resolver1/proc2.tla".freeze, "spec/fixtures/resolver1/proc3.tla".freeze, "spec/fixtures/resolver1/proc4.tla".freeze, "spec/fixtures/resolver1/proc4_hide.tla".freeze, "spec/fixtures/resolver1/proc5.tla".freeze, "spec/fixtures/resolver1/proc6.tla".freeze, "spec/fixtures/resolver1/proc7.tla".freeze, "spec/fixtures/resolver1/proc8.tla".freeze, "spec/fixtures/resolver1/proc9.tla".freeze, "spec/fixtures/resolver1/set_constrcutore.tla".freeze, "spec/fixtures/resolver1/stmt_assert.tla".freeze, "spec/fixtures/resolver1/stmt_assign.tla".freeze, "spec/fixtures/resolver1/stmt_assign2.tla".freeze, "spec/fixtures/resolver1/stmt_cond.tla".freeze, "spec/fixtures/resolver1/stmt_either.tla".freeze, "spec/fixtures/resolver1/stmt_print.tla".freeze, "spec/fixtures/resolver1/var4.tla".freeze, "spec/fixtures/resolver1/var5.tla".freeze, "spec/fixtures/resolver1/var_choose_except.tla".freeze, "spec/fixtures/resolver1/var_if.tla".freeze, "spec/fixtures/resolver1/var_if_no_else.tla".freeze, "spec/fixtures/resolver1/var_quantify.tla".freeze, "spec/fixtures/resolver1/var_rec_except.tla".freeze, "spec/fixtures/resolver1/var_rec_except2.tla".freeze, "spec/fixtures/resolver1/var_rec_expr.tla".freeze, "spec/fixtures/resolver1/var_rec_expr_add.tla".freeze, "spec/fixtures/resolver1/var_record.tla".freeze, "spec/fixtures/resolver1/var_seq.tla".freeze, "spec/fixtures/resolver1/var_set.tla".freeze, "spec/fixtures/resolver1/var_set_expr_map.tla".freeze, "spec/fixtures/resolver1/var_x.tla".freeze, "spec/fixtures/resolver1/variables.tla".freeze, "spec/parser/parser_fixtures_spec.rb".freeze, "spec/parser/parser_spec.rb".freeze, "spec/semantics/context_spec.rb".freeze, "spec/semantics/resolver_spec.rb".freeze, "spec/semantics/symbol_table_spec.rb".freeze, "spec/spec_helper.rb".freeze, "tla-parser-s.gemspec".freeze] s.licenses = ["MIT".freeze] s.required_ruby_version = Gem::Requirement.new("~> 2".freeze) s.rubygems_version = "3.5.10".freeze s.summary = "Treetop parser & sematic routines to resolve modules+".freeze s.specification_version = 4 s.add_runtime_dependency(%q<thor>.freeze, ["~> 0.19".freeze, ">= 0.19.1".freeze]) s.add_runtime_dependency(%q<treetop>.freeze, ["~> 1.6".freeze, ">= 1.6.3".freeze]) end