2014-06-30 22:16:26 -04:00
|
|
|
Range = ace.require('ace/range').Range
|
2014-01-03 13:32:13 -05:00
|
|
|
|
|
|
|
module.exports = class Problem
|
|
|
|
annotation: null
|
|
|
|
markerRange: null
|
2014-11-07 00:43:39 -05:00
|
|
|
constructor: (@aether, @aetherProblem, @ace, isCast=false, @levelID) ->
|
2014-01-03 13:32:13 -05:00
|
|
|
@buildAnnotation()
|
2014-08-14 14:55:43 -04:00
|
|
|
@buildMarkerRange() if isCast
|
2014-11-08 14:59:39 -05:00
|
|
|
# TODO: get ACE screen line, too, for positioning, since any multiline "lines" will mess up positioning
|
|
|
|
Backbone.Mediator.publish("problem:problem-created", line: @annotation.row, text: @annotation.text) if application.isIPadApp
|
2014-01-03 13:32:13 -05:00
|
|
|
|
|
|
|
destroy: ->
|
|
|
|
@removeMarkerRange()
|
2014-08-14 14:55:43 -04:00
|
|
|
@userCodeProblem.off() if @userCodeProblem
|
2014-01-03 13:32:13 -05:00
|
|
|
|
|
|
|
buildAnnotation: ->
|
2014-05-08 14:43:00 -04:00
|
|
|
return unless @aetherProblem.range
|
2014-01-03 13:32:13 -05:00
|
|
|
text = @aetherProblem.message.replace /^Line \d+: /, ''
|
2014-05-08 14:43:00 -04:00
|
|
|
start = @aetherProblem.range[0]
|
2014-01-03 13:32:13 -05:00
|
|
|
@annotation =
|
2014-02-03 16:58:25 -05:00
|
|
|
row: start.row,
|
|
|
|
column: start.col,
|
2014-01-03 13:32:13 -05:00
|
|
|
raw: text,
|
|
|
|
text: text,
|
2014-06-30 22:16:26 -04:00
|
|
|
type: @aetherProblem.level ? 'error'
|
2014-01-03 13:32:13 -05:00
|
|
|
|
|
|
|
buildMarkerRange: ->
|
2014-05-08 14:43:00 -04:00
|
|
|
return unless @aetherProblem.range
|
|
|
|
[start, end] = @aetherProblem.range
|
2014-01-03 13:32:13 -05:00
|
|
|
clazz = "problem-marker-#{@aetherProblem.level}"
|
2014-02-03 16:58:25 -05:00
|
|
|
@markerRange = new Range start.row, start.col, end.row, end.col
|
2014-01-03 13:32:13 -05:00
|
|
|
@markerRange.start = @ace.getSession().getDocument().createAnchor @markerRange.start
|
|
|
|
@markerRange.end = @ace.getSession().getDocument().createAnchor @markerRange.end
|
2014-06-30 22:16:26 -04:00
|
|
|
@markerRange.id = @ace.getSession().addMarker @markerRange, clazz, 'text'
|
2014-01-03 13:32:13 -05:00
|
|
|
|
|
|
|
removeMarkerRange: ->
|
|
|
|
return unless @markerRange
|
|
|
|
@ace.getSession().removeMarker @markerRange.id
|
|
|
|
@markerRange.start.detach()
|
|
|
|
@markerRange.end.detach()
|