public interface VDMTypeCheckerOperations
Modifier and Type | Method and Description |
---|---|
boolean |
DefTypeCheck() |
void |
DefTypeCheck(boolean newDefTypeCheck) |
boolean |
ExtendedTypeCheck() |
void |
ExtendedTypeCheck(boolean newExtendedTypeCheck) |
boolean |
TypeCheck(java.lang.String name) |
boolean |
TypeCheckList(java.lang.String[] names) |