ErrorCode constructor

const ErrorCode(String name, [ String message, [ String correction, bool hasPublishedDocs = false ])

Initialize a newly created error code to have the given name. The message associated with the error will be created from the given message template. The correction associated with the error will be created from the given correction template.

Implementation

const ErrorCode(this.name, this.message,
    [this.correction, this.hasPublishedDocs = false])
    : isUnresolvedIdentifier = false;