Changes between Initial Version and Version 1 of TolOop

Timestamp:

Mar 12, 2009, 7:37:14 PM (16 years ago)

Author:

Víctor de Buen Remiro

Comment:

--

TolOop

@@ +1 @@
+= OOP in TOL =
+
+La principal diferencia del nuevo TOL con respecto a sus predecesores será la apuesta por la programación orientada al objeto (OOP).
+
+Se trataría de que el usuario pudiera definir estructuras de NameBlock, es decir clases virtuales puras en la nomenclatura OOP, con una API mínima para poder usarla como descriptor de argumento en funciones de forma similar al Struct en Set sólo que se permite establecer la API de los métodos.
+
+La siguiente sería una declaración de clase primaria estructural, ya que no tiene ningún método
+
+
+{{{
+Class Doc
+{ 
+  Text _.name;
+  Text _.description
+};
+}}}
+
+La siguiente sería una declaración de clase primaria virtual pura, ya que ningún miembro ni método tiene una definición por defecto
+
+{{{
+Class Vector
+{ 
+  Matrix  get.column  (Anything unused);
+  Real    has.timeInfo(Anything unused);
+  TimeSet dating      (Anything unused);
+  Date    firstDate   (Anything unused);
+  Date    lastDate    (Anything unused)
+};
+}}}
+
+Es posible crear clases heredadas de otras que implementen métodos o asignen valores por defecto a miembros. También está permitida la herencia múltiple siempre y cuando no exista conflicto entre los métodos y miembros heredados. Si no desea cambiar ninguno de los miembros o métodos por defecto ni añadir nada nuevo, simplemente se listan las clases de las que se quiere heredar. En otro caso se abrirían llaves y se harían las modificaciones o añadidos pertinentes:
+
+{{{
+//Si no se quiere cambiar nada con herencia múltiple se enumeran las clases
+//antecesoras
+Class VectorDoc: Vector, Doc;
+
+//Con herencia simple no tiene mucho sentido no cambiar nada
+//pues sería una simple clonación de tipos
+Class VectorDoc.Ser: VectorDoc
+{
+  Serie  _ser;
+  Matrix  get.data    (Anything unused) { Tra(SerMat(_ser)) };
+  Real    has.timeInfo(Anything unused) { True };
+  TimeSet dating      (Anything unused) { Dating(_ser) };
+  Date    firstDate   (Anything unused) { First(_ser) };
+  Date    lastDate    (Anything unused) { Last(_ser) }
+};
+
+Class VectorDoc.Mat: VectorDoc
+{
+  Matrix _mat;
+  Matrix  get.data    (Anything unused) { _mat }
+  Real    has.timeInfo(Anything unused) { False };
+  TimeSet dating      (Anything unused) { W };
+  Date    firstDate   (Anything unused) { UnknownDate };
+  Date    lastDate    (Anything unused) { UnknownDate }
+};
+}}}
+
+Una instancia de una clase es un NameBlock que cumple la API definida por dicha clase y define al menos todos los miembros sin valor por defecto y todos los métodos no implementados. Obsérvese que el orden de declaración de los miembros es irrelevante e independiente del orden de herencia de las clases.
+
+{{{
+VectorDoc.Ser vd.ser =
+[[
+  Text    _.name = "Viernes";
+  Text    _.description = "Es 1 los días viernes y 0 el resto";
+  Serie   _ser = CalInd(WD(5),C)
+]];
+
+VectorDoc.Mat vd.mat =
+[[
+  Text   _.name = "Constante";
+  Matrix _mat = SetCol(NCopy(1,100));
+  Text   _.description = "Siempre vale 1"
+]];
+}}}
+
+Los nombres de clase funcionarán como tipos definidos por el usuario a todos los efectos. Es posible entonces declarar argumentos de función de una clase determinada lo cual admitirá cualquier NameBlock que sea instancia de esa clase o cualquier clase heredada de ella.
+
+{{{
+Matrix sum(Vector a, Vector b)
+{
+  a::get.data(0) + b::get.data(0)
+};
+
+Matrix c = sum(vd.ser, vd.mat);
+}}}
+
+Esta otra sería una clase primaria parcialmente virtual pues tiene algunos miembros y métodos definidos por defecto y otros no
+
+{{{
+Class Input
+{
+  VectorDoc _.data;
+  Real  _.enabled = True;
+  Polyn _.omega = 1;
+  Polyn _.delta = 1;
+  Ratio transferFunction (Anything unused)
+  {
+    _.omega / _.delta
+  };
+  Matrix eval(Polyn omega, Polyn delta)
+  {
+    Polyn  _.omega := omega;
+    Polyn  _.delta := delta;
+    MatDifEq(transferFunction, _.vector::get.column(0))
+  }
+};
+
+Class Output
+{
+  VectorDoc _.data;
+  Set _.arima
+};
+}}}
+