Sentencia Statement()
{
try
{
switch (currentToken.Tipo)
{
case TipoToken.TK_IF:
currentToken = lex.NextToken();
return parseIf();
case TipoToken.TK_FOR:
currentToken = lex.NextToken();
return parseFor();
case TipoToken.TK_WHILE:
currentToken = lex.NextToken();
return parseWhile();
case TipoToken.TK_CASE:
currentToken = lex.NextToken();
return parseSwitch();
case TipoToken.TK_REPEAT:
currentToken = lex.NextToken();
return parseDo();
#region variable
case TipoToken.TK_VAR:
{
currentToken = lex.NextToken();
Declaracion ret = VariableDeclarationList();
if (currentToken.Tipo != TipoToken.TK_END)
throw new Exception("Se esperaba end.");
else
{
currentToken = lex.NextToken();
return ret;
}
}
#endregion
case TipoToken.TK_ID:
return parseAssignOrCall();
#region read/print
case TipoToken.TK_PRINT:
{
currentToken = lex.NextToken();
S_Print ret = new S_Print();
ret.Expr = Expr();
return ret;
}
case TipoToken.TK_READ:
{
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_ID)
throw new Exception("Se esperaba identificador.");
else
{
S_Read ret = new S_Read();
ret.var = new Variable(currentToken.Lexema, AccessList(currentToken.Lexema));
return ret;
}
}
#endregion
#region Procedure
case TipoToken.TK_VOID:
{
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_ID)
throw new Exception("Se esperaba ID");
else
{
S_Functions ret = new S_Functions();
ret.Retorno = new Voids();
ret.Var = currentToken.Lexema;
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba \"(\"");
else
{
currentToken = lex.NextToken();
ret.Campo = VariableDeclarationList();
if (currentToken.Tipo != TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba\")\"");
else
{
currentToken = lex.NextToken();
ret.S = CodeBlock();
return ret;
}
}
}
}
#endregion
#region Function
case TipoToken.TK_FUNCTION:
{
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_ID)
throw new Exception("Se esperaba ID");
else
{
S_Functions ret = new S_Functions();
ret.Var = currentToken.Lexema;
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba \"(\"");
else
{
currentToken = lex.NextToken();
ret.Campo = VariableDeclarationList();
if (currentToken.Tipo != TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba\")\"");
else
{
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_DOSPUNTOS)
throw new Exception("Se esperaba\":\"");
else
{
currentToken = lex.NextToken();
ret.Retorno = ParseType();
ret.S = CodeBlock();
return ret;
}
}
}
}
}
#endregion
#region type
case TipoToken.TK_TYPE:
{
currentToken = lex.NextToken();
TypeDef ret = TypeDeclarationList();
if (currentToken.Tipo != TipoToken.TK_END)
throw new Exception("Se esperaba end.");
else
{
currentToken = lex.NextToken();
return ret;
}
}
#endregion
#region break/continue/return
case TipoToken.TK_BREAK:
currentToken = lex.NextToken();
return new S_Break();
case TipoToken.TK_CONTINUE:
currentToken = lex.NextToken();
return new S_Continue();
case TipoToken.TK_RETURN:
{
currentToken = lex.NextToken();
S_Return ret = new S_Return();
ret.Expr = Expr();
return ret;
}
#endregion
default:
throw new Exception("Sentencia no reconocida.");
}
}
catch (Exception ex) { throw ex; }
}
public Sentencia Statement()
{
try
{
//Para Declaraciones
if (currentToken.Tipo == Lexico.TipoToken.TK_INT || currentToken.Tipo == Lexico.TipoToken.TK_FLOAT || currentToken.Tipo == Lexico.TipoToken.TK_STRUCT ||
currentToken.Tipo == Lexico.TipoToken.TK_CHAR || currentToken.Tipo == Lexico.TipoToken.TK_VOID || currentToken.Tipo == Lexico.TipoToken.TK_STRING ||
currentToken.Tipo == Lexico.TipoToken.TK_BOOL)
{
return DeclaracionesC();
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_PRINT)
{
#region
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
S_Print sprint = new S_Print();
sprint.Expr = Expression();
//this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
return sprint;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_READ)
{
#region
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_ID)
throw new Exception("Se esperaba un ID");
S_Read sread = new S_Read();
sread.var.id = currentToken.Lexema;
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
return sread;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_IF)
{
#region
S_If sif = new S_If();
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
sif.Condicion = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
sif.Cierto = CompoundStatement();
sif.Falso = Else();
return sif;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_WHILE)
{
#region
S_While swhile = new S_While();
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
swhile.Condicion = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
swhile.S = CompoundStatement();
return swhile;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_DO)
{
#region
S_Do sdo = new S_Do();
this.currentToken = lex.NextToken();
sdo.S = CompoundStatement();
if (this.currentToken.Tipo == Lexico.TipoToken.TK_WHILE)
{
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
sdo.Condicion = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
return sdo;
}
else
throw new Exception("Se esperaba la palabra reservada WHILE");
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_FOR)
{
#region
S_For sfor = new S_For();
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_ID)
throw new Exception("Se esperaba un ID");
sfor.Var.id = this.currentToken.Lexema;
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_ASSIGN)
throw new Exception("Se esperaba el simbolo =");
this.currentToken = lex.NextToken();
sfor.Inicio = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
sfor.Condicion = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
sfor.Iteracion = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba un )");
this.currentToken = lex.NextToken();
sfor.S = CompoundStatement();
return sfor;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_RETURN)
{
#region
S_Return sreturn = new S_Return();
this.currentToken = lex.NextToken();
sreturn.Expr = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
return sreturn;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_BREAK)
{
#region
S_Break sbreak = new S_Break();
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un ;");
this.currentToken = lex.NextToken();
return sbreak;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_SWITCH)
{
#region
S_Switch sSwitch = new S_Switch();
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Se esperaba un (");
this.currentToken = lex.NextToken();
sSwitch.Var = Expression();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Se esperaba una )");
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_OPENLLAVE)
throw new Exception("Se esperaba una {");
this.currentToken = lex.NextToken();
sSwitch.Casos = Cases();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_DEFAULT)
throw new Exception("Se esperaba la palabra reservada DEFAULT");
this.currentToken = lex.NextToken();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_DOSPUNTOS)
throw new Exception("Se esperaba el simbolo :");
this.currentToken = lex.NextToken();
sSwitch.sdefault = StatementList();
if (this.currentToken.Tipo != Lexico.TipoToken.TK_CLOSELLAVE)
throw new Exception("Se esperaba una }");
this.currentToken = lex.NextToken();
return sSwitch;
#endregion
}
else if (this.currentToken.Tipo == Lexico.TipoToken.TK_ID)
{
#region
Sentencia s = SentenciaAssign_LlamaFun();
if (currentToken.Tipo != Lexico.TipoToken.TK_FINSENTENCIA)
throw new Exception("Se esperaba un token ;");
this.currentToken = lex.NextToken();
return s;
#endregion
}
return null;
}
catch (Exception ex)
{
throw ex;
}
}
Sentencia CompoundStatement()
{
try
{
switch (currentToken.Tipo)
{
case TipoToken.TK_IF:
currentToken = lex.NextToken();
return parseIf();
case TipoToken.TK_FOR:
currentToken = lex.NextToken();
return parseFor();
case TipoToken.TK_WHILE:
currentToken = lex.NextToken();
return parseWhile();
case TipoToken.TK_CASE:
currentToken = lex.NextToken();
return parseSwitch();
case TipoToken.TK_REPEAT:
currentToken = lex.NextToken();
return parseDo();
case TipoToken.TK_ID:
return parseAssignOrCall();
#region read/print/break/continue/return
case TipoToken.TK_PRINT:
{
currentToken = lex.NextToken();
S_Print ret = new S_Print();
ret.Expr = Expr();
return ret;
}
case TipoToken.TK_READ:
{
currentToken = lex.NextToken();
if (currentToken.Tipo != TipoToken.TK_ID)
throw new Exception("Se esperaba identificador.");
else
{
S_Read ret = new S_Read();
ret.var = new Variable(currentToken.Lexema, AccessList(currentToken.Lexema));
return ret;
}
}
case TipoToken.TK_BREAK:
currentToken = lex.NextToken();
return new S_Break();
case TipoToken.TK_CONTINUE:
currentToken = lex.NextToken();
return new S_Continue();
case TipoToken.TK_RETURN:
{
currentToken = lex.NextToken();
S_Return ret = new S_Return();
ret.Expr = Expr();
return ret;
}
#endregion
default:
throw new Exception("Sentencia no reconocida.");
}
}
catch (Exception ex) { throw ex; }
}
public Sentencia Statement()
{
if (currentToken.Tipo == TipoToken.TK_CHAR || currentToken.Tipo == TipoToken.TK_BOOL || currentToken.Tipo == TipoToken.TK_STRING || currentToken.Tipo == TipoToken.TK_FLOAT ||
currentToken.Tipo == TipoToken.TK_INT || currentToken.Tipo == TipoToken.TK_PRIVATE || currentToken.Tipo == TipoToken.TK_PUBLIC || currentToken.Tipo == TipoToken.TK_CLASS || currentToken.Tipo == TipoToken.TK_VOID)
{
try
{
return Declaraciones();
}
catch (Exception ex)
{
throw ex;
}
}
else if (currentToken.Tipo == TipoToken.TK_PRINT)
{
#region Print
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_OPENPAR)
{
currentToken = lex.NextToken();
S_Print sPrint = new S_Print();
try
{
sPrint.Expr = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_CLOSEPAR)
{
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
currentToken = lex.NextToken();
return sPrint;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo )");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo (");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_IF)
{
#region If
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_OPENPAR)
{
currentToken = lex.NextToken();
S_If sIf = new S_If();
try
{
sIf.Condicion = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_CLOSEPAR)
{
currentToken = lex.NextToken();
try
{
sIf.Cierto = CompoundStatement();
}
catch (Exception ex)
{
throw ex;
}
try
{
sIf.Falso = ELSE();
}
catch (Exception ex)
{
throw ex;
}
return sIf;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo )");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo (");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_WHILE)
{
#region While
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_OPENPAR)
{
currentToken = lex.NextToken();
S_While sWhile = new S_While();
try
{
sWhile.Condicion = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_CLOSEPAR)
{
currentToken = lex.NextToken();
try
{
sWhile.S = CompoundStatement();
}
catch (Exception ex)
{
throw ex;
}
return sWhile;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo )");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo (");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_DO)
{
#region Do
currentToken = lex.NextToken();
S_Do sDo = new S_Do();
try
{
sDo.S = CompoundStatement();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_WHILE)
{
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_OPENPAR)
{
currentToken = lex.NextToken();
try
{
sDo.Condicion = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_CLOSEPAR)
{
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
currentToken = lex.NextToken();
return sDo;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo )");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo (");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba palabra fin de ciclo While");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_FOR)
{
#region For
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_OPENPAR)
{
currentToken = lex.NextToken();
S_For sFor = new S_For();
if (currentToken.Tipo == TipoToken.TK_CHAR || currentToken.Tipo == TipoToken.TK_FLOAT || currentToken.Tipo == TipoToken.TK_INT)
{
try
{
sFor.Tip = Type();
}
catch (Exception ex)
{
throw ex;
}
}
if (currentToken.Tipo == TipoToken.TK_ID)
{
sFor.Var.id = currentToken.Lexema;
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_ASSIGN)
{
currentToken = lex.NextToken();
try
{
sFor.Inicio = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
currentToken = lex.NextToken();
try
{
sFor.Condicion = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
currentToken = lex.NextToken();
try
{
Expresiones e = Expr();
sFor.Iteracion = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_CLOSEPAR)
{
currentToken = lex.NextToken();
try
{
sFor.S = CompoundStatement();
}
catch (Exception ex)
{
throw ex;
}
return sFor;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo )");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo asignacion =");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba un Identificador");
}
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo (");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_RETURN)
{
#region Return
currentToken = lex.NextToken();
S_Return sReturn = new S_Return();
try
{
sReturn.Expr = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
currentToken = lex.NextToken();
return sReturn;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_BREAK)
{
#region Break
currentToken = lex.NextToken();
if (currentToken.Tipo == TipoToken.TK_FINSENTENCIA)
{
S_Break sBreak = new S_Break();
currentToken = lex.NextToken();
return sBreak;
}
else
{
throw new Exception("Error Sintactico - Se esperaba simbolo ;");
}
#endregion
}
else if (currentToken.Tipo == Lexico.TipoToken.TK_SWITCH)
{
#region Switch
currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_OPENPAR)
throw new Exception("Error Sintactico - Se esperaba un (");
currentToken = lex.NextToken();
S_Switch sSwitch = new S_Switch();
try
{
sSwitch.Var = Expr();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo != Lexico.TipoToken.TK_CLOSEPAR)
throw new Exception("Error Sintactico - Se esperaba una )");
currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_OPENLLAVE)
throw new Exception("Error Sintactico - Se esperaba una {");
currentToken = lex.NextToken();
try
{
sSwitch.Casos = Cases();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo != Lexico.TipoToken.TK_DEFAULT)
throw new Exception("Error Sintactico - Se esperaba la palabra reservada DEFAULT");
currentToken = lex.NextToken();
if (currentToken.Tipo != Lexico.TipoToken.TK_DOSPUNTOS)
throw new Exception("Error Sintactico - Se esperaba el simbolo :");
currentToken = lex.NextToken();
try
{
sSwitch.sdefault = StatementList();
}
catch (Exception ex)
{
throw ex;
}
if (currentToken.Tipo != Lexico.TipoToken.TK_CLOSELLAVE)
throw new Exception("Error Sintactico - Se esperaba una }");
currentToken = lex.NextToken();
return sSwitch;
#endregion
}
else if (currentToken.Tipo == TipoToken.TK_ID)
{
try
{
return SentenciaASSIGN_LLAMFUNC();
}
catch (Exception ex)
{
throw ex;
}
}
return null;
}