Differences

This shows you the differences between two versions of the page.

--- dev:crosscompiler:type_checking [2019/07/12 13:58] – ursgraf
+++ dev:crosscompiler:type_checking [2019/07/16 08:16] – ursgraf
@@ Line 14: / Line 14: @@
 ==== Special Case 'Object' ====
-When you check against //Object//, the result must be ''true'' if the object is an array.\\
+When you check against //Object//, the result must be ''true'' if the object is an array (of any type).\\
 A check against an array of //Object// leads to two cases:
   - The reference points to an array of regular classes: the check returns ''true'' if the dimension (of the type to check against) is lower or equal than the actual dimension.
@@ Line 77: / Line 77: @@
 The following code
 <code java>
-  Object[][][] a1 = new Object[2][3][4];
+  Object[][][] o = new Object[2][3][4];
   A[] x = new AA[5];
-  a1[0][0] = x;
+  o[0][0] = x;
-  a1[0][1][2] = x;
+  o[0][1][2] = x;
   short[][] y = new short[2][3];
-  a1[1][0] = y;
+  o[1][0] = y;
-  a1[1][1][0] = y;
+  o[1][1][0] = y;
 </code>
 leads to\\
 [{{ .:typecheckexample1.png?600|//Type descriptors for complex use case//}}]\\
 This example can be found in the test cases (//ch.ntb.inf.deep.comp.targettest.arrays.ArrayInstanceTest.testInstance4//).

deep