public void TipoResultante(Tipo op1, Tipo op2)
{
if (!op1.IsIndefinido() && !op2.IsIndefinido())
{
if (Op == Operador.IGUAL || Op == Operador.DIFERENTE)
{
Tipo.Tip = Tipo.Type.BOOLEAN;
return;
}
else
{
if ((op1.IsNumeric() || op1.IsBoolean()) && (op2.IsNumeric() || op2.IsBoolean()))
{
Tipo.Tip = Tipo.Type.BOOLEAN;
return;
}
else if (op1.IsString() || op2.IsString())
{
Tipo.Tip = Tipo.Type.BOOLEAN;
return;
}
}
}
Tipo.Tip = Tipo.Type.INDEFINIDO;
}
private void TipoResultante(Tipo op1, Tipo op2)
{
if (!op1.IsIndefinido() && !op2.IsIndefinido())
{
if (op1.IsBoolean() && op2.IsBoolean())
{
Tipo.Tip = Tipo.Type.BOOLEAN;
return;
}
else
{
Tipo.Tip = Tipo.Type.INT;
return;
}
}
Tipo.Tip = Tipo.Type.INDEFINIDO;
}
public void TipoDominante(Tipo op1, Tipo op2)
{
if (!op1.IsIndefinido() && !op2.IsIndefinido())
{
if (!op1.IsNone() && !op2.IsNone())
{
if (op1.IsString() || op2.IsString())
{
if (Op == Operador.SUMA)
{
Tipo.Tip = Tipo.Type.STRING;
return;
}
}
else //if (!op1.IsBoolean() && !op2.IsBoolean())
{
if (op1.IsDouble() || op2.IsDouble())
{
Tipo.Tip = Tipo.Type.DOUBLE;
return;
}
else if (op1.IsInt() || op2.IsInt())
{
Tipo.Tip = Tipo.Type.INT;
return;
}
else if (op1.IsBoolean() || op2.IsBoolean())
{
Tipo.Tip = Tipo.Type.INT;
return;
}
}
}
}
Tipo.Tip = Tipo.Type.INDEFINIDO;
}
public override Result GetC3D(Ent e, bool funcion, bool ciclo, bool isObjeto, LinkedList <Error> errores)
{
Result result = new Result();
if (Op1 is Relacional)
{
((Relacional)Op1).Cortocircuito = true;
}
else if (Op1 is Logica)
{
((Logica)Op1).Evaluar = true;
}
Result rsOp1 = Op1.GetC3D(e, funcion, ciclo, isObjeto, errores);
if (Op2 != null)
{
if (Op2 is Relacional)
{
((Relacional)Op2).Cortocircuito = true;
}
else if (Op2 is Logica)
{
((Logica)Op2).Evaluar = true;
}
Result rsOp2 = Op2.GetC3D(e, funcion, ciclo, isObjeto, errores);
TipoResultante(Op1.GetTipo(), Op2.GetTipo());
if (!Tipo.IsIndefinido())
{
if (Tipo.IsBoolean()) /*Si los dos son booleanos*/
{
if (Op1 is Literal)
{
rsOp1.EtiquetaV = NuevaEtiqueta();
rsOp1.EtiquetaF = NuevaEtiqueta();
rsOp1.Codigo += "ifFalse (" + rsOp1.Valor + " == 1) goto " + rsOp1.EtiquetaV + ";\n";
rsOp1.Codigo += "goto " + rsOp1.EtiquetaF + ";\n";
rsOp1.EtiquetaV += ":\n";
rsOp1.EtiquetaF += ":\n";
}
if (Op2 is Literal)
{
rsOp2.EtiquetaV = NuevaEtiqueta();
rsOp2.EtiquetaF = NuevaEtiqueta();
rsOp2.Codigo += "ifFalse (" + rsOp2.Valor + " == 1) goto " + rsOp2.EtiquetaV + ";\n";
rsOp2.Codigo += "goto " + rsOp2.EtiquetaF + ";\n";
rsOp2.EtiquetaV += ":\n";
rsOp2.EtiquetaF += ":\n";
}
if (Op == Operador.AND)
{
result.Codigo += rsOp1.Codigo;
if (Op1 is Relacional || Op1 is Literal)
{
result.Codigo += rsOp1.EtiquetaF;
rsOp1.EtiquetaF = rsOp1.EtiquetaV;
rsOp1.EtiquetaV = null;
}
else if (Op1 is Logica)
{
result.Codigo += rsOp1.EtiquetaV;
rsOp1.EtiquetaV = null;
}
result.Codigo += rsOp2.Codigo;
if (Op2 is Relacional || Op2 is Literal)
{
string copy = rsOp2.EtiquetaV;
rsOp2.EtiquetaV = rsOp2.EtiquetaF;
rsOp2.EtiquetaF = copy;
}
/*
* if(Op2 is Relacional)
* result.Codigo += rsOp2.EtiquetaF;*/
if (!Evaluar)
{
result.Valor = NuevoTemporal();
string etiquetaS = NuevaEtiqueta();
if (rsOp1.EtiquetaV != null)
{
result.Codigo += rsOp1.EtiquetaV;
}
if (rsOp2.EtiquetaV != null)
{
result.Codigo += rsOp2.EtiquetaV;
}
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += "goto " + etiquetaS + ";\n";
if (rsOp1.EtiquetaF != null)
{
result.Codigo += rsOp1.EtiquetaF;
}
if (rsOp2.EtiquetaF != null)
{
result.Codigo += rsOp2.EtiquetaF;
}
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += etiquetaS + ":\n";
}
else
{
if (rsOp1.EtiquetaV != null)
{
result.EtiquetaV += rsOp1.EtiquetaV;
}
if (rsOp1.EtiquetaF != null)
{
result.EtiquetaF += rsOp1.EtiquetaF;
}
if (rsOp2.EtiquetaV != null)
{
result.EtiquetaV += rsOp2.EtiquetaV;
}
if (rsOp2.EtiquetaF != null)
{
result.EtiquetaF += rsOp2.EtiquetaF;
}
}
}
else
{
result.Codigo += rsOp1.Codigo;
if (Op1 is Relacional || Op1 is Literal)
{
result.Codigo += rsOp1.EtiquetaV;
rsOp1.EtiquetaV = rsOp1.EtiquetaF;
rsOp1.EtiquetaF = null;
}
else if (Op1 is Logica)
{
result.Codigo += rsOp1.EtiquetaF;
rsOp1.EtiquetaF = null;
}
result.Codigo += rsOp2.Codigo;
if (Op2 is Relacional || Op2 is Literal)
{
string copy = rsOp2.EtiquetaV;
rsOp2.EtiquetaV = rsOp2.EtiquetaF;
rsOp2.EtiquetaF = copy;
}
if (!Evaluar)
{
result.Valor = NuevoTemporal();
string etiquetaS = NuevaEtiqueta();
if (rsOp1.EtiquetaV != null)
{
result.Codigo += rsOp1.EtiquetaV;
}
if (rsOp2.EtiquetaV != null)
{
result.Codigo += rsOp2.EtiquetaV;
}
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += "goto " + etiquetaS + ";\n";
if (rsOp1.EtiquetaF != null)
{
result.Codigo += rsOp1.EtiquetaF;
}
if (rsOp2.EtiquetaF != null)
{
result.Codigo += rsOp2.EtiquetaF;
}
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += etiquetaS + ":\n";
}
else
{
if (rsOp1.EtiquetaV != null)
{
result.EtiquetaV += rsOp1.EtiquetaV;
}
if (rsOp1.EtiquetaF != null)
{
result.EtiquetaF += rsOp1.EtiquetaF;
}
if (rsOp2.EtiquetaV != null)
{
result.EtiquetaV += rsOp2.EtiquetaV;
}
if (rsOp2.EtiquetaF != null)
{
result.EtiquetaF += rsOp2.EtiquetaF;
}
}
}
}
else
{
if (Op == Operador.AND)
{
if (Op2 is Literal && !Op2.GetTipo().IsNone())
{
result.Valor = NuevoTemporal();
result.Codigo += result.Valor + " = " + rsOp2.Valor + ";\n";
}
else
{
result.Codigo += rsOp2.Codigo;
result.Valor = rsOp2.Valor;
if (Op2 is Relacional || Op2 is Logica)
{
if (!Evaluar)
{
result.Valor = NuevoTemporal();
string etiquetaS = NuevaEtiqueta();
if (rsOp2.EtiquetaV != null)
{
result.Codigo += rsOp2.EtiquetaV;
}
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += "goto " + etiquetaS + ";\n";
if (rsOp2.EtiquetaF != null)
{
result.Codigo += rsOp2.EtiquetaF;
}
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += etiquetaS + ":\n";
}
else
{
result.EtiquetaV = rsOp2.EtiquetaV;
result.EtiquetaF = rsOp2.EtiquetaF;
}
}
}
Tipo = Op2.GetTipo();
}
else
{
if (Op1 is Literal && !Op1.GetTipo().IsNone())
{
result.Valor = NuevoTemporal();
result.Codigo += result.Valor + " = " + rsOp1.Valor + ";\n";
}
else
{
result.Codigo += rsOp1.Codigo;
result.Valor = rsOp1.Valor;
if (Op1 is Relacional || Op1 is Logica)
{
if (!Evaluar)
{
result.Valor = NuevoTemporal();
string etiquetaS = NuevaEtiqueta();
if (rsOp1.EtiquetaV != null)
{
result.Codigo += rsOp1.EtiquetaV;
}
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += "goto " + etiquetaS + ";\n";
if (rsOp1.EtiquetaF != null)
{
result.Codigo += rsOp1.EtiquetaF;
}
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += etiquetaS + ":\n";
}
else
{
result.EtiquetaV = rsOp1.EtiquetaV;
result.EtiquetaF = rsOp1.EtiquetaF;
}
}
}
Tipo = Op1.GetTipo();
}
}
}
else
{
errores.AddLast(new Error("Semántico", "Error de tipos en operación lógica.", Linea, Columna));
}
}
else /*NOT*/
{
Tipo.Tip = Tipo.Type.BOOLEAN;
if (Op1.GetTipo().IsBoolean()) /*Boolean, exp logica y relacional*/
{
if (Op1 is Literal)
{
rsOp1.EtiquetaV = NuevaEtiqueta();
rsOp1.EtiquetaF = NuevaEtiqueta();
rsOp1.Codigo += "ifFalse (" + rsOp1.Valor + " == 1) goto " + rsOp1.EtiquetaV + ";\n";
rsOp1.Codigo += "goto " + rsOp1.EtiquetaF + ";\n";
rsOp1.EtiquetaV += ":\n";
rsOp1.EtiquetaF += ":\n";
}
result.Codigo += rsOp1.Codigo;
if (!Evaluar)
{
result.Valor = NuevoTemporal();
string etiquetaS = NuevaEtiqueta();
if (rsOp1.EtiquetaV != null)
{
result.Codigo += rsOp1.EtiquetaV;
}
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += "goto " + etiquetaS + ";\n";
if (rsOp1.EtiquetaF != null)
{
result.Codigo += rsOp1.EtiquetaF;
}
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += etiquetaS + ":\n";
}
else
{
if (rsOp1.EtiquetaV != null)
{
result.EtiquetaF = rsOp1.EtiquetaV;
}
if (rsOp1.EtiquetaF != null)
{
result.EtiquetaV = rsOp1.EtiquetaF;
}
}
}
else
{
if (Op1 is Literal)
{
string tmp = NuevoTemporal();
rsOp1.Codigo += tmp + " = " + rsOp1.Valor + ";\n";
rsOp1.Valor = tmp;
}
if (Op1.GetTipo().IsString())
{
rsOp1.Codigo += rsOp1.Valor + " = 0 - 1;\n";
}
result.Codigo += rsOp1.Codigo;
if (!Evaluar)
{
result.EtiquetaV = NuevaEtiqueta();
result.EtiquetaF = NuevaEtiqueta();
result.Valor = NuevoTemporal();
result.Codigo += result.Valor + " = 0;\n";
result.Codigo += "ifFalse (" + rsOp1.Valor + " == 0) goto " + result.EtiquetaV + ";\n";
result.Codigo += "goto " + result.EtiquetaF + ";\n";
result.Codigo += result.EtiquetaF + ":\n";
result.Codigo += result.Valor + " = 1;\n";
result.Codigo += result.EtiquetaV + ":\n";
}
else
{
result.EtiquetaV = NuevaEtiqueta();
result.EtiquetaF = NuevaEtiqueta();
result.Codigo += "ifFalse (" + rsOp1.Valor + " == 0) goto " + result.EtiquetaF + ";\n";
result.Codigo += "goto " + result.EtiquetaV + ";\n";
result.EtiquetaV += ":\n";
result.EtiquetaF += ":\n";
}
}
}
return(result);
}
public override Result GetC3D(Ent e, bool funcion, bool ciclo, bool isDeclaracion, bool isObjeto, LinkedList <Error> errores)
{
if (!isDeclaracion)
{
Debugger(e, "Print");
}
Result result = new Result();
if (!isDeclaracion)
{
Result rsExp = Expresion.GetC3D(e, funcion, ciclo, isObjeto, errores);
Tipo tipoExp = Expresion.GetTipo();
if (!tipoExp.IsIndefinido())
{
if (rsExp.Valor != null)
{
/*verificar objeto y todas las demas*/
result.Codigo += rsExp.Codigo;
if (tipoExp.IsInt())
{
if (Expresion is Literal)
{
string tmp = NuevoTemporal();
result.Codigo += tmp + " = " + rsExp.Valor + ";\n";
result.Codigo += "print(\"%i\"," + tmp + ");\n";
}
else
{
result.Codigo += "print(\"%i\"," + rsExp.Valor + ");\n";
}
}
else if (tipoExp.IsDouble())
{
if (Expresion is Literal)
{
string tmp = NuevoTemporal();
result.Codigo += tmp + " = " + rsExp.Valor + ";\n";
result.Codigo += "print(\"%f\"," + tmp + ");\n";
}
else
{
result.Codigo += "print(\"%f\"," + rsExp.Valor + ");\n";
}
}
else if (tipoExp.IsBoolean())
{
result.EtiquetaV = NuevaEtiqueta();
result.EtiquetaF = NuevaEtiqueta();
string etqSalida = NuevaEtiqueta();
string tmpCiclo = NuevoTemporal();
result.Codigo += "if (" + rsExp.Valor + " == 0) goto " + result.EtiquetaV + ";\n";
result.Codigo += "goto " + result.EtiquetaF + ";\n";
result.Codigo += result.EtiquetaV + ":\n";
result.Codigo += tmpCiclo + " = 70;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 97;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 108;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 115;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 101;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += "goto " + etqSalida + ";\n";
result.Codigo += result.EtiquetaF + ":\n";
result.Codigo += tmpCiclo + " = 84;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 114;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 117;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += tmpCiclo + " = 101;\n";
result.Codigo += "print(\"%c\", " + tmpCiclo + ");\n";
result.Codigo += etqSalida + ":\n";
}
else if (tipoExp.IsString())
{
result.EtiquetaV = NuevaEtiqueta();
result.EtiquetaF = NuevaEtiqueta();
string etqCiclo = NuevaEtiqueta();
string tmpCiclo = NuevoTemporal();
result.Codigo += etqCiclo + ":\n";
result.Codigo += tmpCiclo + " = heap[" + rsExp.Valor + "];\n";
result.Codigo += "if (" + tmpCiclo + " == 0) goto " + result.EtiquetaV + ";\n";
result.Codigo += "goto " + result.EtiquetaF + ";\n";
result.Codigo += result.EtiquetaF + ":\n";
result.Codigo += "print(\"%c\"," + tmpCiclo + ");\n";
result.Codigo += rsExp.Valor + " = " + rsExp.Valor + " + 1;\n";
result.Codigo += "goto " + etqCiclo + ";\n";
result.Codigo += result.EtiquetaV + ":\n";
}
string tmpSalto = NuevoTemporal();
result.Codigo += tmpSalto + " = 10;\n";
result.Codigo += "print(\"%c\"," + tmpSalto + ");\n";
}
else
{
if (tipoExp.IsNone())
{
string tmp = NuevoTemporal();
result.Codigo += tmp + " = 78;\n";
result.Codigo += "print(\"%c\", " + tmp + ");\n";
result.Codigo += tmp + " = 111;\n";
result.Codigo += "print(\"%c\", " + tmp + ");\n";
result.Codigo += tmp + " = 110;\n";
result.Codigo += "print(\"%c\", " + tmp + ");\n";
result.Codigo += tmp + " = 101;\n";
result.Codigo += "print(\"%c\", " + tmp + ");\n";
string tmpSalto = NuevoTemporal();
result.Codigo += tmpSalto + " = 10;\n";
result.Codigo += "print(\"%c\"," + tmpSalto + ");\n";
}
else
{
errores.AddLast(new Error("Semantico", "Valor no encontrado en print", Linea, Columna));
}
}
}
}
return(result);
}