Package jetbrains.mps.checkers
Class ModelCheckerBuilder.ModelsExtractorImpl
- java.lang.Object
 - 
- jetbrains.mps.checkers.ModelCheckerBuilder.ModelExtractor
 - 
- jetbrains.mps.checkers.ModelCheckerBuilder.ModelsExtractorImpl
 
 
 
- 
- Enclosing class:
 - ModelCheckerBuilder
 
public static class ModelCheckerBuilder.ModelsExtractorImpl extends ModelCheckerBuilder.ModelExtractor
 
- 
- 
Constructor Summary
Constructors Constructor Description ModelsExtractorImpl() 
- 
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ModelCheckerBuilder.ModelsExtractorImplexcludeGenerators()Iterable<SModule>getSubModules(SModule module)booleanincludeModel(SModel model)ModelCheckerBuilder.ModelsExtractorImplincludeStubs(boolean checkStubs)- 
Methods inherited from class jetbrains.mps.checkers.ModelCheckerBuilder.ModelExtractor
getModels 
 - 
 
 - 
 
- 
- 
Method Detail
- 
excludeGenerators
public ModelCheckerBuilder.ModelsExtractorImpl excludeGenerators()
 
- 
includeStubs
public ModelCheckerBuilder.ModelsExtractorImpl includeStubs(boolean checkStubs)
 
- 
getSubModules
public Iterable<SModule> getSubModules(SModule module)
- Specified by:
 getSubModulesin classModelCheckerBuilder.ModelExtractor
 
- 
includeModel
public boolean includeModel(SModel model)
- Specified by:
 includeModelin classModelCheckerBuilder.ModelExtractor
 
 - 
 
 -