public static void evaluarSino(ParseTreeNode sentencias, String eSalida)
{
// Sino { Sentencias }
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de Sino"));
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eSalida));
}
public static void evaluarLoopC3D(ParseTreeNode sentencias)
{
//LOOP -> Sentencias
String eInicio = GeneradorC3D.getEtiqueta();
String eSal = GeneradorC3D.getEtiqueta();
GeneradorC3D.generarEtiquetas((eInicio));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de loop"));
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.LOOP, "", eInicio, eSal);
// Sentencias de Loop
C3DSentencias.generarC3D(sentencias);
Ciclo loop = GeneradorC3D.display.getCiclo();
if (loop.interrupciones == 0)
{
Errores.getInstance.agregar(new Error((int)Error.tipoError.SEMANTICO,
"El loop no contiene sentencia de escape!", sentencias.Span.Location.Line,
sentencias.Span.Location.Column));
}
GeneradorC3D.display.removerCiclo();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eInicio));
GeneradorC3D.generarEtiquetas((eSal));
}
public static void evaluarRepetirC3D(ParseTreeNode sentencias, ParseTreeNode cond)
{
//REPEAT -> Sentencias EXP
String eAux = GeneradorC3D.getEtiqueta();
String eInicio = GeneradorC3D.getEtiqueta();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eAux));
GeneradorC3D.generarEtiquetas((eInicio));
Nodo nhacer = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(cond), cond.Span.Location.Line,
cond.Span.Location.Column);
if (nhacer != null)
{
GeneradorC3D.generarEtiquetas((eAux));
GeneradorC3D.generarEtiquetas((nhacer.etqFalsa));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de repeat-until"));
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.REPEAT, "", eInicio, nhacer.etqFalsa);
// Sentencias de Repeat
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.display.removerCiclo();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eInicio));
GeneradorC3D.generarEtiquetas((nhacer.etqVerdadera));
}
}
public static void evaluarParaC3D(ParseTreeNode tipo, ParseTreeNode cond,
ParseTreeNode control, ParseTreeNode sentencias)
{
//FOR -> DECLARACION/ASIGNACION EXP ASIGNACION Sentencias
C3DSentencias.generarC3D(tipo);
String eInicio = GeneradorC3D.getEtiqueta();
String eAux = GeneradorC3D.getEtiqueta();
GeneradorC3D.generarEtiquetas((eInicio));
Nodo npara = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(cond), cond.Span.Location.Line,
cond.Span.Location.Column);
if (npara != null)
{
GeneradorC3D.generarEtiquetas((npara.etqVerdadera));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de for"));
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.FOR, "", eAux, npara.etqFalsa);
// Sentencias de Para
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.display.removerCiclo();
GeneradorC3D.generarEtiquetas(eAux);
Expresion.expresionC3D(control);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eInicio));
GeneradorC3D.generarEtiquetas((npara.etqFalsa));
}
}
/*
* SWITCH.Rule = selector + caso + EXP + dosp + Eos + BCASO;
*
* BCASO.Rule = Indent + CASOS + DEFECTO + Dedent
| Indent + CASOS + Dedent;
|
| CASOS.Rule = MakeStarRule(CASOS, CASO);
|
| CASO.Rule = EXP + dosp + Eos + BLOQUE;
|
| DEFECTO.Rule = defecto + dosp + Eos + BLOQUE;
*/
public static void evaluarElegirC3D(ParseTreeNode expresion, ParseTreeNode bcaso)
{
//SWITCH -> EXP BCASO
List <string> etiquetasCaso = new List <string>();
String eTest = GeneradorC3D.getEtiqueta();
String eSal = GeneradorC3D.getEtiqueta();
//Recorrer EXP
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.ETIQUETA, eTest));
Nodo nexp = Expresion.expresionC3D(expresion);
if (nexp != null)
{
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eTest));
//Recorrer cada caso
foreach (ParseTreeNode caso in bcaso.ChildNodes[0].ChildNodes)
{
//Caso -> ECASO Sentencias
String eCaso = GeneradorC3D.getEtiqueta();
etiquetasCaso.Add(eCaso);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Inicio de caso "));
GeneradorC3D.generarEtiquetas((eCaso));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de caso "));
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.SWITCH, "", "", eSal);
// Sentencias de Switch
C3DSentencias.generarC3D(caso.ChildNodes[1].ChildNodes[0]);
GeneradorC3D.display.removerCiclo();
}
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eSal));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.ETIQUETA, eTest));
int contar = 0;
foreach (ParseTreeNode caso in bcaso.ChildNodes[0].ChildNodes)
{
evaluarCasoC3D(caso.ChildNodes[0], nexp, etiquetasCaso[contar]);
contar++;
}
//Defecto?
if (bcaso.ChildNodes.Count == 2)
{
//Sentencias de Defecto
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.SWITCH, "", "", eSal);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de defecto"));
GeneradorC3D.display.removerCiclo();
C3DSentencias.generarC3D(bcaso.ChildNodes[0].ChildNodes[0]);
}
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Etiqueta de salida del switch"));
GeneradorC3D.generarEtiquetas((eSal));
}
}
public static void evaluarSi(ParseTreeNode expresion, ParseTreeNode sentencias, String eSalida)
{
// Si (Expresion) { Sentencias }
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Inicio de la sentencia Si"));
Nodo nsi = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(expresion), expresion.Span.Location.Line,
expresion.Span.Location.Column);
if (nsi != null)
{
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// La condicion verdadera"));
GeneradorC3D.generarEtiquetas((nsi.etqVerdadera));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de Si"));
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eSalida));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// La condicion falsa"));
GeneradorC3D.generarEtiquetas((nsi.etqFalsa));
}
}
public static void evaluarMientrasC3D(ParseTreeNode exp, ParseTreeNode sentencias)
{
String eInicio = GeneradorC3D.getEtiqueta();
GeneradorC3D.generarEtiquetas((eInicio));
Nodo nmientras = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(exp), exp.Span.Location.Line,
exp.Span.Location.Column);
if (nmientras != null)
{
GeneradorC3D.generarEtiquetas((nmientras.etqVerdadera));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Sentencias de while"));
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.WHILE, "", eInicio, nmientras.etqFalsa);
//Sentencias de while
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.display.removerCiclo();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL, eInicio));
GeneradorC3D.generarEtiquetas((nmientras.etqFalsa));
}
}
public static void evaluarXC3D(ParseTreeNode exp1, ParseTreeNode exp2,
ParseTreeNode sentencias)
{
//WHILEX -> EXP EXP Sentencias
String eInicio = GeneradorC3D.getEtiqueta();
String eSen = GeneradorC3D.getEtiqueta();
String eCond = GeneradorC3D.getEtiqueta();
String eSalida = GeneradorC3D.getEtiqueta();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Inicializar temporal auxiliar"));
String taux = GeneradorC3D.getTemporal();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION,
taux, "0", "", ""));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Etiqueta de Inicio del ciclo X"));
GeneradorC3D.generarEtiquetas((eInicio));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Evaluar condicion 1"));
Nodo cond1 = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(exp1), exp1.Span.Location.Line, exp1.Span.Location.Column);
if (cond1 != null)
{
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Etiqueta verdadera primera condicion"));
GeneradorC3D.generarEtiquetas(cond1.etqVerdadera);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Evaluar condicion por primera vez"));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.CONDICIONAL,
eSen, taux, "==", "0"));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL,
eCond));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Etiqueta falsa primera condicion"));
GeneradorC3D.generarEtiquetas(cond1.etqFalsa);
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.CONDICIONAL,
eSalida, taux, "==", "1"));
GeneradorC3D.generarEtiquetas(eCond);
Nodo cond2 = Expresion.castearC3D((int)Simbolo.Tipo.BOOLEAN,
Expresion.expresionC3D(exp2), exp2.Span.Location.Line, exp2.Span.Location.Column);
if (cond2 != null)
{
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Etiqueta verdadera segunda condicion"));
GeneradorC3D.generarEtiquetas(cond2.etqVerdadera);
GeneradorC3D.generarEtiquetas(eSen);
GeneradorC3D.display.agregarCiclo((int)Ciclo.TipoCiclo.WHILEX, "", eInicio, eSalida);
// Sentencias de X
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Sentencia del ciclo X"));
C3DSentencias.generarC3D(sentencias);
GeneradorC3D.display.removerCiclo();
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION,
taux, "1", "", ""));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Salta al inicio"));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.INCONDICIONAL,
eInicio));
GeneradorC3D.instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Etiqueta falsa segunda condicion y salida"));
GeneradorC3D.generarEtiquetas(cond2.etqFalsa);
GeneradorC3D.generarEtiquetas(eSalida);
}
}
}
private static void generarC3DClases()
{
// Recorrer cada una de las clases
foreach (Clase clase in clases)
{
C3DSentencias.claseActual = clase;
// Recorrer cada uno de los constructores
foreach (Procedimiento constructor in clase.constructores)
{
C3DSentencias.procedimientoActual = TablaSimbolos.getInstance.getProcedimiento(clase.nombre,
constructor.completo);
//C3DSentencias.procedimientoActual = constructor.completo;
instrucciones.Add(new C3D((int)C3D.TipoC3D.INICIO_METODO,
clase.nombre + "_" + constructor.completo));
// Guardar H en t1
String t1 = GeneradorC3D.getTemporal();
instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO, "// Guardar apuntador de la instancia"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t1, "H", "+", "0"));
GeneradorC3D.aumentarHeap("2");
// Generar this y super
String t2 = getTemporal();
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t2, "P", "+", "0"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.VALOR, "Stack", t2, t1));
generarC3DThis(clase, t1, "Heap");
t2 = getTemporal();
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t2, "P", "+", "1"));
String t5 = getTemporal();
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t5, t1, "+", "1"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.VALOR, "Stack", t2, t5));
generarC3DSuper(clase, t1, "Heap");
String t3 = getTemporal();
String t4 = getTemporal();
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t3, t1, "+", "1"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.ASIGNACION, t4, "P", "+", "1"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.VALOR, "Stack", t4, t3));
// Sentencias del constructor
C3DSentencias.generarC3D(constructor.sentencias);
// Guardar en retorno la posicion del objeto creado
String temp = C3DSentencias.retornarC3D(constructor.linea, constructor.columna);
if (!temp.Equals(""))
{
instrucciones.Add(new C3D((int)C3D.TipoC3D.COMENTARIO,
"// Guardar el retorno en la posicion"));
instrucciones.Add(new C3D((int)C3D.TipoC3D.VALOR, "Stack", temp,
t1));
}
instrucciones.Add(new C3D((int)C3D.TipoC3D.FIN_METODO, "}"));
}
// Recorrer cada uno de los procedimientos
foreach (Procedimiento procedimiento in clase.procedimientos)
{
C3DSentencias.eFinProcedimiento = getEtiqueta();
//C3DSentencias.procedimientoActual = procedimiento.completo;
C3DSentencias.procedimientoActual = TablaSimbolos.getInstance.getProcedimiento(clase.nombre,
procedimiento.completo);
instrucciones.Add(new C3D((int)C3D.TipoC3D.INICIO_METODO,
clase.nombre + "_" + procedimiento.completo));
// Sentencias del procedimiento
C3DSentencias.generarC3D(procedimiento.sentencias);
generarEtiquetas(C3DSentencias.eFinProcedimiento);
C3DSentencias.eFinProcedimiento = null;
instrucciones.Add(new C3D((int)C3D.TipoC3D.FIN_METODO, "}"));
}
}
}