AbstractConstraintAnalyzer

public abstract class AbstractConstraintAnalyzer implements ISpoofaxAnalyzer

Fields

analysisCommon

protected final AnalysisCommon analysisCommon

resourceService

protected final IResourceService resourceService

runtimeService

protected final IStrategoRuntimeService runtimeService

strategoCommon

protected final IStrategoCommon strategoCommon

termFactory

protected final ITermFactory termFactory

tracingService

protected final ISpoofaxTracingService tracingService

unitService

protected final ISpoofaxUnitService unitService

Constructors

AbstractConstraintAnalyzer

public AbstractConstraintAnalyzer(AnalysisCommon analysisCommon, IResourceService resourceService, IStrategoRuntimeService runtimeService, IStrategoCommon strategoCommon, ITermFactoryService termFactoryService, ISpoofaxTracingService tracingService, ISpoofaxUnitService unitService)

Methods

analyze

public ISpoofaxAnalyzeResult analyze(ISpoofaxParseUnit input, IContext genericContext, IProgress progress, ICancel cancel)

analyzeAll

public ISpoofaxAnalyzeResults analyzeAll(Iterable<ISpoofaxParseUnit> inputs, IContext genericContext, IProgress progress, ICancel cancel)

analyzeAll

protected abstract ISpoofaxAnalyzeResults analyzeAll(Map<String, ISpoofaxParseUnit> changed, Map<String, ISpoofaxParseUnit> removed, IConstraintContext context, HybridInterpreter runtime, String strategy, IProgress progress, ICancel cancel)

build

protected IStrategoTerm build(String op, IStrategoTerm... subterms)

match

protected List<IStrategoTerm> match(IStrategoTerm term, String op, int n)

success

protected boolean success(Collection<IMessage> messages)