ResolverModule

PackageReified.Schema.Contracts
Semantic validation over parsed contract files: reference resolution, constraint/type compatibility, defaults, and declaration ordering. A file set that resolves cleanly is safe to emit.

Summary

NameSignatureSynopsis
resolveResolver.resolve filesValidates a set of parsed contract files as one resolution unit.

resolve

Resolver.resolve files
Member
Validates a set of parsed contract files as one resolution unit. Returns every diagnostic found; an empty list means the set is safe to emit.

Parameters

NameTypeDescription
filesContractFile list

Returns

ContractDiagnostic list