/*
* Copyright (c) 2012 Sam Harwell, Tunnel Vision Laboratories LLC
* All rights reserved.
*
* The source code of this document is proprietary work, and is not licensed for
* distribution. For information about licensing, contact Sam Harwell at:
* sam@tunnelvisionlabs.com
*/
package org.antlr.works.editor.grammar.parser;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.EnumSet;
import java.util.List;
import java.util.concurrent.ExecutionException;
import java.util.concurrent.Future;
import javax.swing.text.BadLocationException;
import javax.swing.text.Document;
import org.antlr.netbeans.editor.parsing.SyntaxError;
import org.antlr.netbeans.editor.text.DocumentSnapshot;
import org.antlr.netbeans.editor.text.SnapshotPositionRegion;
import org.antlr.netbeans.editor.text.TrackingPositionRegion;
import org.antlr.netbeans.parsing.spi.ParseContext;
import org.antlr.netbeans.parsing.spi.ParserData;
import org.antlr.netbeans.parsing.spi.ParserDataDefinition;
import org.antlr.netbeans.parsing.spi.ParserDataOptions;
import org.antlr.netbeans.parsing.spi.ParserResultHandler;
import org.antlr.netbeans.parsing.spi.ParserTask;
import org.antlr.netbeans.parsing.spi.ParserTaskDefinition;
import org.antlr.netbeans.parsing.spi.ParserTaskManager;
import org.antlr.netbeans.parsing.spi.ParserTaskProvider;
import org.antlr.netbeans.parsing.spi.ParserTaskScheduler;
import org.antlr.netbeans.parsing.spi.SingletonParserTaskProvider;
import org.antlr.works.editor.grammar.GrammarEditorKit;
import org.antlr.works.editor.grammar.GrammarParserDataDefinitions;
import org.netbeans.api.editor.mimelookup.MimeRegistration;
import org.netbeans.spi.editor.hints.ErrorDescription;
import org.netbeans.spi.editor.hints.ErrorDescriptionFactory;
import org.netbeans.spi.editor.hints.HintsController;
import org.openide.filesystems.FileObject;
import org.openide.util.Exceptions;
/**
*
* @author Sam Harwell
*/
public final class SyntaxErrorsHighlightingParserTask implements ParserTask {
private SyntaxErrorsHighlightingParserTask() {
}
@Override
public ParserTaskDefinition getDefinition() {
return Definition.INSTANCE;
}
@Override
public void parse(ParserTaskManager taskManager, ParseContext context, DocumentSnapshot snapshot, Collection<? extends ParserDataDefinition<?>> requestedData, ParserResultHandler results)
throws InterruptedException, ExecutionException {
Future<ParserData<CompiledModel>> futureData = taskManager.getData(snapshot, context.getComponent(), GrammarParserDataDefinitions.COMPILED_MODEL, EnumSet.of(ParserDataOptions.NO_UPDATE, ParserDataOptions.SYNCHRONOUS));
ParserData<CompiledModel> parserData = futureData != null ? futureData.get() : null;
CompiledModel model = parserData != null ? parserData.getData() : null;
if (model == null) {
return;
}
try {
DocumentSnapshot latestSnapshot = snapshot.getVersionedDocument().getCurrentSnapshot();
List<? extends SyntaxError> syntaxErrors = model.getResult().getSyntaxErrors();
Document document = snapshot.getVersionedDocument().getDocument();
List<ErrorDescription> errors = new ArrayList<>();
for (SyntaxError syntaxError : syntaxErrors) {
SnapshotPositionRegion location = syntaxError.getLocation();
if (location == null) {
continue;
}
if (!location.getSnapshot().getVersionedDocument().equals(snapshot.getVersionedDocument())) {
continue;
}
TrackingPositionRegion trackingRegion = snapshot.createTrackingRegion(location.getRegion(), TrackingPositionRegion.Bias.Forward);
SnapshotPositionRegion region = trackingRegion.getRegion(latestSnapshot);
String message = syntaxError.getMessage();
try {
ErrorDescription errorDescription;
if (document != null) {
errorDescription = ErrorDescriptionFactory.createErrorDescription(syntaxError.getSeverity(), message, document, document.createPosition(region.getStart().getOffset()), document.createPosition(region.getEnd().getOffset()));
} else {
FileObject file = context.getDocument().getFileObject();
errorDescription = ErrorDescriptionFactory.createErrorDescription(syntaxError.getSeverity(), message, file, region.getStart().getOffset(), region.getEnd().getOffset());
}
errors.add(errorDescription);
} catch (BadLocationException ex) {
Exceptions.printStackTrace(ex);
}
}
if (document != null) {
HintsController.setErrors(document, "antlr3-syntax", errors);
} else {
FileObject fileObject = context.getDocument().getFileObject();
if (fileObject != null) {
HintsController.setErrors(fileObject, "antlr3-syntax", errors);
}
}
} catch (RuntimeException ex) {
Exceptions.printStackTrace(ex);
}
}
private static final class Definition extends ParserTaskDefinition {
private static final Collection<ParserDataDefinition<?>> INPUTS =
Collections.<ParserDataDefinition<?>>singletonList(GrammarParserDataDefinitions.COMPILED_MODEL);
private static final Collection<ParserDataDefinition<?>> OUTPUTS = Collections.emptyList();
public static final Definition INSTANCE = new Definition();
public Definition() {
super("Grammar Syntax Errors Highlighting", INPUTS, OUTPUTS, ParserTaskScheduler.INPUT_SENSITIVE_TASK_SCHEDULER);
}
}
@MimeRegistration(mimeType=GrammarEditorKit.GRAMMAR_MIME_TYPE, service=ParserTaskProvider.class)
public static final class Provider extends SingletonParserTaskProvider {
@Override
public ParserTaskDefinition getDefinition() {
return Definition.INSTANCE;
}
@Override
public ParserTask createTaskImpl() {
return new SyntaxErrorsHighlightingParserTask();
}
}
}