The editor for which this controller is created.
The validator which is under control.
A name resolver to resolve names in errors.
The scroller for the edited contents.
The DOM element representing the root of the edited document.
The editor for which this controller is created.
The DOM element representing the root of the edited document.
This holds the timeout set to process validation errors in batch. The delay in ms before we consider a batch ready to process.
A name resolver to resolve names in errors.
The scroller for the edited contents.
The validator which is under control.
Add items to the list of errors.
The items to add to the list of errors.
Add markers to the layer that is used to contain error markers.
The markers to add.
Clear all validation errors. This makes the editor forget and updates the GUI to remove all displayed errors.
a shallow copy of the error list.
Find where the error represented by the event passed should be marked.
The error reported by the validator.
A location, if possible.
Handles resets of the validation state.
Handles a validation error reported by the validator. It records the error and schedule future processing of the errors.
Handles changes in the validator state. Updates the progress bar and the validation status.
Process a single error. This will compute the location of the error marker and will create a marker to add to the error layer, and a list item to add to the list of errors.
false if there was no insertion point for the error, and thus
no marker or item were created. true otherwise.
Resets the state of the error processing task and resumes it as soon as possible.
This method recreates the error messages and the error markers associated with the errors that the editor already knows.
This method updates the location markers of the errors.
Resumes all tasks and the validator.
Stops all tasks and the validator.
Terminate the controller. This stops all runners and clears any unexpired timeout.
Generated using TypeDoc
Controls the validator and the tasks that pertain to error processing and refreshing. Takes care of reporting errors to the user.