API
PolicyValidator
Semantic validation for policies: type mismatches, contradictions, and redundancies.
Functions
validate
Validates policy data for semantic issues.
Reverts when the descriptor is not well-formed; semantic validation is defined only over a well-formed descriptor.
function validate(PolicyData memory data) internal pure returns (Issue[] memory);Parameters
| Name | Type | Description |
|---|---|---|
data | PolicyData | The policy data to validate. |
Returns
| Name | Type | Description |
|---|---|---|
<none> | Issue[] | All validation issues found. |
Errors
ValidationError
Thrown when policy validation finds errors.
error ValidationError(Issue[] issues);Parameters
| Name | Type | Description |
|---|---|---|
issues | Issue[] | The issues found. |