webspicy 0.17.0 → 0.20.2

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,106 +0,0 @@
-PATH
-  remote: ../..
-  specs:
-    webspicy (0.17.0)
-      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.10)
-      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.14.2)
-    ffi-compiler (1.0.1)
-      ffi (>= 1.0.0)
-      rake
-    finitio (0.9.1)
-      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.3)
-      ffi-compiler (>= 1.0, < 2.0)
-    i18n (1.8.7)
-      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.3.0)
-    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.1)
-      rspec-support (~> 3.10.0)
-    rspec-expectations (3.10.1)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-mocks (3.10.1)
-      diff-lcs (>= 1.2.0, < 2.0)
-      rspec-support (~> 3.10.0)
-    rspec-support (3.10.1)
-    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
-  x86_64-darwin-18
-
-DEPENDENCIES
-  rake (~> 12)
-  sinatra (~> 2)
-  webspicy!
-
-BUNDLED WITH
-   2.2.2

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,24 +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.errcondition  TodoNotRemoved
-
-    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/formaldef/todo/_one/delete.yml

@@ -1,55 +0,0 @@
----
-name: |-
-  Todo
-
-url: |-
-  /todo/{id}
-
-services:
-- method: |-
-    DELETE
-
-  description: |-
-    Deletes a single todo item
-
-  preconditions:
-    - Must be an admin
-
-  postconditions:
-    - The todo has been removed
-
-  errconditions:
-    - If it existed, the todo has not been removed
-
-  input_schema: |-
-    {
-      id: Integer
-    }
-
-  output_schema: |-
-    Any
-
-  error_schema: |-
-    ErrorSchema
-
-  examples:
-
-    - description: |-
-        when requested on an existing TODO
-      params:
-        id: 1
-      expected:
-        content_type: ~
-        status: 204
-
-  counterexamples:
-
-    - description: |-
-        when requested on an unexisting TODO
-      params:
-        id: 999254654
-      expected:
-        content_type: application/json
-        status: 404
-      assert:
-        - "pathFD('', error: 'No such todo')"

data/examples/restful/webspicy/formaldef/todo/_one/get.simpler.yml

@@ -1,46 +0,0 @@
----
-url: |-
-  /todo/{id}
-
-method: |-
-  GET
-
-description: |-
-  Returns a single todo item
-
-input_schema: |-
-  {
-    id: Integer
-  }
-
-output_schema: |-
-  Todo
-
-error_schema: |-
-  ErrorSchema
-
-examples:
-
-  - description: |-
-      when requested on an existing TODO
-    params:
-      id: 1
-    expected:
-      content_type: application/json
-      status: 200
-    assert:
-      - "pathFD('', id: 1)"
-      - "match('description', /Refactor/)"
-      - "notMatch('description', /Foo/)"
-
-counterexamples:
-
-  - description: |-
-      when requested on an unexisting TODO
-    params:
-      id: 999254654
-    expected:
-      content_type: application/json
-      status: 404
-    assert:
-      - "pathFD('', error: 'No such todo')"