docs: function(type, priority) {
  			if (!this._annotationTypes) { this._annotationTypes = []; }
  			var index = priority - 1;
  			if (priority == undefined || !(0 <= index && index < this._annotationTypes.length)) {
  				this._annotationTypes.push(type);
  			} else {
  				this._annotationTypes.splice(index, 0, type);
  			}
  		}