# -*- encoding: utf-8 -*- # stub: tla-sbuilder 0.2.2 ruby lib Gem::Specification.new do |s| s.name = "tla-sbuilder".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-06-03" s.description = "\n A tool to generate runnable specification models in TLA+ language\n for business IT systems. Specification model can be verified using\n TLA+ Tools, and parts of it can be presented as implementation\n blueprints to developers.\n\n".freeze s.executables = ["sbuilder.rb".freeze] s.files = ["README.md".freeze, "VERSION".freeze, "bin/sbuilder.rb".freeze, "lib/cli/cli-customer.rb".freeze, "lib/cli/cli-example.rb".freeze, "lib/cli/cli-pet.rb".freeze, "lib/cli/cli-text.rb".freeze, "lib/cli/cli.rb".freeze, "lib/sbuilder.rb".freeze, "lib/sbuilder/constants.rb".freeze, "lib/sbuilder/controller.rb".freeze, "lib/sbuilder/default-sbuilder.yaml".freeze, "lib/sbuilder/domain.rb".freeze, "lib/sbuilder/domain_cardinality.rb".freeze, "lib/sbuilder/domain_value.rb".freeze, "lib/sbuilder/exception.rb".freeze, "lib/sbuilder/extension_loader.rb".freeze, "lib/sbuilder/facade/api_loader.rb".freeze, "lib/sbuilder/facade/api_loader_plugin.rb".freeze, "lib/sbuilder/factory.rb".freeze, "lib/sbuilder/model.rb".freeze, "lib/sbuilder/mustache/template.rb".freeze, "lib/sbuilder/mustache/template_reader.rb".freeze, "lib/sbuilder/mustache/template_reader_context.rb".freeze, "lib/sbuilder/param_set.rb".freeze, "lib/sbuilder/param_set_db.rb".freeze, "lib/sbuilder/param_set_def.rb".freeze, "lib/sbuilder/param_set_if.rb".freeze, "lib/sbuilder/param_set_loader_swagger.rb".freeze, "lib/sbuilder/param_set_step.rb".freeze, "lib/sbuilder/param_sets.rb".freeze, "lib/sbuilder/parameter.rb".freeze, "lib/sbuilder/parameter_container.rb".freeze, "lib/sbuilder/parameter_dom.rb".freeze, "lib/sbuilder/parameter_ref.rb".freeze, "lib/sbuilder/resolver.rb".freeze, "lib/sbuilder/resolver_loader.rb".freeze, "lib/sbuilder/resolver_loader_yaml.rb".freeze, "lib/sbuilder/resolver_rule.rb".freeze, "lib/sbuilder/resolver_rule_match.rb".freeze, "lib/sbuilder/resolver_rule_ref.rb".freeze, "lib/sbuilder/spec/README".freeze, "lib/sbuilder/spec/api_loader_facade.rb".freeze, "lib/utils/cache_lines.rb".freeze, "lib/utils/hash_inject.rb".freeze, "lib/utils/logger.rb".freeze, "lib/utils/netio.rb".freeze, "lib/utils/string_inject.rb".freeze, "lib/utils/version.rb".freeze, "mustache/cfg/const_def.mustache".freeze, "mustache/cfg/const_run.mustache".freeze, "mustache/cfg/invariant-infrastructure-service.mustache".freeze, "mustache/cfg/macro_run.mustache".freeze, "mustache/cfg/module_footer.mustache".freeze, "mustache/cfg/module_header.mustache".freeze, "mustache/data-model-dump.mustache".freeze, "mustache/data-model-footer.mustache".freeze, "mustache/data-model-header.mustache".freeze, "mustache/definition_types.mustache".freeze, "mustache/domains.mustache".freeze, "mustache/domains_assign.mustache".freeze, "mustache/extend/extend_assumptions.mustache".freeze, "mustache/extend/extend_const.mustache".freeze, "mustache/extend/extend_implementation.mustache".freeze, "mustache/extend/extend_invariant.mustache".freeze, "mustache/extend/extend_invariant_cfg.mustache".freeze, "mustache/extend/extend_macros.mustache".freeze, "mustache/extend/extend_operations.mustache".freeze, "mustache/extend/extend_state.mustache".freeze, "mustache/infrastructure-service-init.mustache".freeze, "mustache/infrastructure-service-variables.mustache".freeze, "mustache/interface_processes.mustache".freeze, "mustache/interface_stubs_dummy.mustache".freeze, "mustache/interface_types.mustache".freeze, "mustache/invariant_activate.mustache".freeze, "mustache/markdown-header.mustache".freeze, "mustache/markdown-toc.mustache".freeze, "mustache/name_definition_type.mustache".freeze, "mustache/name_domain.mustache".freeze, "mustache/name_domain_value.mustache".freeze, "mustache/name_domain_value_prefix.mustache".freeze, "mustache/name_interface_response_type.mustache".freeze, "mustache/name_interface_type.mustache".freeze, "mustache/name_parameter_definition.mustache".freeze, "mustache/name_parameter_type.mustache".freeze, "mustache/name_process.mustache".freeze, "mustache/name_type_invariant.mustache".freeze, "mustache/name_variable.mustache".freeze, "mustache/operator-infrastructure-service.mustache".freeze, "mustache/possibility/module_extends.mustache".freeze, "mustache/possibility/module_footer.mustache".freeze, "mustache/possibility/module_header.mustache".freeze, "mustache/possibility/possibility_definition.mustache".freeze, "mustache/possibility/possibility_directive.mustache".freeze, "mustache/possibility/possility_setup.mustache".freeze, "mustache/setup/assumptions_activate.mustache".freeze, "mustache/setup/domains_run.mustache".freeze, "mustache/setup/module_footer.mustache".freeze, "mustache/setup/module_header.mustache".freeze, "mustache/setup/operator_run.mustache".freeze, "mustache/setup/operator_tick.mustache".freeze, "mustache/setup/steps_run.mustache".freeze, "mustache/setup/steps_run_bind_rule.mustache".freeze, "mustache/setup/steps_run_bind_set.mustache".freeze, "mustache/setup/steps_run_parameterBind.mustache".freeze, "mustache/setup/steps_run_parameterExact.mustache".freeze, "mustache/state_type_invariant-infrastructure-service.mustache".freeze, "mustache/state_type_invariant.mustache".freeze, "mustache/state_type_invariant_cfg.mustache".freeze, "mustache/state_variables.mustache".freeze, "mustache/tla/const_def.mustache".freeze, "mustache/tla/const_run.mustache".freeze, "mustache/tla/macro-infrastructure-service.mustache".freeze, "mustache/tla/macro_run.mustache".freeze, "mustache/tla/module_footer.mustache".freeze, "mustache/tla/module_header.mustache".freeze, "mustache/tla/operator_run.mustache".freeze, "mustache/tla/operators-infrastructure-service.mustache".freeze, "mustache/tla/plc_define_footer.mustache".freeze, "mustache/tla/plc_define_header.mustache".freeze, "mustache/tla/plc_define_run.mustache".freeze, "mustache/tla/plc_footer.mustache".freeze, "mustache/tla/plc_header.mustache".freeze, "mustache/tla/plc_run_state.mustache".freeze, "mustache/tla/plc_tail.mustache".freeze, "mustache/tla/plc_translation.mustache".freeze, "resources/schema/json_schema/draft-04.json".freeze, "resources/schema/swagger/2.0/schema.json".freeze, "src-extend/README".freeze, "src-extend/extend/extend_assumptions.mustache".freeze, "src-extend/extend/extend_const.mustache".freeze, "src-extend/extend/extend_implementation.mustache".freeze, "src-extend/extend/extend_invariant.mustache".freeze, "src-extend/extend/extend_invariant_cfg.mustache".freeze, "src-extend/extend/extend_macros.mustache".freeze, "src-extend/extend/extend_operations.mustache".freeze, "src-extend/extend/extend_state.mustache".freeze, "src-extend/extend_app/assumption".freeze, "src-extend/extend_app/correctness".freeze, "src-extend/extend_app/infrastructure".freeze, "src-extend/extend_app/interface".freeze, "src-extend/extend_app/operator".freeze, "src-extend/extend_app/possibility".freeze, "src-extend/extend_app/service".freeze, "src-extend/extend_app/state".freeze, "src-extend/extend_app/transaction".freeze, "src/pet/assumption".freeze, "src/pet/assumption_address_domains.tla".freeze, "src/pet/assumption_domains.tla".freeze, "src/pet/assumption_generic.tla".freeze, "src/pet/assumption_id_domains.tla".freeze, "src/pet/assumption_owner_domains.tla".freeze, "src/pet/assumption_pet_domains.tla".freeze, "src/pet/assumption_tag_domains.tla".freeze, "src/pet/correctness".freeze, "src/pet/correctness.cfg".freeze, "src/pet/correctness_coherent_owner_address.tla".freeze, "src/pet/correctness_pet_name.tla".freeze, "src/pet/correctness_ref_tag.tla".freeze, "src/pet/correctness_type_invariants.tla".freeze, "src/pet/correctness_unique_pet.tla".freeze, "src/pet/correctness_unique_tag.tla".freeze, "src/pet/docs/Petstore.md".freeze, "src/pet/extend/extend_assumptions.mustache".freeze, "src/pet/extend/extend_implementation.mustache".freeze, "src/pet/extend/extend_invariant.mustache".freeze, "src/pet/extend/extend_invariant_cfg.mustache".freeze, "src/pet/extend/extend_macros.mustache".freeze, "src/pet/extend/extend_operations.mustache".freeze, "src/pet/extend/extend_state.mustache".freeze, "src/pet/infrastructure".freeze, "src/pet/infrastructure_id_get.tla".freeze, "src/pet/interface".freeze, "src/pet/interface_delete_pet.tla".freeze, "src/pet/interface_get_pet.tla".freeze, "src/pet/interface_post_pet.tla".freeze, "src/pet/interface_post_tag.tla".freeze, "src/pet/interface_put_tag.tla".freeze, "src/pet/operator".freeze, "src/pet/operator_find_tag_by_owner_name.tla".freeze, "src/pet/operator_get_pet.tla".freeze, "src/pet/operator_get_pet_by_tag.tla".freeze, "src/pet/operator_get_tag.tla".freeze, "src/pet/operator_new_owner.tla".freeze, "src/pet/operator_new_pet.tla".freeze, "src/pet/operator_new_tag.tla".freeze, "src/pet/operator_next_pet_id.tla".freeze, "src/pet/operator_responses.tla".freeze, "src/pet/operator_tag_exists.tla".freeze, "src/pet/operator_tag_owner_validated.tla".freeze, "src/pet/operator_tag_referenced.tla".freeze, "src/pet/operator_valid_owner.tla".freeze, "src/pet/operator_valid_pet.tla".freeze, "src/pet/operator_valid_tag.tla".freeze, "src/pet/possibility".freeze, "src/pet/possibility_at_least_two_tags.tla".freeze, "src/pet/possibility_invalid_tag_address.tla".freeze, "src/pet/service".freeze, "src/pet/service_pet_delete.tla".freeze, "src/pet/service_pet_get.tla".freeze, "src/pet/service_pet_post.tla".freeze, "src/pet/service_tag_post.tla".freeze, "src/pet/service_tag_put.tla".freeze, "src/pet/state".freeze, "src/pet/state_infra.tla".freeze, "src/pet/state_pet.tla".freeze, "src/pet/state_tag_id.tla".freeze, "src/pet/transaction".freeze, "src/pet/transaction_delete_pet.tla".freeze, "src/pet/transaction_enter_pet.tla".freeze, "src/pet/transaction_enter_tag.tla".freeze, "src/pet/transaction_error.tla".freeze, "tla-sbuilder.gemspec".freeze] s.homepage = "https://github.com/jarjuk/tla-sbuilder".freeze s.licenses = ["MIT".freeze] s.required_ruby_version = Gem::Requirement.new("~> 2".freeze) s.rubygems_version = "3.5.10".freeze s.summary = "Specification builder for TLA+ language".freeze s.specification_version = 4 s.add_runtime_dependency(%q.freeze, ["~> 1.0".freeze, ">= 1.0.2".freeze]) s.add_runtime_dependency(%q.freeze, ["~> 3.3".freeze, ">= 3.3.2".freeze]) s.add_runtime_dependency(%q.freeze, ["~> 0.19".freeze, ">= 0.19.1".freeze]) s.add_runtime_dependency(%q.freeze, ["~> 2.5".freeze, ">= 2.5.2".freeze]) s.add_runtime_dependency(%q.freeze, [">= 0.1.2".freeze]) end