how to write function in VDM++ language [closed]

Question

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.

Closed 9 years ago.

I am making a translator of VDM++. which converts VDM++ code in C++. For that i am doing mapping of VDM++ into C++.

I want to know how to write a function in VDM++?

for example.

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

how i write this code in VDM++?

Answer 1

Your example function is slightly unusual, in that it does not use its parameters, but in general a VDM function could look like this:

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

Note that the function is "pure" in the sense that it is just an expression involving its parameters (it can also reference constants and call other functions). For more details, I would recommend you look at the Language Reference Manual.