| Modifier and Type | Method | Description |
|---|---|---|
TypeEnvironment |
CheckBase.getNewTypeEnvironment() |
|
TypeEnvironment |
CheckBase.getOldTypeEnvironment() |
|
TypeEnvironment |
JavaElement.getTypeEnvironment() |
| Modifier and Type | Method | 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 © 2017 Lukas Krejci. All Rights Reserved.