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 ‘#’