Called by the generic function x = y when x and y are of type Workspace.
WORKSPACE_EQUAL() | w1=Workspace w2=Workspace | w1 = w2 |
The default procedure definition and the calculation of errors for this procedure is shown below.
PROCEDURE workspace_equal; PARAMETERS w1=workspace w2=workspace; RESULT wres wres = (w1.x = w2.x) AND (w1.xlabel = w2.xlabel) AND ( w1.y = w2.y ) ENDPROCEDURE