WorldCertifier class final

The world certifier: proves declared contracts by invocation.

Constructors

WorldCertifier()

const

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

certify(WorldManifest manifest) → Future<WorldCertification>

Certify manifest: every declared method invoked through a fresh runtime with the failure schedule held back (certification mode).

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited