webspicy 0.16.3 → 0.20.1

data/examples/restful/Gemfile

@@ -1,5 +0,0 @@
-source "https://rubygems.org"
-
-gem "rake", "~> 12"
-gem 'sinatra', "~> 2"
-gem "webspicy", path: "../.."

data/examples/restful/Gemfile.lock

@@ -1,105 +0,0 @@
-PATH
-  remote: ../..
-  specs:
-    webspicy (0.16.3)
-      colorize (~> 0.8.1)
-      finitio (~> 0.9.0)
-      http (>= 2)
-      mustermann (~> 1.0)
-      mustermann-contrib
-      openapi3_parser (~> 0.8.2)
-      path (~> 2.0)
-      rack-robustness (~> 1.1, >= 1.1.0)
-      rack-test (~> 0.6.3)
-      rspec (~> 3.7)
-      rspec_junit_formatter (~> 0.4.1)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    addressable (2.7.0)
-      public_suffix (>= 2.0.2, < 5.0)
-    citrus (3.0.2)
-    colorize (0.8.1)
-    commonmarker (0.21.0)
-      ruby-enum (~> 0.5)
-    concurrent-ruby (1.1.7)
-    diff-lcs (1.4.4)
-    domain_name (0.5.20190701)
-      unf (>= 0.0.5, < 1.0.0)
-    ffi (1.13.1)
-    ffi-compiler (1.0.1)
-      ffi (>= 1.0.0)
-      rake
-    finitio (0.9.0)
-      citrus (>= 2.4, < 4.0)
-    hansi (0.2.0)
-    http (4.4.1)
-      addressable (~> 2.3)
-      http-cookie (~> 1.0)
-      http-form_data (~> 2.2)
-      http-parser (~> 1.2.0)
-    http-cookie (1.0.3)
-      domain_name (~> 0.5)
-    http-form_data (2.3.0)
-    http-parser (1.2.2)
-      ffi-compiler
-    i18n (1.8.5)
-      concurrent-ruby (~> 1.0)
-    mustermann (1.1.1)
-      ruby2_keywords (~> 0.0.1)
-    mustermann-contrib (1.1.1)
-      hansi (~> 0.2.0)
-      mustermann (= 1.1.1)
-    openapi3_parser (0.8.2)
-      commonmarker (~> 0.17)
-      psych (~> 3.1)
-    path (2.0.1)
-    psych (3.2.1)
-    public_suffix (4.0.6)
-    rack (2.2.3)
-    rack-protection (2.1.0)
-      rack
-    rack-robustness (1.1.0)
-    rack-test (0.6.3)
-      rack (>= 1.0)
-    rake (12.3.3)
-    rspec (3.10.0)
-      rspec-core (~> 3.10.0)
-      rspec-expectations (~> 3.10.0)
-      rspec-mocks (~> 3.10.0)
-    rspec-core (3.10.0)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.0)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.0)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.0)
-    rspec_junit_formatter (0.4.1)
-      rspec-core (>= 2, < 4, != 2.12.0)
-    ruby-enum (0.8.0)
-      i18n
-    ruby2_keywords (0.0.2)
-    sinatra (2.1.0)
-      mustermann (~> 1.0)
-      rack (~> 2.2)
-      rack-protection (= 2.1.0)
-      tilt (~> 2.0)
-    tilt (2.0.10)
-    unf (0.1.4)
-      unf_ext
-    unf_ext (0.0.7.7)
-
-PLATFORMS
-  ruby
-  x86_64-darwin-15
-
-DEPENDENCIES
-  rake (~> 12)
-  sinatra (~> 2)
-  webspicy!
-
-BUNDLED WITH
-   2.2.1

data/examples/restful/Rakefile

@@ -1,25 +0,0 @@
-$LOAD_PATH.unshift File.expand_path("..", __FILE__)
-require 'app'
-
-desc "Checks all .yml definition files"
-task :check do
-  Webspicy::Checker.new(Path.dir/'webspicy').call
-end
-
-namespace :test do
-  desc "Run all tests directly on Sinatra application using rack/test"
-  task :rack do
-    Webspicy::Tester.new(Path.dir/'webspicy/rack.rb').call
-  end
-
-  desc "Runs all tests on the real web server (must be launched previously)"
-  task :real do
-    Webspicy::Tester.new(Path.dir/'webspicy/real.rb').call
-  end
-end
-
-desc "Runs all checks and tests"
-task :test => :check
-task :test => :"test:rack"
-
-task :default => :test

