MACHINE     String_TYPE

SEES        Bool_TYPE

SETS

 CHAR;STRING

PROPERTIES

  STRING = { ss | ss : seq(CHAR) & size(ss) <= 1000 }

  /* literal string in AMN are written as: "a string" in ANSI C */


END

Analysed Constructs

On-line Help

---

Document Last Updated: Sun Apr 15 16:37:34 2001

B-Toolkit Release 5.1.0

---