Migrate to Compilation.check()

Author: yevhenii-nadtochii

model/src/main/kotlin/io/spine/validation/PatternPolicy.kt

@@ -39,6 +39,7 @@ import io.spine.protodata.ast.isList
 import io.spine.protodata.ast.isSingular
 import io.spine.protodata.ast.qualifiedName
 import io.spine.protodata.ast.unpack
+import io.spine.protodata.check
 import io.spine.protodata.plugin.Policy
 import io.spine.server.event.Just
 import io.spine.server.event.React
@@ -79,16 +80,14 @@ internal class PatternPolicy : Policy<FieldOptionDiscovered>() {
     }
 }
 
-private fun checkFieldType(field: Field, file: File) {
-    val type = field.type
-    if (!(type.isSingularString || type.isRepeatedString)) {
-        Compilation.error(file, field.span) {
-            "The field type `${field.type}` of `${field.qualifiedName}` is not supported " +
-                    "by the `($PATTERN)` option. Supported field types: strings and repeated " +
-                    "of strings."
-        }
+private fun checkFieldType(field: Field, file: File) =
+    Compilation.check(field.type.isSupported(), file, field.span) {
+        "The field type `${field.type}` of `${field.qualifiedName}` is not supported " +
+                "by the `($PATTERN)` option. Supported field types: strings and repeated " +
+                "of strings."
     }
-}
+
+private fun FieldType.isSupported(): Boolean = isSingularString || isRepeatedString
 
 /**
  * Tells if this [FieldType] represents a `repeated string` field.

model/src/main/kotlin/io/spine/validation/required/RequiredPolicy.kt

@@ -32,11 +32,13 @@ import io.spine.option.IfMissingOption
 import io.spine.protobuf.unpack
 import io.spine.protodata.Compilation
 import io.spine.protodata.ast.Field
+import io.spine.protodata.ast.FieldType
 import io.spine.protodata.ast.File
 import io.spine.protodata.ast.PrimitiveType.TYPE_BYTES
 import io.spine.protodata.ast.PrimitiveType.TYPE_STRING
 import io.spine.protodata.ast.event.FieldOptionDiscovered
 import io.spine.protodata.ast.qualifiedName
+import io.spine.protodata.check
 import io.spine.protodata.plugin.Policy
 import io.spine.server.event.NoReaction
 import io.spine.server.event.React
@@ -97,16 +99,15 @@ internal class RequiredPolicy : Policy<FieldOptionDiscovered>() {
     }
 }
 
-private fun checkFieldType(field: Field, file: File) {
-    val type = field.type
-    if (type.isPrimitive && type.primitive !in SUPPORTED_PRIMITIVES) {
-        Compilation.error(file, field.span) {
-            "The field type `${field.type}` of `${field.qualifiedName}` is not supported " +
-                    "by the `($REQUIRED)` option. Supported field types: messages, enums, " +
-                    "strings, bytes, repeated, and maps."
-        }
+private fun checkFieldType(field: Field, file: File) =
+    Compilation.check(field.type.isSupported(), file, field.span) {
+        "The field type `${field.type}` of `${field.qualifiedName}` is not supported " +
+                "by the `($REQUIRED)` option. Supported field types: messages, enums, " +
+                "strings, bytes, repeated, and maps."
     }
-}
+
+private fun FieldType.isSupported(): Boolean =
+    !isPrimitive || primitive in SUPPORTED_PRIMITIVES
 
 private val SUPPORTED_PRIMITIVES = listOf(
     TYPE_STRING, TYPE_BYTES