как написать функцию на языке VDM ++

Я делаю переводчик VDM ++. который преобразует код VDM ++ в C ++. Для этого я делаю отображение VDM ++ в C ++.

Я хочу знать, как написать функцию в VDM ++?

например.

float functionX(int var1,float var2){
int x= 10;
float y= 0.3;
return y;
}

как я пишу этот код в VDM ++?

-2

Решение

Ваша примерная функция немного необычна в том смысле, что она не использует свои параметры, но в целом функция VDM может выглядеть так:

func: int * real -> real
func(var1, var2) ==
var1 + var2;

Обратите внимание, что функция является «чистой» в том смысле, что она является просто выражением, включающим ее параметры (она также может ссылаться на константы и вызывать другие функции). Для более подробной информации, я бы порекомендовал вам взглянуть на справочное руководство по языку.

2

Другие решения

Других решений пока нет …

По вопросам рекламы [email protected]