next up previous
Next: About this document ... Up: The ALLCOT semantics Previous: Integer

String

Consider String to be equivalent to the following C strings
#define MAX_STRING_LENGTH 255
typedef char allcotString[MAX_STRING_LENGTH+1];
The built-in type String should support:
concatenation:
for instance x + y or concat(x,y),
length:
for instance length(x),
printing:
for instance print(x),
equality-test:
for instance x = y,
unequality-test:
for instance x -= y,
substring:
for instance substring(x,i,j).
However, for the purpose of the assignment 3, the last three operations are not required.


next up previous
Next: About this document ... Up: The ALLCOT semantics Previous: Integer
Marc Moreno Maza
2004-12-01