proofs_controller_spec.rb revision e0ee22c9b87b3deb1a13b14fe4762be6156c895f
require 'spec_helper'
describe ProofsController do
let(:prover) { create :prover }
let(:theorem) { create :theorem }
let(:ontology) { theorem.ontology }
let(:repository) { ontology.repository }
let(:proof_params) { {'provers' => [prover.id.to_s, '']} }
context 'on ontology' do
context 'signed in with write access' do
let(:user) { create(:permission, item: repository).subject }
before { sign_in user }
context 'new' do
before do
get :new,
repository_id: repository.to_param,
ontology_id: ontology.to_param
end
it { should respond_with :ok }
it { should render_template :new }
end
context 'create' do
before do
allow(Proof).to receive(:new).and_call_original
expect_any_instance_of(Proof).to receive(:save!)
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
proof: proof_params
end
it 'set the flash/success' do
expect(flash[:success]).not_to be_nil
end
it { should respond_with :found }
it 'redirect to the theorems view' do
expect(response).to redirect_to([repository, ontology, :theorems])
end
it 'instantiates a Proof object' do
expect(Proof).to have_received(:new).with(request.params)
end
end
context 'create with wrong prover' do
let(:bad_proof_params) { {'provers' => ['-1', '']} }
before do
allow(Proof).to receive(:new).and_call_original
expect_any_instance_of(Proof).not_to receive(:save!)
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
proof: bad_proof_params
end
it 'set the flash/alert' do
expect(flash[:alert]).not_to be_nil
end
it { should respond_with :found }
it 'redirect to the new action again' do
expect(response).to redirect_to(action: :new)
end
it 'instantiates a Proof object' do
expect(Proof).to have_received(:new).with(request.params)
end
end
end
context 'signed in, without write access' do
let(:user) { create :user }
before do
sign_in user
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param
end
it 'set the flash/alert' do
expect(flash[:alert]).to match(/not authorized/)
end
it 'redirect to the root path' do
expect(response).to redirect_to(root_path)
end
end
context 'not signed in' do
let(:user) { create :user }
before do
sign_in user
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param
end
it 'set the flash/alert' do
expect(flash[:alert]).to match(/not authorized/)
end
it 'redirect to the root path' do
expect(response).to redirect_to(root_path)
end
end
end
context 'on theorem' do
context 'signed in with write access' do
let(:user) { create(:permission, item: repository).subject }
before { sign_in user }
context 'new' do
before do
get :new,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
theorem_id: theorem.to_param
end
it { should respond_with :ok }
it { should render_template :new }
end
context 'create' do
before do
allow(Proof).to receive(:new).and_call_original
expect_any_instance_of(Proof).to receive(:save!)
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
theorem_id: theorem.to_param,
proof: proof_params
end
it 'set the flash/success' do
expect(flash[:success]).not_to be_nil
end
it { should respond_with :found }
it 'redirect to the theorem' do
expect(response).to redirect_to([repository, ontology, theorem])
end
it 'instantiates a Proof object' do
expect(Proof).to have_received(:new).with(request.params)
end
end
context 'create with wrong prover' do
let(:bad_proof_params) { {'provers' => ['-1', '']} }
before do
allow(Proof).to receive(:new).and_call_original
expect_any_instance_of(Proof).not_to receive(:save!)
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
theorem_id: theorem.to_param,
proof: bad_proof_params
end
it 'set the flash/alert' do
expect(flash[:alert]).not_to be_nil
end
it { should respond_with :found }
it 'redirect to the new action again' do
expect(response).to redirect_to(action: :new)
end
it 'instantiates a Proof object' do
expect(Proof).to have_received(:new).with(request.params)
end
end
end
context 'signed in, without write access' do
let(:user) { create :user }
before do
sign_in user
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
theorem_id: theorem.to_param
end
it 'set the flash/alert' do
expect(flash[:alert]).to match(/not authorized/)
end
it 'redirect to the root path' do
expect(response).to redirect_to(root_path)
end
end
context 'not signed in' do
let(:user) { create :user }
before do
sign_in user
post :create,
repository_id: repository.to_param,
ontology_id: ontology.to_param,
theorem_id: theorem.to_param
end
it 'set the flash/alert' do
expect(flash[:alert]).to match(/not authorized/)
end
it 'redirect to the root path' do
expect(response).to redirect_to(root_path)
end
end
end
end