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-2020 Lukas Krejci. All Rights Reserved.