private void Enumerar(NodoMapa nodo, StreamWriter sw)
{
if (nodo is UnidadDafny)
{
Enumerar(nodo as UnidadDafny, sw);
}
else
{
Enumerar(nodo as Categoría, sw);
}
// Requiere Microsoft.CSharp.dll
// Imprimir (nodo as dynamic);
}
private void Imprimir(NodoMapa nodo)
{
if (nodo is UnidadDafny)
{
Imprimir(nodo as UnidadDafny);
}
else
{
Imprimir(nodo as Categoría);
}
// Requiere Microsoft.CSharp.dll
// Imprimir (nodo as dynamic);
}
public override int CompareTo(NodoMapa nm)
{
if (nm is EjercicioDafny)
{
var ed = nm as EjercicioDafny;
if (Tema < ed.Tema)
{
return(-1);
}
else if (Tema > ed.Tema)
{
return(1);
}
if (Propuesto && !ed.Propuesto)
{
return(1);
}
else if (!Propuesto && ed.Propuesto)
{
return(-1);
}
if (Número < ed.Número)
{
return(-1);
}
else if (Número > ed.Número)
{
return(1);
}
return(coment.CompareTo(ed.coment));
}
else
{
return(-1);
}
}
public virtual int CompareTo(NodoMapa nm)
{
return(Nombre.CompareTo(nm.Nombre));
}
public virtual int CompareTo(NodoMapa nm)
{
return(Uri.CompareTo(nm.Uri));
}
