Semantic Checks
ID |
Message |
---|---|
Packages & Components |
|
UNDECLARED_PACKAGE |
Package ‘#’ is not declared |
UNDECLARED_COMPONENT |
Component ‘#’ is not declared |
DUPLICATE_PACKAGE |
Duplicate package ‘#’ already declared at line # in # |
DUPLICATE_COMPONENT |
Duplicate component ‘#’ already declared at line # in # |
Actions & Structs & Types |
|
UNDECLARED_ACTION |
Action ‘#’ is not declared |
UNDECLARED_STRUCT |
Struct ‘#’ is not declared |
DUPLICATE_ACTION |
Duplicate action ‘#’ already declared at line # in # |
DUPLICATE_STRUCT |
Duplicate struct ‘#’ already declared at line # in # |
DUPLICATE_TYPE |
Duplicate type ‘#’ already declared at line # in # |
UNDECLARED_TYPE |
Type ‘#’ is not declared |
Inheritance |
|
CIRCULAR_INHERITANCE |
# ‘#’ extends itself |
INCONSISTENT_INHERITANCE |
‘#’ # cannot inherit from ‘#’ # |
Extends |
|
EXTEND_CLASS_TYPE |
Wrong kind ‘#’ specified to extend ‘#’ # type |
EXTEND_ENUM_TYPE |
Wrong kind ‘#’ specified to extend ‘#’ enum type |
EXTEND_UNDEFINED_TYPE |
Cannot extend ‘#’ # type, because it was not previously defined |
Activities & Exec Blocks & Fields |
|
DUPLICATE_ACTIVITY_BLOCK |
Duplicate activity block ‘#’ already declared at line # in # |
DUPLICATE_EXEC_BLOCK |
Duplicate exec block ‘#’ already declared at line # in # |
DUPLICATE_FIELD |
Duplicate field ‘#’ already declared at line # in # |
DUPLICATE_FIELD |
Duplicate predefined field ‘#’ |
DUPLICATE_IMPORT_CLASS |
Duplicate import class ‘#’ already declared at line # in # |
UNDECLARED_IDENTIFIER |
Identifier ‘#’ is not declared |
UNDECLARED_IDENTIFIER |
Identifier ‘#’ is not a member of ‘#’ |
Functions & Symbols |
|
DUPLICATE_FUNCTION |
Duplicate function ‘#’ already declared at line # in # |
DUPLICATE_FUNCTION |
Duplicate predefined function ‘#’ |
FUNCTION_CALL_ARGUMENTS |
Expecting ‘#’ argument[s] when calling ‘#’, found ‘#’ |
SYMBOL_CALL_ARGUMENTS |
Expecting ‘#’ argument[s] when calling ‘#’, found ‘#’ |
NOT_A_FUNCTION |
‘#’ is not a function |
NOT_A_SYMBOL |
‘#’ is not a symbol |
NOT_ALLOWED_EXEC_BLOCK |
‘#’ exec block is not allowed under ‘#’ # type |
UNDECLARED_FUNCTION |
Function ‘#’ is not declared |
Cover Groups |
|
COVERGROUP_INSTANCE_PORTS |
Expecting ‘#’ port[s] when instantiating ‘#’, found ‘#’ |
DUPLICATE_COVERGROUP |
Duplicate cover group ‘#’ already declared at line # in # |
NOT_A_COVERGROUP |
‘#’ is not a cover group instance |
UNDEFINED_COVER_ITEM |
Cover item # is not defined |
Pools |
|
ILLEGAL_RESOURCE_INSTANCES |
Illegal resource instances specified for # type pool ‘#’ |
UNEXPECTED_POOL_TYPE |
‘#’ is not of a buffer, resource, state or stream type |
Binds |
|
ILLEGAL_BIND_STATEMENT |
# ‘#’ should be first within the bind statement |
ILLEGAL_BIND_STATEMENT |
Illegal bind statement between # ‘#’ to # ‘#’ |
ILLEGAL_BIND_STATEMENT |
Illegal bind statement between ‘#’ of type ‘#’ to ‘#’ of type ‘#’ |
IS_NOT_A_POOL |
‘#’ is not a pool |
Constraints |
|
DUPLICATE_CONSTRAINT |
Duplicate constraint ‘#’ already declared at line # in # |
Enums |
|
DUPLICATE_ENUM |
Duplicate enum item ‘#’ was previously defined at line # in # |
NOT_ALLOWED_ENUM_VALUE |
Enum item value ‘#’ already assigned to enum item ‘#’ at line # in # |
UNDECLARED_ENUM |
Enum item ‘#’ is not declared |
Ref fields |
|
FLOW_REF_FIELD |
Type ‘#’ is not a flow type object |
RESOURCE_REF_FIELD |
Type ‘#’ is not a resource type object |
Compile Directives |
|
COMPILE_ASSERT |
# |
EVALUATION_FAIL |
Expression ‘#’ cannot be evaluated |
Assignment & Math Operation |
|
UNEXPECTED_TYPE |
‘#’ is of type ‘#’, while expecting numeric type |
UNEXPECTED_TYPE |
‘#’ is of type ‘#’, while expecting type ‘#’ |