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

java.lang.Object
- jetbrains.mps.checkers.ModelCheckerBuilder.ItemsToCheck

Enclosing class:: ModelCheckerBuilder

public static class ModelCheckerBuilder.ItemsToCheck
extends Object

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  List<SModel> models
  
  List<SModule> modules
- Constructor Summary
  
  Constructors
  Constructor Description
  
  ItemsToCheck()
- Method Summary
  
  All Methods Static Methods Concrete Methods
  Modifier and Type Method Description
  
  static ModelCheckerBuilder.ItemsToCheck forSingleModule(SModule module)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

models
```
public List<SModel> models
```

modules
```
public List<SModule> modules
```

Constructor Detail
- ItemsToCheck
```
public ItemsToCheck()
```

Method Detail

forSingleModule

public static ModelCheckerBuilder.ItemsToCheck forSingleModule(SModule module)