Ticket #730: ticket_7.DerivedClassAsMainClassInstances_MOD.tol

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

// Se crea una clase CObjeto con un valor y un método GetValor

Class CObjeto {
  Real valor;
  Real GetValor(Real void){ valor }
};

// Se crea una clase CObjetoEspecial como una necesidad de extender
// la clase CObjeto creando instancias tipo CObjeto ampliadas.

Class CObjetoEspecial : CObjeto {
  Real signo;
  Real GetSigno(Real void){ signo };
  Real GetValor(Real void){ GetSigno(0) * valor }
};

// Esta clase tiene un atributo más que almacena un nuevo valor 'signo'
// que modifica el resultado del método GetValor

// [1] Creo un objeto común tipo CObjecto
CObjeto obj1 = [[Real valor = 1]];

// [2] Creo un objeto especial tipo CObjetoEspecial
CObjetoEspecial obj2 = [[Real valor = 1; Real signo = -1]];

// [3] Referencio al objeto especial como un CObjeto
CObjeto obj3 = obj2;

// Los métodos devuelven lo esperado:
Real obj1::GetValor(0);  // -> +1
Real obj2::GetValor(0);  // -> -1
Real obj3::GetValor(0);  // -> -1

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

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

// [4] Creo un objeto CObjetoEspecial mediante un constructor

CObjetoEspecial obj4 = CObjetoEspecial.New([[
  Real valor = 1; 
  Real signo = -1
]]);

// Se obtiene lo esperado:
Real obj4::GetValor(0); // -> +1

// [5] Si asignamos una referencia a un objeto de CObjeto 
// con una instancia de la clase derivada (CObjetoEspecial) 
// perdemos los métodos de la clase derivada.

CObjeto obj5 = CObjetoEspecial.New([[ 
  Real valor = 1;
  Real signo = -1
]]);
// obj5 no posee los métodos propios de CObjetoEspecial

// Se obtiene algo inesperado:
Real obj5::GetValor(0); // -> 1 (no es -1)

// [6] para evitarlo debemos hacer:

CObjeto obj6 = {
  CObjetoEspecial new = CObjetoEspecial.New([[ 
    Real valor = 1;
    Real signo = -1
  ]])
};
// obj6 no posee los métodos propios de CObjetoEspecial

// Se obtiene lo esperado:
Real obj6::GetValor(0); // -> -1

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