Changes between Version 10 and Version 11 of TolOop

Timestamp:

Dec 12, 2009, 3:51:01 PM (15 years ago)

Author:

Víctor de Buen Remiro

Comment:

--

TolOop

@@ -42 +42 @@
 === Uso de miembros de tipo Code ===
 
-En OOP no se recomienda el uso de miembros que apunten a funciones asignables como pueden ser los punteros de funciones en C++ o los objetos de tipo Code en TOL. Una función asignable pretende recoger comportamientos polimórficos impredecibles y eso en OOP se trata mediante herencia de métodos virtuales.
+En OOP no se recomienda el uso de miembros que apunten a funciones asignables como pueden ser los punteros de funciones en C++ o los objetos de tipo Code en TOL. Una función asignable pretende recoger comportamientos polimórficos impredecibles y eso en OOP se trata mediante herencia de métodos virtuales explicados más adelante.
 
 TOL dará un un mensaje de aviso cuando esto ocurra, aunque se permitirá su uso por si fuera necesario en casos extremos.
@@ -56 +56 @@
 Si la declaración de un elemento de la clase va precedida por la palabra reservada '''Static''', entonces dicho elemento será compartido por tadas las intancias de dicha clase y para referirse a ellos fuera del ámbito de la misma será necesario utilizar la sintaxis {{{<nombre_de_clase>::<nombre_de_elemento>}}}
 
-== 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. 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"
-]];
-}}}
-
-Para ser más exacto sólo esposibe crear instancias de una clase no virtual, es decir, con todos los métodos implementados, lo cual se explicará más adelante.
-
 == Clases ==
+
+Como ya se ha dicho una clase es un tipo de estructura de información especial que engloba datos y funcionaidades asociadas. En TOl los nombres de las clases son palabras reservadas del parser que no pueden ser utilizadas para otro tipo de identificadores y para evitar un uso fortuito y errores difíciles de detectar se obliga a que sus nombres empiecen por el caracter especial '''@'''. A partir de la versión 2.0.1 se recomienda también que los {{{Struct}}} comiencen por '''@''' y desde la 2.0.2 será obligatorio.
 
 === Clases primarias ===
@@ -87 +68 @@
 
 {{{
-Class Doc
+Class @Doc
 { 
   Text _.name;
@@ -99 +80 @@
 
 {{{
-Class Doc
+Class @Doc
 { 
   Text _.name;
@@ -112 +93 @@
 
 {{{
-Class Doc
+Class @Doc
 { 
   Text _.name;
@@ -126 +107 @@
 
 {{{
-Class Vector
+Class @Vector
 { 
   Matrix  get.column  (Anything unused);
@@ -142 +123 @@
 //Si no se quiere cambiar nada con herencia múltiple se enumeran las clases
 //antecesoras
-Class VectorDoc: Vector, Doc;
+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
+Class @VectorDoc.Ser: @VectorDoc
 {
   Serie  _ser;
@@ -156 +137 @@
 };
 
-Class VectorDoc.Mat: VectorDoc
+Class @VectorDoc.Mat: @VectorDoc
 {
   Matrix _mat;
@@ -172 +153 @@
 
 {{{
-Class Input
+Class @Input
 {
   VectorDoc _.data;
@@ -194 +175 @@
 Una clase puede tener un miembro que es una instancia de otra clase
 {{{
-Class Output
+Class @Output
 {
   VectorDoc _.data;
@@ -201 +182 @@
 }}}
 
-=== 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.
-
-{{{
-Matrix sum(Vector a, Vector b)
-{
-  a::get.data(0) + b::get.data(0)
-};
-
-Matrix c = sum(vd.ser, vd.mat);
-}}}
-
 === Predeclaración de clases ===
 
@@ -221 +189 @@
 
 //Forward declaration
-Class ClHeight;
+Class @ClHeight;
 
 //This class uses ClHeight as a method argument
-Class ClAge
+Class @ClAge
 {
   Text _.name;
@@ -235 +203 @@
 
 //This class uses ClAge as a method argument
-Class ClHeight
+Class @ClHeight
 {
   Text _.name;
   Real _.height;
+  Real equalName(@ClAge arg)
+  {
+    _.name==arg::_.name
+  }
+};
+}}}
+
+== 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. 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"
+]];
+}}}
+
+Para ser más exacto sólo esposibe crear instancias de una clase no virtual, es decir, con todos los métodos implementados.
+
+=== Constructores de instancias ===
+La forma más recomendada de crear instancias de forma regulada es mediante construtores que son métodos estáticos que devuelven una instancia de esa clase
+
+{{{
+Class @Sphere
+{
+  Real _.radius;
   Real equalName(ClAge arg)
   {
     _.name==arg::_.name
-  }
-};
-}}}
-
+  };
+  Static @ClHeight(Text name, Real height)
+  {
+    @ClHeight new =
+    [[
+      Text _.name;
+      Real _.height;
+    ]]
+  }
+};
+}}}
+
+=== 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.
+
+{{{
+Matrix sum(@Vector a, @Vector b)
+{
+  a::get.data(0) + b::get.data(0)
+};
+
+Matrix c = sum(vd.ser, vd.mat);
+}}}