public void numeric_case111()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
Token token1;
byte[] bs = new byte[3];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[3];
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 1;
characterStream.stream = bs1;
byte[] bs2 = new byte[3];
token = new Token();
token.token_string = bs2;
token.token_id = 0;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
byte[] bs3 = new byte[3];
token1 = this.numeric_case(s0, token, (byte)49, bs3, 1);
disposables.Dispose();
Assert.IsNotNull((object)token1);
Assert.IsNotNull((object)(token1.token_string));
Assert.AreEqual<int>(3, token1.token_string.Length);
Assert.AreEqual<byte>((byte)0, token1.token_string[0]);
Assert.AreEqual<byte>((byte)0, token1.token_string[1]);
Assert.AreEqual<byte>((byte)0, token1.token_string[2]);
Assert.AreEqual<int>(-1, token1.token_id);
}
}
public Token error_or_eof_case(
TokenStream tstream_ptr,
Token token_ptr,
int cu_state,
byte[] token_str,
int token_ind,
byte ch
)
{
PexAssume.IsNotNull(tstream_ptr);
PexAssume.IsNotNull(tstream_ptr.ch_stream);
PexAssume.IsNotNull(tstream_ptr.ch_stream.fp);
PexAssume.IsNotNullOrEmpty(tstream_ptr.ch_stream.stream);
PexAssume.IsNotNull(token_ptr);
PexAssume.IsNotNullOrEmpty(token_ptr.token_string);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream_ind > 0 && tstream_ptr.ch_stream.stream_ind < tstream_ptr.ch_stream.stream.Length);
PexAssume.IsNotNullOrEmpty(token_str);
PexAssume.IsTrue(token_str.Length > token_ind);
PexAssume.IsTrue(token_ind > 1 || (token_ind > 0 && cu_state == 0));
PexAssume.IsTrue(token_str.Length == token_ptr.token_string.Length);
Token result = Original.error_or_eof_case
(tstream_ptr, token_ptr, cu_state, token_str, token_ind, ch);
return result;
// TODO: add assertions to method OriginalTest.error_or_eof_case(TokenStream, Token, Int32, Byte[], Int32, Byte)
}
/* *****************************************************************
Function name : error_or_eof_case
Input : tstream_ptr,token_ptr,cu_state,token_str,token_ind,ch
Output : token_ptr
Exceptions : none
Description : This function checks whether it is EOF or not.
If it is it returns EOF token else returns ERROR
token.
* *****************************************************************/
public static Token error_or_eof_case(TokenStream tstream_ptr, Token token_ptr, int cu_state, byte[] token_str, int token_ind, byte ch)
{
if (is_end_of_character_stream(tstream_ptr.ch_stream) == TRUE)
{
token_ptr.token_id = EOTSTREAM;
token_ptr.token_string[0] = (byte)'\0';
return (token_ptr);
}
if (cu_state != 0)
{
unget_char(ch, tstream_ptr.ch_stream);
token_ind--;
}
token_ptr.token_id = ERROR;
get_actual_token(token_str, token_ind);
token_str.CopyTo(token_ptr.token_string, 0);
return (token_ptr);
}
/* ******************************************************************
Function name : numeric_case
Input : tstream_ptr,token_ptr,ch,token_str,token_ind
Output : token_ptr;
Exceptions : none
Description : It checks for the delimiter, if it is then it
forms numeric token else forms error token.
* ****************************************************************** */
public static Token numeric_case(TokenStream tstream_ptr, Token token_ptr, byte ch, byte[] token_str, int token_ind)
{
if (check_delimiter(ch) != TRUE)
{ /* Error case */
token_ptr.token_id = ERROR;
while (check_delimiter(ch) == FALSE)
{
if (token_ind >= 80) break; /* Added protection - hf */
token_str[token_ind++] = ch = get_char(tstream_ptr.ch_stream);
}
unget_char(ch, tstream_ptr.ch_stream);
token_ind--;
get_actual_token(token_str, token_ind);
token_str.CopyTo(token_ptr.token_string, 0);
return (token_ptr);
}
token_ptr.token_id = NUMERIC; /* Numeric case */
unget_char(ch, tstream_ptr.ch_stream);
token_ind--;
get_actual_token(token_str, token_ind);
token_str.CopyTo(token_ptr.token_string, 0);
return (token_ptr);
}
/* ********************************************************************
Function name : get_token
Input : token_stream
Output : token
Exceptions : none.
Description : This function returns the next token from the
token_stream.The type of token is integer and specifies
only the type of the token. DFA is used for finding the
next token. cu_state is initialized to zero and charcter
are read until the the is the final state and it
returns the token type.
* ******************************************************************* */
public static Token get_token(TokenStream tstream_ptr)
{
byte[] token_str = new byte[80]; /* This buffer stores the current token */
int token_ind; /* Index to the token_str */
Token token_ptr;
byte ch;
int cu_state, next_st, token_found;
token_ptr = new Token();
ch = get_char(tstream_ptr.ch_stream);
cu_state = token_ind = token_found = 0;
while (token_found == 0)
{
if (token_ind < 80) /* ADDED ERROR CHECK - hf */
{
token_str[token_ind++] = ch;
next_st = next_state(cu_state, ch);
}
else
{
next_st = -1; /* - hf */
}
if (next_st == -1)
{ /* ERROR or EOF case */
return (error_or_eof_case(tstream_ptr,
token_ptr, cu_state, token_str, token_ind, ch));
}
else if (next_st == -2)
{/* This is numeric case. */
return (numeric_case(tstream_ptr, token_ptr, ch,
token_str, token_ind));
}
else if (next_st == -3)
{/* This is the IDENTIFIER case */
token_ptr.token_id = IDENTIFIER;
unget_char(ch, tstream_ptr.ch_stream);
token_ind--;
get_actual_token(token_str, token_ind);
token_str.CopyTo(token_ptr.token_string, 0);
return (token_ptr);
}
switch (next_st)
{
default: break;
case 6: /* These are all KEYWORD cases. */
case 9:
case 11:
case 13:
case 16: ch = get_char(tstream_ptr.ch_stream);
if (check_delimiter(ch) == TRUE)
{
token_ptr.token_id = keyword(next_st);
unget_char(ch, tstream_ptr.ch_stream);
token_ptr.token_string[0] = (byte)'\0';
return (token_ptr);
}
unget_char(ch, tstream_ptr.ch_stream);
break;
case 19: /* These are all special SPECIAL character */
case 20: /* cases */
case 21:
case 22:
case 23:
case 24:
case 25:
case 32: token_ptr.token_id = special(next_st);
token_ptr.token_string[0] = (byte)'\0';
return (token_ptr);
case 27: /* These are constant cases */
case 29: token_ptr.token_id = constant(next_st, token_str, token_ind);
get_actual_token(token_str, token_ind);
token_str.CopyTo(token_ptr.token_string, 0);
return (token_ptr);
case 30: /* This is COMMENT case */
skip(tstream_ptr.ch_stream);
token_ind = next_st = 0;
break;
}
cu_state = next_st;
ch = get_char(tstream_ptr.ch_stream);
}
throw new ApplicationException("Execution should not have reached this line");
}
/* *******************************************************************
Function name : open_token_stream
Input : filename
Output : token_stream
Exceptions : Exits if the file specified by filename not found.
Description : This function takes filename as input and opens the
token_stream which is nothing but the character stream.
This function allocates the memory for token_stream
and calls open_character_stream to open the file as
input. This function returns the token_stream.
* ****************************************************************** */
public static TokenStream open_token_stream(string FILENAME)
{
TokenStream token_ptr = new TokenStream();
token_ptr.ch_stream = open_character_stream(FILENAME);/* Get character
stream */
return (token_ptr);
}
public Token numeric_case(
TokenStream tstream_ptr,
Token token_ptr,
byte ch,
byte[] token_str,
int token_ind
)
{
PexAssume.IsNotNull(tstream_ptr);
PexAssume.IsNotNull(tstream_ptr.ch_stream);
PexAssume.IsNotNull(tstream_ptr.ch_stream.fp);
PexAssume.IsNotNullOrEmpty(tstream_ptr.ch_stream.stream);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream_ind > 0 && tstream_ptr.ch_stream.stream_ind < tstream_ptr.ch_stream.stream.Length - 1);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream.Length > 1);
PexAssume.IsNotNull(token_str);
PexAssume.IsTrue(token_ind < token_str.Length - 1);
PexAssume.IsTrue(token_ind > 0);
PexAssume.IsTrue(token_str.Length > 1);
PexAssume.IsNotNull(token_ptr);
PexAssume.IsNotNull(token_ptr.token_string);
PexAssume.IsTrue(token_str.Length <= token_ptr.token_string.Length);
Token result
= Original.numeric_case(tstream_ptr, token_ptr, ch, token_str, token_ind);
return result;
// TODO: add assertions to method OriginalTest.numeric_case(TokenStream, Token, Byte, Byte[], Int32)
}
public Token get_token(TokenStream tstream_ptr)
{
PexAssume.IsNotNull(tstream_ptr);
PexAssume.IsNotNull(tstream_ptr.ch_stream);
PexAssume.IsNotNull(tstream_ptr.ch_stream.fp);
PexAssume.IsNotNullOrEmpty(tstream_ptr.ch_stream.stream);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream_ind < tstream_ptr.ch_stream.stream.Length - 1);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream_ind >= 0);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream.Length > 1);
PexAssume.IsTrue(tstream_ptr.ch_stream.stream[tstream_ptr.ch_stream.stream.Length - 1] == 127);
Token result = Original.get_token(tstream_ptr);
return result;
// TODO: add assertions to method OriginalTest.get_token(TokenStream)
}
public void numeric_case226()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
Token token1;
byte[] bs = new byte[96];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[80];
bs1[64] = (byte)49;
bs1[65] = (byte)1;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 64;
characterStream.stream = bs1;
byte[] bs2 = new byte[96];
token = new Token();
token.token_string = bs2;
token.token_id = 0;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
token1 = this.numeric_case(s0, token, (byte)49, bs1, 1);
disposables.Dispose();
Assert.IsNotNull((object)token1);
Assert.IsNotNull((object)(token1.token_string));
Assert.AreEqual<int>(96, token1.token_string.Length);
Assert.AreEqual<byte>((byte)0, token1.token_string[0]);
Assert.AreEqual<byte>((byte)49, token1.token_string[1]);
Assert.AreEqual<byte>((byte)0, token1.token_string[2]);
Assert.AreEqual<byte>((byte)0, token1.token_string[3]);
Assert.AreEqual<byte>((byte)0, token1.token_string[4]);
Assert.AreEqual<byte>((byte)0, token1.token_string[5]);
Assert.AreEqual<byte>((byte)0, token1.token_string[6]);
Assert.AreEqual<byte>((byte)0, token1.token_string[7]);
Assert.AreEqual<byte>((byte)0, token1.token_string[8]);
Assert.AreEqual<byte>((byte)0, token1.token_string[9]);
Assert.AreEqual<byte>((byte)0, token1.token_string[10]);
Assert.AreEqual<byte>((byte)0, token1.token_string[11]);
Assert.AreEqual<byte>((byte)0, token1.token_string[12]);
Assert.AreEqual<byte>((byte)0, token1.token_string[13]);
Assert.AreEqual<byte>((byte)0, token1.token_string[14]);
Assert.AreEqual<byte>((byte)0, token1.token_string[15]);
Assert.AreEqual<byte>((byte)0, token1.token_string[16]);
Assert.AreEqual<byte>((byte)0, token1.token_string[17]);
Assert.AreEqual<byte>((byte)0, token1.token_string[18]);
Assert.AreEqual<byte>((byte)0, token1.token_string[19]);
Assert.AreEqual<byte>((byte)0, token1.token_string[20]);
Assert.AreEqual<byte>((byte)0, token1.token_string[21]);
Assert.AreEqual<byte>((byte)0, token1.token_string[22]);
Assert.AreEqual<byte>((byte)0, token1.token_string[23]);
Assert.AreEqual<byte>((byte)0, token1.token_string[24]);
Assert.AreEqual<byte>((byte)0, token1.token_string[25]);
Assert.AreEqual<byte>((byte)0, token1.token_string[26]);
Assert.AreEqual<byte>((byte)0, token1.token_string[27]);
Assert.AreEqual<byte>((byte)0, token1.token_string[28]);
Assert.AreEqual<byte>((byte)0, token1.token_string[29]);
Assert.AreEqual<byte>((byte)0, token1.token_string[30]);
Assert.AreEqual<byte>((byte)0, token1.token_string[31]);
Assert.AreEqual<byte>((byte)0, token1.token_string[32]);
Assert.AreEqual<byte>((byte)0, token1.token_string[33]);
Assert.AreEqual<byte>((byte)0, token1.token_string[34]);
Assert.AreEqual<byte>((byte)0, token1.token_string[35]);
Assert.AreEqual<byte>((byte)0, token1.token_string[36]);
Assert.AreEqual<byte>((byte)0, token1.token_string[37]);
Assert.AreEqual<byte>((byte)0, token1.token_string[38]);
Assert.AreEqual<byte>((byte)0, token1.token_string[39]);
Assert.AreEqual<byte>((byte)0, token1.token_string[40]);
Assert.AreEqual<byte>((byte)0, token1.token_string[41]);
Assert.AreEqual<byte>((byte)0, token1.token_string[42]);
Assert.AreEqual<byte>((byte)0, token1.token_string[43]);
Assert.AreEqual<byte>((byte)0, token1.token_string[44]);
Assert.AreEqual<byte>((byte)0, token1.token_string[45]);
Assert.AreEqual<byte>((byte)0, token1.token_string[46]);
Assert.AreEqual<byte>((byte)0, token1.token_string[47]);
Assert.AreEqual<byte>((byte)0, token1.token_string[48]);
Assert.AreEqual<byte>((byte)0, token1.token_string[49]);
Assert.AreEqual<byte>((byte)0, token1.token_string[50]);
Assert.AreEqual<byte>((byte)0, token1.token_string[51]);
Assert.AreEqual<byte>((byte)0, token1.token_string[52]);
Assert.AreEqual<byte>((byte)0, token1.token_string[53]);
Assert.AreEqual<byte>((byte)0, token1.token_string[54]);
Assert.AreEqual<byte>((byte)0, token1.token_string[55]);
Assert.AreEqual<byte>((byte)0, token1.token_string[56]);
Assert.AreEqual<byte>((byte)0, token1.token_string[57]);
Assert.AreEqual<byte>((byte)0, token1.token_string[58]);
Assert.AreEqual<byte>((byte)0, token1.token_string[59]);
Assert.AreEqual<byte>((byte)0, token1.token_string[60]);
Assert.AreEqual<byte>((byte)0, token1.token_string[61]);
Assert.AreEqual<byte>((byte)0, token1.token_string[62]);
Assert.AreEqual<byte>((byte)0, token1.token_string[63]);
Assert.AreEqual<byte>((byte)0, token1.token_string[64]);
Assert.AreEqual<byte>((byte)0, token1.token_string[65]);
Assert.AreEqual<byte>((byte)0, token1.token_string[66]);
Assert.AreEqual<byte>((byte)0, token1.token_string[67]);
Assert.AreEqual<byte>((byte)0, token1.token_string[68]);
Assert.AreEqual<byte>((byte)0, token1.token_string[69]);
Assert.AreEqual<byte>((byte)0, token1.token_string[70]);
Assert.AreEqual<byte>((byte)0, token1.token_string[71]);
Assert.AreEqual<byte>((byte)0, token1.token_string[72]);
Assert.AreEqual<byte>((byte)0, token1.token_string[73]);
Assert.AreEqual<byte>((byte)0, token1.token_string[74]);
Assert.AreEqual<byte>((byte)0, token1.token_string[75]);
Assert.AreEqual<byte>((byte)0, token1.token_string[76]);
Assert.AreEqual<byte>((byte)0, token1.token_string[77]);
Assert.AreEqual<byte>((byte)0, token1.token_string[78]);
Assert.AreEqual<byte>((byte)0, token1.token_string[79]);
Assert.AreEqual<byte>((byte)0, token1.token_string[80]);
Assert.AreEqual<byte>((byte)0, token1.token_string[81]);
Assert.AreEqual<byte>((byte)0, token1.token_string[82]);
Assert.AreEqual<byte>((byte)0, token1.token_string[83]);
Assert.AreEqual<byte>((byte)0, token1.token_string[84]);
Assert.AreEqual<byte>((byte)0, token1.token_string[85]);
Assert.AreEqual<byte>((byte)0, token1.token_string[86]);
Assert.AreEqual<byte>((byte)0, token1.token_string[87]);
Assert.AreEqual<byte>((byte)0, token1.token_string[88]);
Assert.AreEqual<byte>((byte)0, token1.token_string[89]);
Assert.AreEqual<byte>((byte)0, token1.token_string[90]);
Assert.AreEqual<byte>((byte)0, token1.token_string[91]);
Assert.AreEqual<byte>((byte)0, token1.token_string[92]);
Assert.AreEqual<byte>((byte)0, token1.token_string[93]);
Assert.AreEqual<byte>((byte)0, token1.token_string[94]);
Assert.AreEqual<byte>((byte)0, token1.token_string[95]);
Assert.AreEqual<int>(-1, token1.token_id);
}
}
public void numeric_case948()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
Token token1;
byte[] bs = new byte[64];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[80];
bs1[2] = (byte)66;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 2;
characterStream.stream = bs1;
byte[] bs2 = new byte[34];
token = new Token();
token.token_string = bs2;
token.token_id = 0;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
byte[] bs3 = new byte[33];
bs3[0] = (byte)9;
token1 = this.numeric_case(s0, token, (byte)113, bs3, 1);
disposables.Dispose();
Assert.IsNotNull((object)token1);
Assert.IsNotNull((object)(token1.token_string));
Assert.AreEqual<int>(34, token1.token_string.Length);
Assert.AreEqual<byte>((byte)66, token1.token_string[0]);
Assert.AreEqual<byte>((byte)0, token1.token_string[1]);
Assert.AreEqual<byte>((byte)0, token1.token_string[2]);
Assert.AreEqual<byte>((byte)0, token1.token_string[3]);
Assert.AreEqual<byte>((byte)0, token1.token_string[4]);
Assert.AreEqual<byte>((byte)0, token1.token_string[5]);
Assert.AreEqual<byte>((byte)0, token1.token_string[6]);
Assert.AreEqual<byte>((byte)0, token1.token_string[7]);
Assert.AreEqual<byte>((byte)0, token1.token_string[8]);
Assert.AreEqual<byte>((byte)0, token1.token_string[9]);
Assert.AreEqual<byte>((byte)0, token1.token_string[10]);
Assert.AreEqual<byte>((byte)0, token1.token_string[11]);
Assert.AreEqual<byte>((byte)0, token1.token_string[12]);
Assert.AreEqual<byte>((byte)0, token1.token_string[13]);
Assert.AreEqual<byte>((byte)0, token1.token_string[14]);
Assert.AreEqual<byte>((byte)0, token1.token_string[15]);
Assert.AreEqual<byte>((byte)0, token1.token_string[16]);
Assert.AreEqual<byte>((byte)0, token1.token_string[17]);
Assert.AreEqual<byte>((byte)0, token1.token_string[18]);
Assert.AreEqual<byte>((byte)0, token1.token_string[19]);
Assert.AreEqual<byte>((byte)0, token1.token_string[20]);
Assert.AreEqual<byte>((byte)0, token1.token_string[21]);
Assert.AreEqual<byte>((byte)0, token1.token_string[22]);
Assert.AreEqual<byte>((byte)0, token1.token_string[23]);
Assert.AreEqual<byte>((byte)0, token1.token_string[24]);
Assert.AreEqual<byte>((byte)0, token1.token_string[25]);
Assert.AreEqual<byte>((byte)0, token1.token_string[26]);
Assert.AreEqual<byte>((byte)0, token1.token_string[27]);
Assert.AreEqual<byte>((byte)0, token1.token_string[28]);
Assert.AreEqual<byte>((byte)0, token1.token_string[29]);
Assert.AreEqual<byte>((byte)0, token1.token_string[30]);
Assert.AreEqual<byte>((byte)0, token1.token_string[31]);
Assert.AreEqual<byte>((byte)0, token1.token_string[32]);
Assert.AreEqual<byte>((byte)0, token1.token_string[33]);
Assert.AreEqual<int>(-1, token1.token_id);
}
}
public void numeric_caseThrowsIndexOutOfRangeException651()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
Token token1;
byte[] bs = new byte[0];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[80];
bs1[0] = (byte)49;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 3;
characterStream.stream = bs1;
byte[] bs2 = new byte[3];
token = new Token();
token.token_string = bs2;
token.token_id = 0;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
byte[] bs3 = new byte[3];
token1 = this.numeric_case(s0, token, (byte)49, bs3, 1);
disposables.Dispose();
}
}
public void get_token604()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
byte[] bs = new byte[8];
bs[0] = (byte)32;
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[82];
bs1[1] = (byte)127;
bs1[2] = (byte)127;
bs1[3] = (byte)127;
bs1[4] = (byte)127;
bs1[5] = (byte)127;
bs1[6] = (byte)127;
bs1[7] = (byte)127;
bs1[8] = (byte)127;
bs1[9] = (byte)127;
bs1[10] = (byte)127;
bs1[11] = (byte)127;
bs1[12] = (byte)127;
bs1[13] = (byte)127;
bs1[14] = (byte)127;
bs1[15] = (byte)127;
bs1[16] = (byte)127;
bs1[17] = (byte)127;
bs1[18] = (byte)127;
bs1[19] = (byte)127;
bs1[20] = (byte)127;
bs1[21] = (byte)127;
bs1[22] = (byte)127;
bs1[23] = (byte)127;
bs1[24] = (byte)127;
bs1[25] = (byte)127;
bs1[26] = (byte)127;
bs1[27] = (byte)127;
bs1[28] = (byte)127;
bs1[29] = (byte)127;
bs1[30] = (byte)127;
bs1[31] = (byte)127;
bs1[32] = (byte)127;
bs1[33] = (byte)127;
bs1[34] = (byte)127;
bs1[35] = (byte)127;
bs1[36] = (byte)127;
bs1[37] = (byte)127;
bs1[38] = (byte)127;
bs1[39] = (byte)127;
bs1[40] = (byte)127;
bs1[41] = (byte)127;
bs1[42] = (byte)127;
bs1[43] = (byte)127;
bs1[44] = (byte)127;
bs1[45] = (byte)127;
bs1[46] = (byte)127;
bs1[47] = (byte)127;
bs1[48] = (byte)127;
bs1[49] = (byte)127;
bs1[50] = (byte)127;
bs1[51] = (byte)127;
bs1[52] = (byte)127;
bs1[53] = (byte)127;
bs1[54] = (byte)127;
bs1[55] = (byte)127;
bs1[56] = (byte)127;
bs1[57] = (byte)127;
bs1[58] = (byte)127;
bs1[59] = (byte)127;
bs1[60] = (byte)127;
bs1[61] = (byte)127;
bs1[62] = (byte)127;
bs1[63] = (byte)127;
bs1[64] = (byte)127;
bs1[65] = (byte)127;
bs1[66] = (byte)127;
bs1[67] = (byte)127;
bs1[68] = (byte)127;
bs1[69] = (byte)127;
bs1[70] = (byte)127;
bs1[71] = (byte)127;
bs1[72] = (byte)127;
bs1[73] = (byte)127;
bs1[74] = (byte)127;
bs1[75] = (byte)127;
bs1[76] = (byte)127;
bs1[77] = (byte)127;
bs1[78] = (byte)127;
bs1[79] = (byte)127;
bs1[80] = (byte)127;
bs1[81] = (byte)127;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 0;
characterStream.stream = bs1;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
token = this.get_token(s0);
disposables.Dispose();
}
}
public void get_token773()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
byte[] bs = new byte[64];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[64];
bs1[0] = (byte)10;
bs1[1] = (byte)12;
bs1[2] = (byte)1;
bs1[3] = (byte)1;
bs1[4] = (byte)1;
bs1[5] = (byte)1;
bs1[6] = (byte)1;
bs1[7] = (byte)1;
bs1[8] = (byte)1;
bs1[9] = (byte)1;
bs1[10] = (byte)1;
bs1[11] = (byte)1;
bs1[12] = (byte)1;
bs1[13] = (byte)1;
bs1[14] = (byte)1;
bs1[15] = (byte)1;
bs1[16] = (byte)1;
bs1[17] = (byte)1;
bs1[18] = (byte)1;
bs1[19] = (byte)1;
bs1[20] = (byte)1;
bs1[21] = (byte)1;
bs1[22] = (byte)1;
bs1[23] = (byte)1;
bs1[24] = (byte)1;
bs1[25] = (byte)1;
bs1[26] = (byte)1;
bs1[27] = (byte)1;
bs1[28] = (byte)1;
bs1[29] = (byte)1;
bs1[30] = (byte)1;
bs1[31] = (byte)1;
bs1[32] = (byte)1;
bs1[33] = (byte)1;
bs1[34] = (byte)1;
bs1[35] = (byte)1;
bs1[36] = (byte)1;
bs1[37] = (byte)1;
bs1[38] = (byte)1;
bs1[39] = (byte)1;
bs1[40] = (byte)1;
bs1[41] = (byte)1;
bs1[42] = (byte)1;
bs1[43] = (byte)1;
bs1[44] = (byte)1;
bs1[45] = (byte)1;
bs1[46] = (byte)1;
bs1[47] = (byte)1;
bs1[48] = (byte)1;
bs1[49] = (byte)1;
bs1[50] = (byte)1;
bs1[51] = (byte)1;
bs1[52] = (byte)1;
bs1[53] = (byte)1;
bs1[54] = (byte)1;
bs1[55] = (byte)1;
bs1[56] = (byte)1;
bs1[57] = (byte)1;
bs1[58] = (byte)1;
bs1[59] = (byte)1;
bs1[60] = (byte)1;
bs1[61] = (byte)1;
bs1[62] = (byte)1;
bs1[63] = (byte)127;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 0;
characterStream.stream = bs1;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
token = this.get_token(s0);
disposables.Dispose();
Assert.IsNotNull((object)token);
Assert.IsNotNull((object)(token.token_string));
Assert.AreEqual<int>(80, token.token_string.Length);
Assert.AreEqual<byte>((byte)0, token.token_string[0]);
Assert.AreEqual<byte>((byte)12, token.token_string[1]);
Assert.AreEqual<byte>((byte)0, token.token_string[2]);
Assert.AreEqual<byte>((byte)0, token.token_string[3]);
Assert.AreEqual<byte>((byte)0, token.token_string[4]);
Assert.AreEqual<byte>((byte)0, token.token_string[5]);
Assert.AreEqual<byte>((byte)0, token.token_string[6]);
Assert.AreEqual<byte>((byte)0, token.token_string[7]);
Assert.AreEqual<byte>((byte)0, token.token_string[8]);
Assert.AreEqual<byte>((byte)0, token.token_string[9]);
Assert.AreEqual<byte>((byte)0, token.token_string[10]);
Assert.AreEqual<byte>((byte)0, token.token_string[11]);
Assert.AreEqual<byte>((byte)0, token.token_string[12]);
Assert.AreEqual<byte>((byte)0, token.token_string[13]);
Assert.AreEqual<byte>((byte)0, token.token_string[14]);
Assert.AreEqual<byte>((byte)0, token.token_string[15]);
Assert.AreEqual<byte>((byte)0, token.token_string[16]);
Assert.AreEqual<byte>((byte)0, token.token_string[17]);
Assert.AreEqual<byte>((byte)0, token.token_string[18]);
Assert.AreEqual<byte>((byte)0, token.token_string[19]);
Assert.AreEqual<byte>((byte)0, token.token_string[20]);
Assert.AreEqual<byte>((byte)0, token.token_string[21]);
Assert.AreEqual<byte>((byte)0, token.token_string[22]);
Assert.AreEqual<byte>((byte)0, token.token_string[23]);
Assert.AreEqual<byte>((byte)0, token.token_string[24]);
Assert.AreEqual<byte>((byte)0, token.token_string[25]);
Assert.AreEqual<byte>((byte)0, token.token_string[26]);
Assert.AreEqual<byte>((byte)0, token.token_string[27]);
Assert.AreEqual<byte>((byte)0, token.token_string[28]);
Assert.AreEqual<byte>((byte)0, token.token_string[29]);
Assert.AreEqual<byte>((byte)0, token.token_string[30]);
Assert.AreEqual<byte>((byte)0, token.token_string[31]);
Assert.AreEqual<byte>((byte)0, token.token_string[32]);
Assert.AreEqual<byte>((byte)0, token.token_string[33]);
Assert.AreEqual<byte>((byte)0, token.token_string[34]);
Assert.AreEqual<byte>((byte)0, token.token_string[35]);
Assert.AreEqual<byte>((byte)0, token.token_string[36]);
Assert.AreEqual<byte>((byte)0, token.token_string[37]);
Assert.AreEqual<byte>((byte)0, token.token_string[38]);
Assert.AreEqual<byte>((byte)0, token.token_string[39]);
Assert.AreEqual<byte>((byte)0, token.token_string[40]);
Assert.AreEqual<byte>((byte)0, token.token_string[41]);
Assert.AreEqual<byte>((byte)0, token.token_string[42]);
Assert.AreEqual<byte>((byte)0, token.token_string[43]);
Assert.AreEqual<byte>((byte)0, token.token_string[44]);
Assert.AreEqual<byte>((byte)0, token.token_string[45]);
Assert.AreEqual<byte>((byte)0, token.token_string[46]);
Assert.AreEqual<byte>((byte)0, token.token_string[47]);
Assert.AreEqual<byte>((byte)0, token.token_string[48]);
Assert.AreEqual<byte>((byte)0, token.token_string[49]);
Assert.AreEqual<byte>((byte)0, token.token_string[50]);
Assert.AreEqual<byte>((byte)0, token.token_string[51]);
Assert.AreEqual<byte>((byte)0, token.token_string[52]);
Assert.AreEqual<byte>((byte)0, token.token_string[53]);
Assert.AreEqual<byte>((byte)0, token.token_string[54]);
Assert.AreEqual<byte>((byte)0, token.token_string[55]);
Assert.AreEqual<byte>((byte)0, token.token_string[56]);
Assert.AreEqual<byte>((byte)0, token.token_string[57]);
Assert.AreEqual<byte>((byte)0, token.token_string[58]);
Assert.AreEqual<byte>((byte)0, token.token_string[59]);
Assert.AreEqual<byte>((byte)0, token.token_string[60]);
Assert.AreEqual<byte>((byte)0, token.token_string[61]);
Assert.AreEqual<byte>((byte)0, token.token_string[62]);
Assert.AreEqual<byte>((byte)0, token.token_string[63]);
Assert.AreEqual<byte>((byte)0, token.token_string[64]);
Assert.AreEqual<byte>((byte)0, token.token_string[65]);
Assert.AreEqual<byte>((byte)0, token.token_string[66]);
Assert.AreEqual<byte>((byte)0, token.token_string[67]);
Assert.AreEqual<byte>((byte)0, token.token_string[68]);
Assert.AreEqual<byte>((byte)0, token.token_string[69]);
Assert.AreEqual<byte>((byte)0, token.token_string[70]);
Assert.AreEqual<byte>((byte)0, token.token_string[71]);
Assert.AreEqual<byte>((byte)0, token.token_string[72]);
Assert.AreEqual<byte>((byte)0, token.token_string[73]);
Assert.AreEqual<byte>((byte)0, token.token_string[74]);
Assert.AreEqual<byte>((byte)0, token.token_string[75]);
Assert.AreEqual<byte>((byte)0, token.token_string[76]);
Assert.AreEqual<byte>((byte)0, token.token_string[77]);
Assert.AreEqual<byte>((byte)0, token.token_string[78]);
Assert.AreEqual<byte>((byte)0, token.token_string[79]);
Assert.AreEqual<int>(-1, token.token_id);
}
}
public void get_tokenThrowsIndexOutOfRangeException588()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
byte[] bs = new byte[14];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[14];
bs1[0] = (byte)10;
bs1[13] = (byte)127;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 0;
characterStream.stream = bs1;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
token = this.get_token(s0);
disposables.Dispose();
}
}
public void error_or_eof_case809()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemoryStream memoryStream;
CharacterStream characterStream;
Token token;
Token token1;
byte[] bs = new byte[5];
memoryStream = new MemoryStream(bs, false);
disposables.Add((IDisposable)memoryStream);
byte[] bs1 = new byte[4];
bs1[0] = (byte)127;
bs1[1] = (byte)127;
bs1[2] = (byte)127;
bs1[3] = (byte)127;
characterStream = new CharacterStream();
characterStream.fp = (Stream)memoryStream;
characterStream.stream_ind = 1;
characterStream.stream = bs1;
byte[] bs2 = new byte[5];
token = new Token();
token.token_string = bs2;
token.token_id = 0;
TokenStream s0 = new TokenStream();
s0.ch_stream = characterStream;
byte[] bs3 = new byte[5];
token1 = this.error_or_eof_case(s0, token, 0, bs3, 4, (byte)0);
disposables.Dispose();
Assert.IsNotNull((object)token1);
Assert.IsNotNull((object)(token1.token_string));
Assert.AreEqual<int>(5, token1.token_string.Length);
Assert.AreEqual<byte>((byte)0, token1.token_string[0]);
Assert.AreEqual<byte>((byte)0, token1.token_string[1]);
Assert.AreEqual<byte>((byte)0, token1.token_string[2]);
Assert.AreEqual<byte>((byte)0, token1.token_string[3]);
Assert.AreEqual<byte>((byte)0, token1.token_string[4]);
Assert.AreEqual<int>(0, token1.token_id);
}
}
