-
Notifications
You must be signed in to change notification settings - Fork 7
TO0200
Nick Pruehs edited this page Mar 12, 2017
·
3 revisions
"The record ... field ... violates a type facet: ..."
- Name: TypeFacetViolated
- Code: TO0200
- Category: Data Integrity
- Severity: Error
- Since: 0.7
Each derived type can specify one ore more type facets that constrain its underlying base type. All field values of all records must satisfy all facets of their respective field types.
The following steps generate this type of error:
- Create a new field of type Integer.
- Create a record with that field and set the field value to -1.
- Create a new derived type using Integer as base type.
- Set the Minimum Value facet of the new derived type to 0.
- Change the type of the field to the new derived type.
- Change the value of the field to 0 or higher.