data/examples/restful/app.rb

@@ -1,180 +0,0 @@
-require 'webspicy'
-require 'sinatra'
-require 'json'
-require 'path'
-require 'finitio'
-require 'rack/robustness'
-require 'csv'
-
-SCHEMA = Finitio::DEFAULT_SYSTEM.parse (Path.dir/('webspicy/schema.fio')).read
-
-TODOLIST = [
-  {
-    id: 1,
-    description: "Refactor the framework"
-  },
-  {
-    id: 2,
-    description: "Write documentation"
-  }
-]
-
-disable :show_exceptions
-enable :raise_errors
-
-set :todolist, TODOLIST.dup
-
-set(:auth) do |role|
-  condition do
-    token = env['HTTP_AUTHORIZATION']
-    case token
-    when NilClass
-      halt [
-        401,
-        {'Content-Type' => 'application/json'},
-        [{ error: "Please log in first" }.to_json]
-      ]
-    when "Bearer #{role}"
-      true
-    else
-      halt [
-        401,
-        {'Content-Type' => 'application/json'},
-        [{ error: "#{role.capitalize} required" }.to_json]
-      ]
-    end
-  end
-end
-
-use Rack::Robustness do |g|
-  g.no_catch_all
-  g.status 400
-  g.content_type 'application/json'
-  g.body{|ex| { error: ex.message }.to_json }
-  g.on(Finitio::TypeError)
-end
-
-options '*' do
-  status 204
-  ""
-end
-
-post '/reset' do
-  settings.todolist = TODOLIST.dup
-  status 200
-  ""
-end
-
-get '/todo/' do
-  raise unless request.env['HTTP_ACCEPT'] == 'application/json'
-  content_type :json
-  settings.todolist.to_json
-end
-
-post '/todo/', :auth => :user do
-  content_type :json
-  case todos = loaded_body
-  when Array
-    n = 0
-    todos.each do |todo|
-      settings.todolist << todo
-      n += 1
-    end
-    status 201
-    { count: n }.to_json
-  when Hash
-    todo = SCHEMA["Todo"].dress(todos)
-    if settings.todolist.find{|t| t[:id] == todo[:id] }
-      status 409
-      {error: "Identifier already in use"}.to_json
-    else
-      settings.todolist << todo
-      status 201
-      todo.to_json
-    end
-  end
-end
-
-get '/todo/:id' do |id|
-  raise unless request.env['HTTP_ACCEPT'] == 'application/json'
-  content_type :json
-  todo = settings.todolist.find{|todo| todo[:id] == Integer(id) }
-  if todo.nil?
-    status 404
-    {error: "No such todo"}.to_json
-  else
-    todo.to_json
-  end
-end
-
-patch '/todo/:id', :auth => :user do |id|
-  content_type :json
-  todo = settings.todolist.find{|todo| todo[:id] == Integer(id) }
-  if todo.nil?
-    status 404
-    {error: "No such todo"}.to_json
-  else
-    patch = SCHEMA["TodoPatch"].dress(loaded_body.merge("id" => Integer(id)))
-    patched = todo.merge(patch)
-    settings.todolist = settings.todolist.reject{|todo| todo[:id] == Integer(id) }
-    settings.todolist << patched
-    patched.to_json
-  end
-end
-
-put '/todo/:id', :auth => :user do |id|
-  content_type :json
-  todo = settings.todolist.find{|todo| todo[:id] == Integer(id) }
-  if todo.nil?
-    status 404
-    {error: "No such todo"}.to_json
-  else
-    put = SCHEMA["TodoPut"].dress(loaded_body.merge(id: Integer(id)))
-    updated = todo.merge(put)
-    settings.todolist = settings.todolist.reject{|todo| todo[:id] == Integer(id) }
-    settings.todolist << updated
-    updated.to_json
-  end
-end
-
-delete '/todo/:id', :auth => :admin do |id|
-  content_type :json
-  todo = settings.todolist.find{|todo| todo[:id] == Integer(id) }
-  if todo.nil?
-    status 404
-    {error: "No such todo"}.to_json
-  else
-    settings.todolist = settings.todolist.reject{|todo| todo[:id] == Integer(id) }
-    status 204
-    content_type "text/plain"
-  end
-end
-
-###
-
-def loaded_body
-  case ctype = request.content_type
-  when /json/
-    JSON.load(request.body.read)
-  when /csv/
-    csv = ::CSV.new(request.body.read, :headers => true, :header_converters => :symbol)
-    csv.map {|row| row.to_hash }
-  when /multipart\/form-data/
-    file_body params[:file]
-  else
-    halt [415,{},["Unsupported content type: `#{ctype}`"]]
-  end
-end
-
-def file_body(file)
-  ctype = Path(file[:filename] || file["filename"]).extname
-  ctype = (file[:type] || file["type"]) if ctype.nil? or ctype.empty?
-  case ctype
-  when /csv/
-    str = file[:tempfile].read
-    csv = ::CSV.new(str, :headers => true, :header_converters => :symbol)
-    csv.map {|row| row.to_hash }
-  else
-    halt [415,{},["Unsupported content type: `#{ctype}`\n#{file.inspect}"]]
-  end
-end

