ID
|
Message
|
Packages & Types
| |
DUPLICATE_NAME | Name '#' in package '#' was previously defined at line # in # |
EXTEND_BEFORE_DEFINITION | Cannot extend type '#::#' before declaration at line # in # |
MULTIPLE_PACKAGES | Type name '#' exists in multiple packages ('#', '#', and possibly others) |
NOT_A_STRUCT | '#' is not a struct |
NOT_AN_ENUM_TYPE | '#' is not an enum type |
PREDEFINED_NAME | Type name '#' is a reserved type name. Use a different name |
REQUESTED_TYPE | '#::#' it is not a (struct/scalar/method) type |
TYPE_ACCESS | Cannot access type '#' of package '#' |
UNDEFINED_PACKAGE | No package called '#' |
UNDEFINED_TYPE | No type called '#' |
Template Types
| |
MISSING_PARAMETER | Template '#::#' given # parameters instead of # |
UNDEFINED_TEMPLATE | No template called '#::#' |
When Sub-Types Qualifiers
| |
AMBIGUOUS_QUALIFIER | '#' when qualifier for struct '#' is ambiguous, use full qualifier (e.g. '#' or '#') |
CONFLICTING_QUALIFIER | '#' and '#' when qualifiers for '#' are conflicting and may not be used together |
NOT_A_SUBTYPE | '#' is not a subtype of '#' |
REDUNDANT_QUALIFIER | '#' when qualifier for '#' is redundant |
RESERVED_NAME | '#' is a reserved name, cannot be used as a when qualifier name |
WRONG_FIELD_TYPE | Field '#' cannot be a when qualifier, it is neither an enum nor a boolean |
When & Like Inheritance
| |
CIRCULAR_INHERITANCE | '#::#' extends itself |
LIKE_INHERITANCE | Cannot derive a like-subtype of '#' (it already has when-subtypes) |
WHEN_INHERITANCE | Cannot derive a when-subtype of '#' (it already has like-subtypes) |
Fields & Variables
| |
DUPLICATE_NAME | Name '#' already used in the current scope at line # in # |
IS_INSTANCE | Cannot declare an instance of '#' in '#' which is not a unit |
REDEFINED_FIELD | Field '#.#' was previously defined at line # in # |
UNDEFINED_IDENTIFIER | Identifier '#' is not defined |
UNDEFINED_IDENTIFIER | Identifier '#' is not a member of '#' |
UNRESOLVED_IDENTIFIER | Cannot resolve identifier '#' (unresolved preceding expression) |
UNDEFINED_VARIABLE | No field or local variable called '#' |
Events
| |
EVENT_ACCESS | Cannot access event '#.#' of package '#' |
REDEFINED_EVENT | Event '#.#' was previously defined (must use 'is only') at line # in # |
UNDEFINED_EVENT | Event '#.#' was not defined previously |
Methods
| |
EXTEND_FINAL | Cannot extend '#.#()', it was previously defined final at line # in # |
METHOD_ACCESS | Cannot access method '#.#()' of package '#' |
METHOD_RETURN_TYPE | Cannot resolve '#' method return type (unresolved argument expression) |
REDEFINED_FINAL | Cannot declare '#.#()' as final, it was previously defined at line # in # |
REDEFINED_METHOD | Method '#.#()' was previously defined (must use 'is also', 'is first' or 'is only') at line # in # |
UNDEFINED_METHOD | Method '#.#()' was not defined previously (cannot use 'is also', 'is first' or 'is only') |
UNDEFINED_METHOD | CVL method '#.#()' was not defined previously |
UNDEFINED_METHOD | Method '#' is not defined |
UNDEFINED_METHOD | Method '#' is not a member of '#' |
UNIMPLEMENTED_METHOD | In method port '#.#()' is not implemented |
UNRESOLVED_METHOD | Cannot resolve method '#' (unresolved preceding expression) |
Method Arguments
| |
ARGUMENT_DEFAULT | Arguments following an argument with default value must also have default values |
ARGUMENT_DEFAULT | Argument default value differs from previous declaration at line # in # |
ARGUMENT_COUNT | Argument number differs from previous declaration at line # in # |
METHOD_CALL_ARGUMENTS | Expecting '#' argument[s] when calling '#', found '#' |
METHOD_CALL_ARGUMENTS | Expecting minimum '#' argument[s] when calling '#', found '#' |
METHOD_CALL_ARGUMENTS | Expecting maximum '#' argument[s] when calling '#', found '#' |
Atributes
| |
UNEXPECTED_ATTRIBUTE_NAME | Unexpected attribute name '#', must be one of 'deep_copy', 'deep_compare', 'deep_compare_physical' or 'deep_all' |
UNEXPECTED_ATTRIBUTE_VALUE | Unexpected attribute value '#', must be one of 'normal', 'reference' or 'ignore' |
Cover
| |
UNDEFINED_COVER | Cover group '#.#' was not defined previously (cannot use 'is also') |
UNDEFINED_COVER_ITEM | Cover item # is not defined |
Constraint
| |
REDEFINED_CONSTRAINT | Constraint '#.#' was previously defined (must use 'is only') at line # in # |
UNDEFINED_CONSTRAINT | Constraint '#.#' was not defined previously |
Enum
| |
DUPLICATE_ENUM | Enum name '#' was previously defined at line # in # |
MISSING_ENUM_NAME | '#' is not a value of enum type '#' |
UNDEFINED_IDENTIFIER | Identifier '#' is not a value of enumerated type '#' |
Expect
| |
REDEFINED_EXPECT | Expect '#.#' was previously defined at line # in # |
UNDEFINED_EXPECT | Expect '#.#' was not defined previously |
Bind Arguments
| |
BIND_ARG_COUNT | Wrong number of arguments for 'bind()/do_bind()', must be exactly 2 |
BIND_ARG_PORT_TYPE | Argument # of '#()' must be a port |
BIND_ARGS_PORT_KIND | Different kinds of ports cannot be bound to each other |
BIND_ARGS_PORT_ELEM | Ports with associated element types that do not agree cannot be bound |
UNRESOLVED_BIND_ARG | Argument # of '#()' cannot be resolved |
Access
| |
ILLEGAL_ACCESS | Cannot access # # '#.#' |
Select
| |
SELECT_IN_NON_LIST | Cannot use select, element '#' is not a list |
Assignment & Math Operation
| |
UNEXPECTED_TYPE | '#' is of type '#', while expecting numeric type |
UNEXPECTED_TYPE | '#' is of type '#', while expecting type '#' |
UNEXPECTED_TYPE | '#' is of type '#', while expecting some type |
UNEXPECTED_TYPE | '#' is of type '#', while expecting type '#' or '#' |
NON STANDARD
| |
NON_STANDARD_MACRO | '#' |
NON_STANDARD_METHOD | '#::#()' |
NON_STANDARD_TYPE | '#::#' |