MACHINE     String_TYPE_Ops

SEES        Bool_TYPE, String_TYPE

OPERATIONS

  rr <-- ASSIGN_ANY_STR = BEGIN rr :: STRING  END;

  bb <-- CMP_STR(rr:STRING & ss: STRING ) =  
 	 PRE size(rr) <= 1000 & size(ss) <= 1000 THEN bb:= bool(rr = ss) END;

  rr <-- CPY_STR(ss  : STRING) =  
  	 PRE size(ss) <= 1000 THEN rr:=ss END;

  nn <-- LEN_STR(ss : STRING) = BEGIN nn := size(ss) END;

  cc <-- VAL_ITH_CHAR(ss: STRING & ii: 1..size(ss)) =
 	 PRE size(ss) <= 1000 THEN cc := ss(ii) END;

  nn <-- CHAR_TO_NAT(cc: CHAR) = BEGIN nn :: NAT END
  
END

Analysed Constructs

On-line Help

---

Document Last Updated: Wed Aug 25 17:37:13 1999

B-Toolkit Beta 4.55

---