Я делаю переводчик VDM ++. который преобразует код VDM ++ в C ++. Для этого я делаю отображение VDM ++ в C ++.
Я хочу знать, как написать функцию в VDM ++?
например.
float functionX(int var1,float var2){
int x= 10;
float y= 0.3;
return y;
}
как я пишу этот код в VDM ++?
Ваша примерная функция немного необычна в том смысле, что она не использует свои параметры, но в целом функция VDM может выглядеть так:
func: int * real -> real
func(var1, var2) ==
var1 + var2;
Обратите внимание, что функция является «чистой» в том смысле, что она является просто выражением, включающим ее параметры (она также может ссылаться на константы и вызывать другие функции). Для более подробной информации, я бы порекомендовал вам взглянуть на справочное руководство по языку.
Других решений пока нет …