Differences

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

--- dev:crosscompiler:type_checking [2019/07/12 15:38] – ursgraf
+++ dev:crosscompiler:type_checking [2019/07/16 08:16] – ursgraf
@@ 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