Ticket #729: ticket_6.MethodsInheritance.tol

//////////////////////////////////////////////////////////////////////////////

Class CPrincipal {
  Real a;
  Code b
};

//////////////////////////////////////////////////////////////////////////////
// Si declaramos una clase secundaria donde concretamos el método b
// encontramos el siguiente error:

/*
Class CSecundaria01 : CPrincipal {
  Real b (Real x) { x }
};
*/
// ERROR: Conflicto de herencia: No se puede reemplazar la declaración de miembro 
// Code CPrincipal::b
//  por la declaración incompatible 
// Real ::b(Real x){x}

//////////////////////////////////////////////////////////////////////////////
// Este error puede evitarse redefiniendo el método como un atributo de tipo Code

Class CSecundaria02 : CPrincipal {
  Code b = Real (Real x) { x }
};

CSecundaria02 ej1 = [[Real a = 1]];

//////////////////////////////////////////////////////////////////////////////
// Sin embargo la clase no se reconoce como derivada de la principal:

CSecundaria02 CSecundaria02.New(NameBlock args) {
  CSecundaria02 new = args
};

CPrincipal ej3 = CSecundaria02.New([[Real a = 3]]);
// ERROR: [17] No se pudo crear la instancia ej3 de la clase CPrincipal debido a que hay miembros no implementados :
//  Code CPrincipal::b

//////////////////////////////////////////////////////////////////////////////