Changes between Version 2 and Version 3 of TolOop

Timestamp:

Jul 13, 2009, 5:04:01 PM (16 years ago)

Author:

Víctor de Buen Remiro

Comment:

--

TolOop

@@ -5 +5 @@
 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
+== Clases primarias ==
+Son aquellas clases que no heredan de ninguna otra previa sino que se definen por sí mismas. En cierta manera, una clase primaria es a un NameBlock lo que un Struct es para un Set: le obliga a seguir una pauta organizativa, aunque los requisitos que conlleva son algo distintos.
 
+== Clases estructurales ==
+
+Llamaremos clase estructural a aquella que no tiene ningún método. 
 
 {{{
@@ -16 +20 @@
 }}}
 
-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
+== Clases no estructurales ==
+
+Si tiene algún método le diremos no estructural.
+
+{{{
+Class Doc
+{ 
+  Text _.name;
+  Text _.description;
+  Text getName(Real unused) { _.name } 
+};
+}}}
+
+
+=== Clases virtuales ===
+
+Una clase no estructural será virtual si tiene algún método no definido, el cual deberá ser definido en alguna clase heredada de esta, o bien en la propia instanciación de objetos.
+
+{{{
+Class Doc
+{ 
+  Text _.name;
+  Text _.description;
+  Text getName(Real unused) { _.name };
+  Text getSize(Real unused)
+};
+}}}
+
+=== Clases virtuales puras ===
+
+Una clase primaria virtual pura es aquella que en la que ningún método tiene una definición por defecto
 
 {{{
@@ -29 +63 @@
 }}}
 
+== Clases heredadas ==
 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:
 
@@ -59 +94 @@
 }}}
 
+== Instancias ==
 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.
 
@@ -77 +113 @@
 }}}
 
-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.
+== Las clases vistas como tipos de usuario ==
+
+Los nombres de clase funcionarán como tipos definidos por el usuario a todos los efectos, salvo alguna excepción debida a las limitaciones del parser de TOL y que quedarán debidamente documentadas. 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.
 
 {{{
@@ -87 +125 @@
 Matrix c = sum(vd.ser, vd.mat);
 }}}
+
+== Otros ejemplos de clases ==
 
 Esta otra sería una clase primaria parcialmente virtual pues tiene algunos miembros y métodos definidos por defecto y otros no
@@ -116 +156 @@
 }}}
 
+== El miembro privado reservado _this ==
+
+Todos los NameBlock, sean o no instancia de una clase, tienen un miembro privado llamado _this al que se puede acceder desde todos sus métodos.
+
+{{{
+//Example of using implicit private member _this
+NameBlock a = 
+[[
+  Text _.name = "a";
+  Text getName(Real unused) { _this::_.name }
+]];
+
+//User cannot overwrite _this due to it's a reserved word
+NameBlock b = 
+[[
+  Text _.name = "b";
+  NameBlock _this = a;
+  Text getName(Real unused) { _this::_.name }
+]];
+  
+}}}