Как написать функцию на языке VDM++ [закрыто] ⇐ C++

[Anonymous]

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

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

например.

Код: Выделить всё

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

как мне написать этот код в VDM++?

Подробнее здесь: https://stackoverflow.com/questions/145 ... m-language