<html><head></head><body bgcolor="#FFFFFF"><div>Who would ever create a text literal that exceeds MaxBytes?<br><br>Sent from my iPad</div><div><br>On Sep 3, 2013, at 2:02 AM, Jay K <<a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a>> wrote:<br><br></div><div></div><blockquote type="cite"><div>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style>
<div dir="ltr">ok, another question:<br><br><br>CONST<br> (* DIV BITSIZE should not be here! *)<br> (* MaxBytes = LAST (INTEGER) DIV BITSIZE (Byte) - 7 - 8 * ORD(BITSIZE(INTEGER) = 64); *)<br> MaxBytes = 16_7FFFFFFF DIV BITSIZE (Byte) - 7 - 8 * ORD(BITSIZE(INTEGER) = 64);<br><br>TYPE<br> T = RTHooks.TextLiteral;<br>REVEAL<br> T = TEXT BRANDED "TextLiteral.T" OBJECT<br> cnt : INTEGER;<br> buf : ARRAY [0..MaxBytes - 1] OF Byte;<br> OVERRIDES ...<br><br><br>T is a reference type.<br>Is there a way to state this with no limit?<br><br><br>Isn't it already unsafe?<br>You know -- the array is usually smaller and the compiler is only going to check against this large size.<br><br><br> - Jay<br> </div>
</div></blockquote></body></html>