Package jetbrains.mps.checkers

Class ModelPropertiesChecker

java.lang.Object

jetbrains.mps.checkers.IChecker.AbstractChecker<SModel,I>

jetbrains.mps.checkers.IChecker.AbstractModelChecker<ModelReportItem>

jetbrains.mps.checkers.ModelPropertiesChecker

All Implemented Interfaces:

IAbstractChecker<SModel,ModelReportItem>, IChecker<SModel,ModelReportItem>

public class ModelPropertiesChecker
extends IChecker.AbstractModelChecker<ModelReportItem>

Nested Class Summary

Nested classes/interfaces inherited from interface jetbrains.mps.checkers.IChecker

IChecker.AbstractChecker<O,I extends IssueKindReportItem>, IChecker.AbstractModelChecker<I extends IssueKindReportItem>, IChecker.AbstractModuleChecker<I extends IssueKindReportItem>, IChecker.AbstractNodeChecker<I extends NodeReportItem>, IChecker.AbstractRootChecker<I extends NodeReportItem>

Constructor Summary

Constructors

Constructor	Description
ModelPropertiesChecker()

Method Summary

Modifier and Type	Method	Description
void	check(SModel model, SRepository repository, Consumer<? super ModelReportItem> errorCollector, ProgressMonitor monitor)
IssueKindReportItem.CheckerCategory	getCategory()	Checker's category can be not unique but checkers with the same category are treated as inseparable group

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ModelPropertiesChecker

public ModelPropertiesChecker()

Method Detail

check

public void check(SModel model,
                  SRepository repository,
                  Consumer<? super ModelReportItem> errorCollector,
                  ProgressMonitor monitor)

getCategory

public IssueKindReportItem.CheckerCategory getCategory()

Description copied from interface: IChecker

Checker's category can be not unique but checkers with the same category are treated as inseparable group