PortWidthMismatchException constructor

PortWidthMismatchException(
  1. Logic port,
  2. int expectedWidth, {
  3. String additionalMessage = '',
})

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');