![]() |
Section 6.7.2:
|
![]() |
Assignment is the only way of altering the value of a state component in Sather.
Assign_Name = token inv aname == aname = Assign ; Predefined_Call :: id : token args : Feature impl : Feature rval : [Value_Expression] ; inv mk_Predefined_Call(expid,args,imp,val) == expid = Assign and len args = 2 and imp.imp = do_assign(args(1),args(2) and val = nil operations do_assign(loc : Address, val : ANY) TO BE DONE
The first argument must be a storage expression and the second a value expression.
The state component indicated by the evaluation of the first argument is changed to have the value given by the second argument.
![]() |
Specification Index | ![]() |
Language Index | ![]() |
Section 6 Index |
Comments
or enquiries should be made to Keith Hopper. Page last modified: Wednesday, 25 April 2001. |
![]() |