PortWidthMismatchException constructor
Constructs a new Exception for when a port has the wrong width.
Implementation
PortWidthMismatchException(Logic port, int expectedWidth,
{String additionalMessage = ''})
: super('Port ${port.name} has the wrong width.'
' Expected $expectedWidth but found ${port.width}.'
' $additionalMessage');