Search in sources :

Example 6 with AnalyzeContrib

use of org.metaborg.spoofax.core.unit.AnalyzeContrib in project spoofax by metaborg.

the class StrategoAnalyzer method result.

private ISpoofaxAnalyzeUnit result(String error, ISpoofaxParseUnit input, IContext context, Throwable e, long duration) {
    final FileObject source = input.source();
    final IMessage message = MessageFactory.newAnalysisErrorAtTop(source, error, e);
    return unitService.analyzeUnit(input, new AnalyzeContrib(false, false, true, null, Iterables2.singleton(message), duration), context);
}
Also used : IMessage(org.metaborg.core.messages.IMessage) FileObject(org.apache.commons.vfs2.FileObject) AnalyzeContrib(org.metaborg.spoofax.core.unit.AnalyzeContrib)

Aggregations

IMessage (org.metaborg.core.messages.IMessage)6 AnalyzeContrib (org.metaborg.spoofax.core.unit.AnalyzeContrib)6 FileObject (org.apache.commons.vfs2.FileObject)5 IStrategoTerm (org.spoofax.interpreter.terms.IStrategoTerm)4 ISpoofaxParseUnit (org.metaborg.spoofax.core.unit.ISpoofaxParseUnit)3 Lists (com.google.common.collect.Lists)2 Sets (com.google.common.collect.Sets)2 Inject (com.google.inject.Inject)2 Collection (java.util.Collection)2 Map (java.util.Map)2 Optional (java.util.Optional)2 FixedPoint (mb.flowspec.runtime.solver.FixedPoint)2 NaBL2DebugConfig (mb.nabl2.config.NaBL2DebugConfig)2 ISolution (mb.nabl2.solver.ISolution)2 SolverException (mb.nabl2.solver.SolverException)2 IMessages (mb.nabl2.solver.messages.IMessages)2 Messages (mb.nabl2.solver.messages.Messages)2 GraphSolution (mb.nabl2.solver.solvers.BaseSolver.GraphSolution)2 ImmutableBaseSolution (mb.nabl2.solver.solvers.ImmutableBaseSolution)2 Actions (mb.nabl2.spoofax.analysis.Actions)2