PolicyValidator

Build-time validation of policy blobs.

Validate a policy blob (PV-1 to PV-9). Storage validation runs first, since the descriptor check reads the descriptor before anything is decoded. Issues of PV-1 to PV-7 name a rule where the blob stores it. Issues of PV-8 and PV-9 name the group where the blob stores it and the rule's position in the normal form of that group. Only rules that raise no PV-2, PV-3, PV-5 or PV-6 issue and no PV-4 issue on a test enter the normal form. PV-8 skips a loop that lost a body test to such an issue.

function validate(blob: `0x${string}`): Issue[];

Parameters

Name	Type	Description
`blob`	`0x${string}`	A policy blob that passes storage validation.

Returns

Issue[] — Every issue found, or one issue alone when the descriptor is not valid.

Functions

isOpAllowed

Determine whether the compatibility matrix admits an operator on a target type. A context operand is admitted on a target its comparison can pair with a context property. These targets are uintN under EQ, GT, LT, GTE and LTE, and address under EQ.

Git Source

function isOpAllowed(opCode: number, typeCode: number): boolean;

Parameters

Name	Type	Description
`opCode`	`number`	The operator code, with or without the NOT flag.
`typeCode`	`number`	The target's type code.

Returns

boolean — True when the operator applies to the target.

PolicyValidator