#993. NativeType and Struct tests added

Author: Sergey G. Grekhov

LibTest/ffi/NativeType/NativeType_A01_t01.dart

@@ -0,0 +1,39 @@
+/*
+ * 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 NativeType's subtypes represent a native type in C.
+ *
+ * NativeType's subtypes are not constructible in the Dart code and serve purely a
+ * s markers in type signatures.
+ *
+ * @description Checks that this class cannot be extended
+ * @author [email protected]
+ */
+import "dart:ffi";
+
+class C1 extends NativeType {
+//               ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class C2 implements NativeType {
+//                  ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class C3 extends Object with NativeType {
+//                           ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  C1? c1;
+  C2? c2;
+  C3? c3;
+}

LibTest/ffi/Struct/Struct_A01_t01.dart

@@ -0,0 +1,96 @@
+/*
+ * 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'
+ * @author [email protected]
+ */
+import "dart:ffi";
+
+class S1 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+  @Int8()
+  external num z;
+//         ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S2 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+
+  String? s;
+//^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S3 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+
+  external String? s;
+//         ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S4 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+  @Int16()
+  external String? s;
+//         ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S5 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+
+  external bool? b;
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S6 extends Struct {
+  @Double()
+  external double x;
+  @Int32()
+  external int y;
+
+  bool? b;
+//^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  S1? s1;
+  S2? s2;
+  S3? s3;
+  S4? s4;
+  S5? s5;
+  S6? s6;
+}

LibTest/ffi/Struct/Struct_A01_t02.dart

@@ -0,0 +1,57 @@
+/*
+ * 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'
+ * @author [email protected]
+ */
+import "dart:ffi";
+
+class S1 extends Struct {
+  @Double()
+  external List<double> x;
+//         ^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  @Int32()
+  external List<int> y;
+//         ^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S2 extends Struct {
+  NativeType p;
+//^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S3 extends Struct {
+  external NativeType p;
+//         ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S4 extends Struct {
+  @Int8()
+  external NativeType p;
+//         ^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  S1? s1;
+  S2? s2;
+  S3? s3;
+  S4? s4;
+}

LibTest/ffi/Struct/Struct_A01_t03.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 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'
+ * @author [email protected]
+ */
+import "dart:ffi";
+
+class S1 extends Struct {
+  @Int8()
+  external Object? o;
+//         ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S2 extends Struct {
+  @Int8()
+  external void v;
+//         ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S3 extends Struct {
+  @Int8()
+  external Null n;
+//         ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S4 extends Struct {
+  @Double()
+  external dynamic x;
+//         ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  S1? s1;
+  S2? s2;
+  S3? s3;
+  S4? s4;
+  S5? s5;
+}

LibTest/ffi/Struct/Struct_A01_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 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'
+ * @author [email protected]
+ */
+import "dart:ffi";
+import "dart:async";
+
+class S1 extends Struct {
+  @Double()
+  external FutureOr<double> x;
+//         ^^^^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  @Int32()
+  external FutureOr<int> y;
+//         ^^^^^^^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S2 extends Struct {
+  Pointer<FutureOr<Int8>> x;
+//         ^^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  S1? s1;
+  S2? s2;
+}

LibTest/ffi/Struct/Struct_A01_t05.dart

@@ -0,0 +1,40 @@
+/*
+ * 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'
+ * @author [email protected]
+ */
+import "dart:ffi";
+
+class S1 extends Struct {
+  @Double()
+  external Double x;
+//         ^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+  @Int32()
+  external Int32 y;
+//         ^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+class S2 extends Struct {
+  Struct? s;
+//^^^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+void main() {
+  S1? s1;
+  S2? s2;
+}