#993. More tests for Union added

Author: sgrekhov

LibTest/ffi/Struct/Struct_A01_t06.dart

@@ -0,0 +1,44 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Struct subclass declaration must
+/// either have type int or double and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer or subtype of Struct.
+///
+/// @description Checks that it is a compile error if any of the field in Struct
+/// subclass is not 'int', 'double' or 'Pointer' or subtype of 'Struct'. Test
+/// field of 'Union' and 'Struct' subclass type
+/// @author [email protected]
+/// @issue 46194
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+
+class U extends Union {
+  @Int32()
+  external int x;
+}
+
+class S extends Struct {
+  @Int32()
+  external int y;
+}
+
+class S1 extends Struct {
+  @Int8()
+  external int i;
+
+  external S s;
+
+  external U u;
+}
+
+void main() {
+  Pointer<S1> p = calloc<S1>();
+  S1 s1 = p.ref;
+  s1.u.x = 42;
+  print(s1.u.x);
+  s1.s.y = -42;
+  print(s1.s.y);
+}

LibTest/ffi/Union/Union_A01_t06.dart

@@ -0,0 +1,44 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that it is a compile error if any of the field in Struct
+/// subclass is not 'int', 'double' or 'Pointer'. Test
+/// field of 'Union' and 'Struct' subclass type
+/// @author [email protected]
+/// @issue 46194
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+
+class U extends Union {
+  @Int32()
+  external int x;
+}
+
+class S extends Struct {
+  @Int32()
+  external int y;
+}
+
+class U1 extends Union {
+  @Int8()
+  external int i;
+
+  external S s;
+
+  external U u;
+}
+
+void main() {
+  Pointer<U1> p = calloc<U1>();
+  U1 u1 = p.ref;
+  u1.u.x = 42;
+  print(u1.u.x);
+  u1.s.y = -42;
+  print(u1.s.y);
+}

LibTest/ffi/Union/Union_A05_t01.dart

@@ -0,0 +1,51 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Int64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Int32()
+  external int x;
+}
+
+class U3 extends Union {
+  @Uint32()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0x1111111122222222;
+    Expect.equals(0x1111111122222222, u1.ref.x);
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x22222222, u2.ref.x);
+    Expect.equals(0x11111111, u2.elementAt(1).ref.x);
+
+    Pointer<U3> u3 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x22222222, u3.ref.x);
+    Expect.equals(0x11111111, u3.elementAt(1).ref.x);
+
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+    Expect.equals(-1, u2.ref.x);
+    Expect.equals(4294967295, u3.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}

LibTest/ffi/Union/Union_A05_t02.dart

@@ -0,0 +1,55 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Int64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Int16()
+  external int x;
+}
+
+class U3 extends Union {
+  @Uint16()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0x1111222233334444;
+    Expect.equals(0x1111222233334444, u1.ref.x);
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x4444, u2.ref.x);
+    Expect.equals(0x3333, u2.elementAt(1).ref.x);
+    Expect.equals(0x2222, u2.elementAt(2).ref.x);
+    Expect.equals(0x1111, u2.elementAt(3).ref.x);
+
+    Pointer<U3> u3 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x4444, u3.ref.x);
+    Expect.equals(0x3333, u3.elementAt(1).ref.x);
+    Expect.equals(0x2222, u3.elementAt(2).ref.x);
+    Expect.equals(0x1111, u3.elementAt(3).ref.x);
+
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+    Expect.equals(-1, u2.ref.x);
+    Expect.equals(65535, u3.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}

LibTest/ffi/Union/Union_A05_t03.dart

@@ -0,0 +1,63 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Int64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Int8()
+  external int x;
+}
+
+class U3 extends Union {
+  @Uint8()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0x1122334455667712;
+    Expect.equals(0x1122334455667712, u1.ref.x);
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x12, u2.ref.x);
+    Expect.equals(0x77, u2.elementAt(1).ref.x);
+    Expect.equals(0x66, u2.elementAt(2).ref.x);
+    Expect.equals(0x55, u2.elementAt(3).ref.x);
+    Expect.equals(0x44, u2.elementAt(4).ref.x);
+    Expect.equals(0x33, u2.elementAt(5).ref.x);
+    Expect.equals(0x22, u2.elementAt(6).ref.x);
+    Expect.equals(0x11, u2.elementAt(7).ref.x);
+
+    Pointer<U3> u3 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0x12, u3.ref.x);
+    Expect.equals(0x77, u3.elementAt(1).ref.x);
+    Expect.equals(0x66, u3.elementAt(2).ref.x);
+    Expect.equals(0x55, u3.elementAt(3).ref.x);
+    Expect.equals(0x44, u3.elementAt(4).ref.x);
+    Expect.equals(0x33, u3.elementAt(5).ref.x);
+    Expect.equals(0x22, u3.elementAt(6).ref.x);
+    Expect.equals(0x11, u3.elementAt(7).ref.x);
+
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+    Expect.equals(-1, u2.ref.x);
+    Expect.equals(255, u3.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}

LibTest/ffi/Union/Union_A05_t04.dart

@@ -0,0 +1,41 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Int64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Uint64()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+    Expect.equals(0xFFFFFFFFFFFFFFFF, u1.ref.x);
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(0xFFFFFFFFFFFFFFFF, u2.ref.x);
+
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+    Expect.equals(-1, u1.ref.x);
+    Expect.equals(-1, u2.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}

LibTest/ffi/Union/Union_A05_t05.dart

@@ -0,0 +1,44 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Uint64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Int32()
+  external int x;
+}
+
+class U3 extends Union {
+  @Uint32()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(-1, u2.ref.x);
+
+    Pointer<U3> u3 = new Pointer.fromAddress(u1.address);
+    Expect.equals(4294967295, u3.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}

LibTest/ffi/Union/Union_A05_t06.dart

@@ -0,0 +1,44 @@
+// Copyright (c) 2021, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion All field declarations in a Union subclass declaration must
+/// either have type int or float and be annotated with a NativeType
+/// representing the native type, or must be of type Pointer.
+///
+/// @description Checks that 'Union' subtype value depends on annotation
+/// @author [email protected]
+
+import "dart:ffi";
+import "package:ffi/ffi.dart";
+import "../../../Utils/expect.dart";
+
+class U1 extends Union {
+  @Uint64()
+  external int x;
+}
+
+class U2 extends Union {
+  @Int16()
+  external int x;
+}
+
+class U3 extends Union {
+  @Uint16()
+  external int x;
+}
+
+void main() {
+  Pointer<U1> u1 = calloc<U1>();
+  try {
+    u1.ref.x = 0xFFFFFFFFFFFFFFFF;
+
+    Pointer<U2> u2 = new Pointer.fromAddress(u1.address);
+    Expect.equals(-1, u2.ref.x);
+
+    Pointer<U3> u3 = new Pointer.fromAddress(u1.address);
+    Expect.equals(65535, u3.ref.x);
+  } finally {
+    calloc.free(u1);
+  }
+}