public interface VDMCodeGeneratorOperations
Modifier and Type | Method and Description |
---|---|
boolean |
GenerateCode(java.lang.String name,
LanguageType targetLang) |
boolean |
GenerateCodeList(java.lang.String[] names,
LanguageType targetLang) |
boolean |
GeneratePosInfo() |
void |
GeneratePosInfo(boolean newGeneratePosInfo) |
boolean GeneratePosInfo()
void GeneratePosInfo(boolean newGeneratePosInfo)
boolean GenerateCode(java.lang.String name, LanguageType targetLang) throws APIError
APIError
boolean GenerateCodeList(java.lang.String[] names, LanguageType targetLang) throws APIError
APIError