| Modifier and Type | Method and Description |
|---|---|
TypeEnvironment |
CheckBase.getNewTypeEnvironment() |
TypeEnvironment |
CheckBase.getOldTypeEnvironment() |
TypeEnvironment |
JavaElement.getTypeEnvironment() |
| Modifier and Type | Method and Description |
|---|---|
void |
Check.setNewTypeEnvironment(TypeEnvironment env)
The environment containing the new version of the classes.
|
void |
CheckBase.setNewTypeEnvironment(TypeEnvironment env) |
void |
Check.setOldTypeEnvironment(TypeEnvironment env)
The environment containing the old version of the classes.
|
void |
CheckBase.setOldTypeEnvironment(TypeEnvironment env) |
Copyright © 2014-2018 Lukas Krejci. All Rights Reserved.