public override void CompararValor( EscritorC escritor )
{
string variable = string.Empty;
escritor.WriteLine( "//" + Definicion.Nombre );
switch( Definicion.Tipo )
{
case Tipo.UInt8:
case Tipo.UInt16:
case Tipo.UInt32:
case Tipo.UInt64:
case Tipo.Int8:
case Tipo.Int16:
case Tipo.Int32:
case Tipo.Int64:
case Tipo.Char:
case Tipo.Booleano:
case Tipo.Float32:
case Tipo.Float64:
if( Definicion.TipoDeAcceso==ValorOReferencia.R )
variable = "*";
break;
case Tipo.CadenaC:
case Tipo.CadenaPascal:
break;
}
variable += Definicion.Nombre;
CompararValor( escritor, variable );
}
public void CompararValoresDevueltos( EscritorC escritor )
{
//Comparo los valores de los parametros de salida y ES
foreach( Parametro param in ParametrosSalida )
if( param.Definicion.Tipo != Tipo.Void)
param.CompararValor( escritor );
//Comparo todos los valores de los parametros de entrada pasados por referencia, contra si mismos; o sea, que no se hayan modificado.
foreach (Parametro param in ParametrosEntrada )
if (param.Definicion.EntradaSalida == EntradaSalida.E && param.Definicion.TipoDeAcceso == ValorOReferencia.R)
param.CompararValor(escritor);
}
public override void CompararValor( EscritorC escritor )
{
Elem elem = new Elem();
escritor.WriteLine( "//" + Definicion.Nombre );
for( int i = 0; i < Elementos.Length; i++ )
{
elem = Elementos[i];
elem.Definicion.Tipo = Definicion.Tipo;
elem.Definicion.TipoDeAcceso = ValorOReferencia.V;
if( Definicion.Tipo==Tipo.Char )
elem.Valor = elem.Valor[1].ToString();
elem.CompararValor( escritor, Definicion.Nombre + "[" + i + "]" );
}
}
public override void CompararValor( EscritorC escritor )
{
Elem elem;
for( int fila = 0; fila < cantFilas; fila++ )
for( int col = 0; col < cantColumnas; col++ )
{
elem = Filas[fila].Elementos[col];
elem.Definicion.Tipo = Definicion.Tipo;
elem.Definicion.TipoDeAcceso = ValorOReferencia.V;
if (Definicion.Tipo == Tipo.Char)
elem.Valor = elem.Valor[1].ToString();
elem.CompararValor( escritor, Definicion.Nombre + "[" + fila + "]" + "[" + col + "]" );
}
}
public override void Instanciar( EscritorC escritor )
{
string instanciacion;
int fil = 0, col = 0;
foreach( ParamVector fila in Filas )
{
foreach( Elem elemento in fila.Elementos )
{
instanciacion = Definicion.Nombre + "[" + fil + "][" + col + "] = " + elemento.Valor + ";";
escritor.WriteLine( instanciacion );
col++;
}
fil++;
col = 0;
}
}
public override void Instanciar( EscritorC escritor )
{
string instanciacion;
int i = 0;
foreach( Elem elemento in Elementos )
{
instanciacion = Definicion.Nombre + "[" + i + "] = " + elemento.Valor + ";";
escritor.WriteLine( instanciacion );
i++;
}
}
public override void LiberarMemoria( EscritorC escritor )
{
escritor.WriteLine( "salidaFree2 = free2( " + Definicion.Nombre + " );" );
escritor.If( "salidaFree2 == escrituraFueraDelBuffer" );
escritor.PrintfEscrituraFueraDelBuffer( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == liberarPosMemNoValida" );
escritor.PrintfCambioDeDireccionDelPuntero( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == dosFreeDelMismoBuffer" );
escritor.PrintfDosFreeAlMismoParam( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
}
//No borrar, sirven para definir los metodos en las clases hijas( ParamVector, ParamMatriz y Elem )
public virtual void Declarar( EscritorC escritor )
{
}
public void CompararValor( EscritorC escritor, string variable )
{
//(!this.EsDeSalidaOEntradaSalida);
string diferencia = "AUX" + variable;
string varPrecision = "PR" + variable;
string iterador = "IT" + variable;
switch( Definicion.Tipo )
{
case Tipo.UInt8:
case Tipo.UInt16:
case Tipo.UInt32:
case Tipo.UInt64:
case Tipo.Int8:
case Tipo.Int16:
case Tipo.Int32:
case Tipo.Int64:
escritor.If( variable + " != " + Valor );
escritor.PrintfValorDistintoConDiferencia( variable, Valor );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
break;
case Tipo.Char:
escritor.If( variable + " != " + "'" + Valor + "'" );
escritor.PrintfValorDistintoChar( variable, Valor );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
break;
case Tipo.Booleano:
escritor.If( "(" + variable + " == " + "0 && " + Valor + "!=0)||(" + variable + " != " +
"0 && " + Valor + "==0)" );
escritor.PrintfValorDistinto( variable, Valor );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
break;
case Tipo.Float32:
// Realiza la resta entre ambos operandos y si la misma dio un resultado menor que
// 10^precision entonces los considera iguales
MA.EliminarAsteriscos( ref diferencia );
MA.EliminarCorchetes( ref diferencia );
MA.EliminarAsteriscos( ref varPrecision );
MA.EliminarCorchetes( ref varPrecision );
escritor.WriteLine( "float " + diferencia + " = (" + variable + ") - (" + Valor + ");" );
escritor.WriteLine( diferencia + " = (" + diferencia + " >= 0) ? " + diferencia + " : -" +
diferencia + ";" );
escritor.WriteLine( "float " + varPrecision + " = pow((float)10, -" + Definicion.Precision + ");" );
escritor.If( diferencia + " >= " + varPrecision );
escritor.PrintfValorDistintoFloatConDiferencia( variable, Valor, diferencia );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
break;
case Tipo.Float64:
MA.EliminarAsteriscos( ref diferencia );
MA.EliminarCorchetes( ref diferencia );
MA.EliminarAsteriscos( ref varPrecision );
MA.EliminarCorchetes( ref varPrecision );
escritor.WriteLine( "float " + diferencia + " = (" + variable + ") - (" + Valor + ");" );
escritor.WriteLine( diferencia + " = (" + diferencia + " >= 0) ? " + diferencia + " : -" +
diferencia + ";" );
escritor.WriteLine( "double " + varPrecision + " = pow((double)10, -" + Definicion.Precision + ");" );
escritor.If( diferencia + " >= " + varPrecision );
escritor.PrintfValorDistintoFloatConDiferencia( variable, Valor, diferencia );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
break;
case Tipo.CadenaC:
escritor.WriteLine( "char " + diferencia + "[] = \"" + Valor + "\";" );
escritor.WriteLine( "int " + iterador + ";" );
escritor.For( iterador + "=0", diferencia + "[" + iterador + "]!=0 && " +
variable + "[" + iterador + "]!=0", iterador + "++" );
escritor.If( variable + "[" + iterador + "] != " + diferencia + "[" +
iterador + "]" );
escritor.PrintfValorDeStringDistintos( variable, iterador, diferencia );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.FinFor();
break;
case Tipo.CadenaPascal:
break;
}
}
private void EscribirReferenciaExternaDeLaFuncion( EscritorC escritor )
{
escritor.WriteLine( "extern " + Definicion.GenerarPrototipo() + ";" );
escritor.WriteLine("extern long long timer();");
}
public virtual void CompararValor( EscritorC escritor )
{
}
public void GenerarPruebas()
{
EscritorC escritor = new EscritorC( "codigoProbador.c" );
escritor.WriteLine( "#include <stdio.h>" );
escritor.WriteLine("#include \"mallocfree.h\"");
escritor.WriteLine("#include \"listas.h\"");
escritor.WriteLine( "#define bool int" );
escritor.WriteLine( "#define true 1" );
escritor.WriteLine( "#define false 0" );
escritor.WriteLine( "FILE *fs;" );
EscribirReferenciaExternaDeLaFuncion( escritor );
EscribirFuncionesDePrueba( escritor );
EscribirMain( escritor );
escritor.Close();
}
public virtual void TamanioOValorParaMedicion( EscritorC escritor )
{
}
public virtual void LiberarMemoria( EscritorC escritor )
{
}
public virtual void Instanciar( EscritorC escritor )
{
}
public override void TamanioOValorParaMedicion( EscritorC escritor )
{
escritor.Write( cantColumnas*cantFilas*MA.CuantosBytes( Definicion.Tipo ) );
}
public override void PedirMemoria( EscritorC escritor )
{
string pedido;
string varFila = Definicion.Nombre + "Fila";
pedido = Definicion.Nombre + " = " + "malloc2( sizeof(" + Definicion.ObtenerNombreDelTipoParaC() + "*)*" +
cantFilas + ", true );";
escritor.WriteLine( pedido );
escritor.WriteLine( "int " + varFila + ";" );
escritor.For( varFila + " = 0", varFila + " < " + cantFilas, varFila + "++" );
escritor.WriteLine( Definicion.Nombre + "[" + varFila + "] = malloc2( sizeof(" +
Definicion.ObtenerNombreDelTipoParaC() + ")*" + cantColumnas + ", true);" );
escritor.FinFor();
}
public override void LiberarMemoria( EscritorC escritor )
{
string pedido;
string varFila = Definicion.Nombre + "Fila";
//Libera cada una de las filas
escritor.For( varFila + " = 0", varFila + " < " + cantFilas, varFila + "++" );
escritor.WriteLine( "salidaFree2 = free2( " + Definicion.Nombre + "[" + varFila + "] );" );
escritor.If( "salidaFree2 == escrituraFueraDelBuffer" );
escritor.PrintfEscrituraFueraDelBufferEnFilaDeMatriz( Definicion.Nombre, varFila );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == liberarPosMemNoValida" );
escritor.PrintfCambioDeDireccionDelPunteroEnFilaDeMatriz( Definicion.Nombre, varFila );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == dosFreeDelMismoBuffer" );
escritor.PrintfDosFreeAlMismoParamEnFilaDeMatriz( Definicion.Nombre, varFila );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.FinFor();
//Libera el arreglo de punteros
escritor.WriteLine( "salidaFree2 = free2( " + Definicion.Nombre + " );" );
escritor.If( "salidaFree2 == escrituraFueraDelBuffer" );
escritor.PrintfEscrituraFueraDelBuffer( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == liberarPosMemNoValida" );
escritor.PrintfCambioDeDireccionDelPuntero( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
escritor.If( "salidaFree2 == dosFreeDelMismoBuffer" );
escritor.PrintfDosFreeAlMismoParam( Definicion.Nombre );
escritor.WriteLine( "cantErrores++;" );
escritor.FinIf();
}
public override void PedirMemoria( EscritorC escritor )
{
string pedido;
int cantMemoria;
cantMemoria = Longitud*MA.CuantosBytes( Definicion.Tipo );
pedido = Definicion.Nombre + " = " + "malloc2( " + cantMemoria + " ,true);";
escritor.WriteLine( pedido );
}
private void EscribirFuncionesDePrueba( EscritorC escritor )
{
pruebaActual = 0;
foreach( Prueba prueba in Pruebas )
{
Mensajes.NombreDePrueba = prueba.Nombre;
EscribirFuncionDePrueba( escritor );
pruebaActual++;
}
}
public override void TamanioOValorParaMedicion( EscritorC escritor )
{
escritor.Write( Longitud*MA.CuantosBytes( Definicion.Tipo ) );
}
public virtual void PedirMemoria( EscritorC escritor )
{
}
public override void Declarar( EscritorC escritor )
{
string declaracion = Definicion.ObtenerNombreDelTipoParaC() + " ";
declaracion += "*" + Definicion.Nombre + ";";
escritor.WriteLine( declaracion );
}
public override void Declarar( EscritorC escritor )
{
string declaracion = string.Empty;
declaracion = Definicion.ObtenerNombreDelTipoParaC() + " ";
if( Definicion.Tipo!=Tipo.CadenaC && Definicion.Tipo!=Tipo.CadenaPascal )
{
if( Definicion.TipoDeAcceso==ValorOReferencia.R )
declaracion += "*";
declaracion += Definicion.Nombre + ";";
escritor.WriteLine( declaracion );
}
}
private void EscribirFuncionDePrueba( EscritorC escritor )
{
escritor.WriteLine( PruebaActual.Prototipo );
escritor.AbrirCorchetes();
escritor.WriteLine( "//------------Variables comunes------------------" );
escritor.WriteLine( "int salidaFree2;" );
escritor.WriteLine( "long long tiempoDeEjecucion=0;" );
escritor.WriteLine( "long long tiempo = 0;" );
escritor.WriteLine( "int cantCorridas = 100;" );
escritor.WriteLine( "//------------Parametros-------------------------" );
PruebaActual.DeclararParametros( escritor );
escritor.WriteLine( "int cantErrores = 0;" );
if( !ContarCantInstrucciones )
{
escritor.WriteLine( "//------------Pedir memoria----------------------" );
PruebaActual.PedirMemoria( escritor );
escritor.WriteLine( "//------------Instanciacion----------------------" );
PruebaActual.InstanciarParametros( escritor );
escritor.WriteLine( "//------------LlamadaFuncion---------------------" );
LlamarFuncionAProbar( escritor );
escritor.WriteLine( "//------------Comparacion de valores-------------" );
PruebaActual.CompararValoresDevueltos( escritor );
escritor.WriteLine( "//------------Liberar memoria--------------------" );
PruebaActual.LiberarMemoria( escritor );
//Libera la memoria que pidió y verifica que no se haya escrito fuera del buffer.
escritor.WriteLine( "//------------Informar cant. de errores----------" );
}
else
{
escritor.WriteLine( "//------------Cuento instrucciones--------------------" );
escritor.While( "tiempoDeEjecucion < 10000" );
escritor.WriteLine( "tiempoDeEjecucion = 0;" );
escritor.WriteLine( "int i;" );
escritor.For( "i =0", "i<cantCorridas", "i++" );
escritor.WriteLine( "//------------Pedir memoria----------------------" );
PruebaActual.PedirMemoria( escritor );
escritor.WriteLine( "//------------Instanciacion----------------------" );
PruebaActual.InstanciarParametros( escritor );
escritor.WriteLine( "tiempo = timer();" );
LlamarFuncionAProbar( escritor );
escritor.WriteLine( "tiempoDeEjecucion += timer() - tiempo;" );
escritor.WriteLine( "//------------Liberar memoria--------------------" );
PruebaActual.LiberarMemoria( escritor );
escritor.FinWhile();
escritor.WriteLine( "cantCorridas *=10;" );
escritor.FinFor();
escritor.WriteLine( "tiempoDeEjecucion = tiempoDeEjecucion / cantCorridas;" );
escritor.WriteLine();
escritor.WriteLine( "//---Escribo en archivo la cant de inst.----------" );
escritor.If( "fs" );
escritor.Write( "fprintf( fs, \"" );
foreach( Parametro param in PruebaActual.ParametrosEntrada )
{
param.TamanioOValorParaMedicion( escritor );
escritor.Write( "\\t" );
}
escritor.WriteLine( "%d\\n\", tiempoDeEjecucion);" );
escritor.FinIf();
}
escritor.PrintfPruebaConcluida();
escritor.WriteLine( "return cantErrores;" );
escritor.CerrarCorchetes();
}
public override void Instanciar( EscritorC escritor )
{
string instanciacion = string.Empty;
switch( Definicion.Tipo )
{
case Tipo.UInt8:
case Tipo.UInt16:
case Tipo.UInt32:
case Tipo.UInt64:
case Tipo.Int8:
case Tipo.Int16:
case Tipo.Int32:
case Tipo.Int64:
if (Definicion.TipoDeAcceso == ValorOReferencia.R)
instanciacion = "*";
instanciacion += Definicion.Nombre + " = " + Valor + ";";
break;
case Tipo.Float32:
case Tipo.Float64:
if (Definicion.TipoDeAcceso == ValorOReferencia.R)
instanciacion = "*";
instanciacion += Definicion.Nombre + " = 0;\n";
if (Definicion.TipoDeAcceso == ValorOReferencia.R)
instanciacion += "*";
instanciacion += Definicion.Nombre + " += " + Valor + ";";
break;
case Tipo.CadenaPascal:
case Tipo.CadenaC:
instanciacion = Definicion.ObtenerNombreDelTipoParaC() + " " + Definicion.Nombre + "[] = \"" + Valor +
"\";";
break;
case Tipo.Booleano:
if( Definicion.TipoDeAcceso==ValorOReferencia.R )
instanciacion = "*";
instanciacion += Definicion.Nombre + " = " + ( UltimoElementoUno()? "true;" : "false;" );
break;
case Tipo.Char:
if( Definicion.TipoDeAcceso==ValorOReferencia.R )
instanciacion = "*";
instanciacion += Definicion.Nombre + " = '" + Valor + "';";
break;
}
escritor.WriteLine( instanciacion );
}
private void EscribirMain( EscritorC escritor )
{
escritor.WriteLine( "int main()" );
escritor.AbrirCorchetes();
if( ContarCantInstrucciones )
{
escritor.WriteLine( "/*-----Archivo para contar instrucciones-------*/" );
escritor.WriteLine( "fs = fopen(\" " + ArchivoCuentaInstrucciones + "\", \"w\");" );
escritor.If( "!fs" );
escritor.PrintfNoSePudoAbrirElArchivo( ArchivoCuentaInstrucciones );
escritor.FinIf();
}
escritor.WriteLine( "/*------------Parametros-------------------------*/" );
escritor.WriteLine( "int cantErrores = 0;" );
escritor.WriteLine( "/*------------Llamada a pruebas------------------*/" );
foreach( Prueba prueba in Pruebas )
{
if( FrenarEnElPrimerError )
escritor.If( "cantErrores == 0" );
escritor.WriteLine( "cantErrores = " + prueba.Nombre + "();" );
if( FrenarEnElPrimerError )
escritor.FinIf();
}
if( ContarCantInstrucciones )
escritor.WriteLine( "fclose(fs);" );
escritor.PrintfPruebasConcluidas();
escritor.WriteLine( "return 0;" );
escritor.CerrarCorchetes();
}
public override void PedirMemoria( EscritorC escritor )
{
string pedido;
int cantMemoria;
if( Definicion.Tipo!=Tipo.CadenaC && Definicion.Tipo!=Tipo.CadenaPascal )
{
cantMemoria = MA.CuantosBytes( Definicion.Tipo );
pedido = Definicion.Nombre + " = " + "malloc2( " + cantMemoria + ",true );";
escritor.WriteLine( pedido );
}
}
private void LlamarFuncionAProbar( EscritorC escritor )
{
string llamada = "";
if (Definicion.DefParametroSalida != null && Definicion.DefParametroSalida.Tipo != Tipo.Void)
llamada = Definicion.DefParametroSalida.Nombre + " = ";
llamada += Definicion.Nombre + "( ";
foreach( Parametro param in PruebaActual.ParametrosEntrada )
if( param.Definicion.EsLista )
llamada += "&" + param.Definicion.Nombre + ", "; //por referencia
else
llamada += param.Definicion.Nombre + ", ";
if( PruebaActual.ParametrosEntrada.Length > 0 ) //Si hay parametros de entrada
llamada = llamada.Remove( llamada.Length - 2, 2 ); //Elimino la última coma.)
llamada += " );";
escritor.WriteLine( llamada );
}
public override void TamanioOValorParaMedicion( EscritorC escritor )
{
escritor.Write( Valor );
}