NewContractUpdateValidator initializes and returns a validator, without performing any validation.

AccountCapabilityStorageDomain is the storage domain which records active account capability controller IDs.

CapabilityControllerStorageDomain is the storage domain which stores capability controllers by capability ID.

CapabilityControllerTagStorageDomain is the storage domain which stores capability controller tags by capability ID.

PathCapabilityStorageDomain is the storage domain which stores capability ID dictionaries (sets) by storage path identifier.

CapabilityControllersMutatedDuringIterationError.

ConformanceMismatchError is reported during a contract update, when the enum conformance of the new program does not match the existing one.

ContractNotFoundError is reported during a contract update, if no contract can be found in the program.

ContractRemovalError.

ContractUpdateError is reported upon any invalid update to a contract or contract interface.

EnumCaseMismatchError is reported during an enum update, when an updated enum case does not match the existing enum case.

ExtraneousFieldError is reported during a contract update, when an updated composite declaration has more fields than the existing declaration.

FieldMismatchError is reported during a contract update, when a type of a field does not match the existing type of the same field.

InvalidContractDeploymentError.

InvalidContractDeploymentOriginError.

InvalidDeclarationKindChangeError is reported during a contract update, when an attempt is made to convert an existing contract to a contract interface, or vise versa.

MissingDeclarationError is reported during a contract update, if an existing declaration is removed.

MissingEnumCasesError is reported during an enum update, if any enum cases are removed from an existing enum.

TypeMismatchError is reported during a contract update, when a type of the new program does not match the existing type.