data/examples/restful/webspicy/config.rb

@@ -1,23 +0,0 @@
-def webspicy_config(&bl)
-  Webspicy::Configuration.new(Path.dir) do |c|
-
-    c.precondition MustBeAuthenticated
-    c.precondition MustBeAnAdmin
-
-    c.precondition Webspicy::Specification::Precondition::GlobalRequestHeaders.new({
-      'Accept' => 'application/json'
-    }){|service| service.method == "GET" }
-
-    c.precondition Webspicy::Specification::Precondition::RobustToInvalidInput.new
-
-    c.postcondition TodoRemoved
-
-    c.instrument do |tc, client|
-      role = tc.metadata[:role]
-      tc.headers['Authorization'] = "Bearer #{role}" if role
-    end
-
-    bl.call(c) if bl
-  end
-end
-webspicy_config

data/examples/restful/webspicy/rack.rb

@@ -1,7 +0,0 @@
-require_relative 'config'
-webspicy_config do |c|
-  c.client = Webspicy::Tester::RackTestClient.for(::Sinatra::Application)
-  c.before_each do |_,client|
-    client.api.post "/reset"
-  end
-end

data/examples/restful/webspicy/real.rb

@@ -1,8 +0,0 @@
-require_relative 'config'
-webspicy_config do |c|
-  c.host = "http://127.0.0.1:4567"
-  c.client = Webspicy::Tester::HttpClient
-  c.before_each do |_,client|
-    client.api.post "http://127.0.0.1:4567/reset"
-  end
-end

data/examples/restful/webspicy/schema.fio

@@ -1,20 +0,0 @@
-@import webspicy/scalars
-
-Todo = {
-  id          : Integer
-  description : String
-}
-
-TodoPatch = {
-  id          :  Integer
-  description :? String
-}
-
-TodoPut = {
-  id          : Integer
-  description : String
-}
-
-ErrorSchema = {
-  error: String
-}

data/examples/restful/webspicy/support/must_be_an_admin.rb

@@ -1,20 +0,0 @@
-require_relative 'must_be_authenticated'
-class MustBeAnAdmin < MustBeAuthenticated
-  include Webspicy::Precondition
-
-  def self.match(service, pre)
-    MustBeAnAdmin.new(:admin) if pre =~ /Must be an admin/
-  end
-
-  def counterexamples(service)
-    examples = super
-    examples << counterexample(
-      "When authenticated as a normal user",
-      "user",
-      "Admin required",
-      401
-    )
-    examples
-  end
-
-end

data/examples/restful/webspicy/support/must_be_authenticated.rb

@@ -1,48 +0,0 @@
-class MustBeAuthenticated
-  include Webspicy::Precondition
-
-  def initialize(role = :user)
-    @role = role
-  end
-  attr_reader :role
-
-  def self.match(service, pre)
-    MustBeAuthenticated.new if pre =~ /Must be authenticated/
-  end
-
-  def instrument(test_case, client)
-    return if test_case.metadata.has_key?(:role)
-    return if test_case.description =~ /When not authenticated at all/
-    test_case.metadata[:role] = role
-  end
-
-  def counterexamples(service)
-    examples = super
-    examples << counterexample(
-      "When not authenticated at all",
-      "~",
-      "Please log in first",
-      401
-    )
-    examples
-  end
-
-  def counterexample(description, role, expected, status = 401)
-    YAML.load <<-YML.gsub(/^\s+[#][ ]/, "")
-    # description: |-
-    #   #{description} (#{self.class.name} PRE)
-    # params:
-    #   id: 1
-    # dress_params:
-    #   false
-    # metadata:
-    #   role: #{role}
-    # expected:
-    #   content_type: application/json
-    #   status: #{status}
-    # assert:
-    #   - "pathFD('', error: '#{expected}')"
-    YML
-  end
-
-end