src/vs/editor/browser/widget/codeEditorWidget.ts/EditorDecorationsCollection/getRanges
class EditorDecorationsCollection:	public getRanges(): Range[] {
		if (!this._editor.hasModel()) {
			return [];
		}
		const model = this._editor.getModel();
		const result: Range[] = [];
		for (const decorationId of this._decorationIds) {
			const range = model.getDecorationRange(decorationId);
			if (range) {
				result.push(range);
			}
		}
		return result;
	}