Cross Reference: proof_attempts_controller.rb
xref
: /
ontohub
/
app
/
controllers
/
proof_attempts_controller.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
proof_attempts_controller.rb revision 80d7c205926c3c8b9869082cc4eb0760e54e0aee
1516
N/A
class
ProofAttemptsController
<
InheritedResources
::
Base
941
N/A
belongs_to
:
theorem
941
N/A
actions
:
index
, :
show
941
N/A
helper_method
:
ontology
, :
theorem
941
N/A
before_filter
:
check_read_permissions
941
N/A
941
N/A
def
retry_failed
941
N/A
check_write_permissions
941
N/A
resource.retry
_failed
941
N/A
redirect_to
locid_for
(
resource
)
941
N/A
end
941
N/A
941
N/A
protected
941
N/A
941
N/A
def
theorem
941
N/A
@
theorem
||=
Theorem.find
(
params
[:
theorem_id
])
941
N/A
end
941
N/A
941
N/A
def
ontology
941
N/A
@
ontology
||=
Ontology.find
(
params
[:
ontology_id
])
941
N/A
end
941
N/A
3315
N/A
def
check_read_permissions
941
N/A
authorize
! :
show
,
ontology.repository
3339
N/A
end
941
N/A
941
N/A
def
check_write_permissions
1715
N/A
authorize
! :
write
,
ontology.repository
941
N/A
end
1230
N/A
end
941
N/A