ModelCheckerBuilder.ModelsExtractorImpl (MPS.Core (JetBrains MPS 2019.1.0))

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.ModelsExtractorImpl`	`excludeGenerators()`
`Iterable<SModule>`	`getSubModules(SModule module)`
`boolean`	`includeModel(SModel model)`
`ModelCheckerBuilder.ModelsExtractorImpl`	`includeStubs(boolean checkStubs)`

Methods inherited from class jetbrains.mps.checkers.ModelCheckerBuilder.ModelExtractor
getModels

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- ModelsExtractorImpl
```
public ModelsExtractorImpl()
```

Method Detail

excludeGenerators

public ModelCheckerBuilder.ModelsExtractorImpl excludeGenerators()

includeStubs

public ModelCheckerBuilder.ModelsExtractorImpl includeStubs(boolean checkStubs)

getSubModules
```
public Iterable<SModule> getSubModules(SModule module)
```
Specified by:

getSubModules in class ModelCheckerBuilder.ModelExtractor

includeModel
```
public boolean includeModel(SModel model)
```
Specified by:

includeModel in class ModelCheckerBuilder.ModelExtractor