io.sarl.lang.validation
Class IssueCodes
final class IssueCodes
extends java.lang.Object
List of issues codes related to SARL.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
compiler
See:
org.eclipse.xtend.core.validation.IssueCodes
Field Summary
Modifier and type Field and description
public static val java.lang.String AMBIGUOUS_INTERPRETATION_BY_DEVELOPPER
An expression may be badly interpreted by the SARL developper.
public static val java.lang.String DISCOURAGED_BOOLEAN_EXPRESSION
It is discouraged to have a true/false constant as conditions in guards, if...
public static val java.lang.String DISCOURAGED_CAPACITY_DEFINITION
A capacity was defined in a way that is discouraged.
public static val java.lang.String DISCOURAGED_FUNCTION_NAME
A function was defined with a name that is discouraged.
public static val java.lang.String DISCOURAGED_LOOP_BREAKING_KEYWORD_USE
The use of the "break" or "continue" statement is discouraged at this location.
public static val java.lang.String DISCOURAGED_OCCURRENCE_READONLY_USE
The occurrence use is invalid because the occurrence is a read-only variable.
public static val java.lang.String GENERIC_TYPE_NAME_SHADOWING
A generic type name is shadowing another generic type name.
public static val java.lang.String ILLEGAL_PARAMETER_DEFAULT_VALUE_REDEFINITION
The value of a default parameter does not correspond to the value of the inherited parameter.
public static val java.lang.String INTERNAL_ERROR
Internal error.
public static val java.lang.String INVALID_CAPACITY_TYPE
A capacity type is mandatory after the "uses" and "requires" keyword.
public static val java.lang.String INVALID_DEFAULT_SKILL_ANNOTATION
The @DefaultSkill annotation has an improper value.
public static val java.lang.String INVALID_EXTENDED_TYPE
A supertype is not a subtype of the expected type.
public static val java.lang.String INVALID_EXTRA_LANGUAGE_GENERATION
Invalid extra-language generation.
public static val java.lang.String INVALID_FIRING_EVENT_TYPE
A event type is mandatory after the "fires" keyword.
public static val java.lang.String INVALID_IMPLEMENTED_TYPE
A type is invalid after the "implements" keyword.
public static val java.lang.String INVALID_NESTED_DEFINITION
An element cannot be defined as a nested element.
public static val java.lang.String INVALID_OCCURRENCE_READONLY_USE
The occurrence use is invalid because the occurrence is a read-only variable.
public static val java.lang.String INVALID_SARL_LIB_ON_CLASSPATH
The SARL library found on the classpath is not compatible with the compiler's version.
public static val java.lang.String INVALID_USE_OF_LOOP_BREAKING_KEYWORD
Invalid use of the "break" or "continue" keyword.
protected static val java.lang.String ISSUE_CODE_PREFIX
Prefix related to SARL for the issue codes.
public static val java.lang.String MANUAL_INLINE_DEFINITION
The use of the @Inline annotation inside the SARL code may cause errornous side-effects.
public static val java.lang.String MISSING_BODY
A body is missed.
public static val java.lang.String PARAMETER_DEFAULT_VALUE_REDFINITION
The value of a default parameter is inherited and locally redefined.
public static val java.lang.String POTENTIAL_FIELD_SYNCHRONIZATION_PROBLEM
A synchronization problem may be encountered on the field.
public static val java.lang.String POTENTIAL_INEFFICIENT_VALUE_CONVERSION
The cast operator is linked to a method for converting a value that may be inefficient.
public static val java.lang.String POTENTIAL_MEMORY_SHARING_OUTSIDE_AGENT_CONTROL
A static field may enable to share data between components outside the control of the agent.
public static val java.lang.String PROGRAMMATIC_ISSUE_ANNOTATION
A SARL annotation is used.
public static val java.lang.String REDUNDANT_CAPACITY_USE
A capacity is used, but it is already used by the current type.
public static val java.lang.String REDUNDANT_INTERFACE_IMPLEMENTATION
An interface is implemented, but it is already implemented by the super type, or inherited by another interface.
public static val java.lang.String RETURN_TYPE_SPECIFICATION_IS_RECOMMENDED
The specification of the return type is recommended.
public static val java.lang.String SARL_LIB_NOT_ON_CLASSPATH
The SARL library is not on the classpath.
public static val java.lang.String UNEXPECTED_EXCEPTION_THROW
The exception throw is not expected at this location.
public static val java.lang.String UNEXPECTED_FORMAL_PARAMETER
The formal parameter is not expected at this location.
public static val java.lang.String UNREACHABLE_BEHAVIOR_UNIT
A behavior unit will be never executed due to its guard.
public static val java.lang.String UNUSED_AGENT_CAPACITY
A capacity was not used in the local context.
public static val java.lang.String USED_RESERVED_SARL_ANNOTATION
A SARL annotation is used.
Field Details
AMBIGUOUS_INTERPRETATION_BY_DEVELOPPER
public static val AMBIGUOUS_INTERPRETATION_BY_DEVELOPPER : java.lang.String = "io.sarl.lang.validation.IssueCodes.ambiguous_interpretation_by_developper"
An expression may be badly interpreted by the SARL developper. The message for this issue should provide details
Since:
0.13
DISCOURAGED_BOOLEAN_EXPRESSION
public static val DISCOURAGED_BOOLEAN_EXPRESSION : java.lang.String = "io.sarl.lang.validation.IssueCodes.discouraged_boolean_expression"
It is discouraged to have a true/false constant as conditions in guards, if...

The following code causes a warning:
br event E1br agent A1 {br    on E1 [true] { }br }br 
DISCOURAGED_CAPACITY_DEFINITION
public static val DISCOURAGED_CAPACITY_DEFINITION : java.lang.String = "io.sarl.lang.validation.IssueCodes.discouraged_capacity_definition"
A capacity was defined in a way that is discouraged. The message associated to this issue code explains the details.
DISCOURAGED_FUNCTION_NAME
public static val DISCOURAGED_FUNCTION_NAME : java.lang.String = "io.sarl.lang.validation.IssueCodes.discouraged_function_name"
A function was defined with a name that is discouraged.
DISCOURAGED_LOOP_BREAKING_KEYWORD_USE
public static val DISCOURAGED_LOOP_BREAKING_KEYWORD_USE : java.lang.String = "io.sarl.lang.validation.IssueCodes.discouraged_loop_breaking_keyword_use"
The use of the "break" or "continue" statement is discouraged at this location.
Since:
0.5
DISCOURAGED_OCCURRENCE_READONLY_USE
public static val DISCOURAGED_OCCURRENCE_READONLY_USE : java.lang.String = "io.sarl.lang.validation.IssueCodes.discouraged_occurrence_readonly_use"
The occurrence use is invalid because the occurrence is a read-only variable.
Since:
0.5
GENERIC_TYPE_NAME_SHADOWING
public static val GENERIC_TYPE_NAME_SHADOWING : java.lang.String = "io.sarl.lang.validation.IssueCodes.generic_type_name_shadowing"
A generic type name is shadowing another generic type name.
Since:
0.12
ILLEGAL_PARAMETER_DEFAULT_VALUE_REDEFINITION
public static val ILLEGAL_PARAMETER_DEFAULT_VALUE_REDEFINITION : java.lang.String = "io.sarl.lang.validation.IssueCodes.illegal_parameter_default_value_redefinition"
The value of a default parameter does not correspond to the value of the inherited parameter.
Since:
0.12
INTERNAL_ERROR
public static val INTERNAL_ERROR : java.lang.String = "io.sarl.lang.validation.IssueCodes.internal_error"
Internal error.
Since:
0.8
INVALID_CAPACITY_TYPE
public static val INVALID_CAPACITY_TYPE : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_capacity_type"
A capacity type is mandatory after the "uses" and "requires" keyword.
INVALID_DEFAULT_SKILL_ANNOTATION
public static val INVALID_DEFAULT_SKILL_ANNOTATION : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_default_skill_annotation"
The @DefaultSkill annotation has an improper value.
Since:
0.7
INVALID_EXTENDED_TYPE
public static val INVALID_EXTENDED_TYPE : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_extended_type"
A supertype is not a subtype of the expected type.
INVALID_EXTRA_LANGUAGE_GENERATION
public static val INVALID_EXTRA_LANGUAGE_GENERATION : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_extra_language_generation"
Invalid extra-language generation.
Since:
0.6
INVALID_FIRING_EVENT_TYPE
public static val INVALID_FIRING_EVENT_TYPE : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_firing_event_type"
A event type is mandatory after the "fires" keyword.
INVALID_IMPLEMENTED_TYPE
public static val INVALID_IMPLEMENTED_TYPE : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_implemented_type"
A type is invalid after the "implements" keyword.
INVALID_NESTED_DEFINITION
public static val INVALID_NESTED_DEFINITION : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_nested_definition"
An element cannot be defined as a nested element.
INVALID_OCCURRENCE_READONLY_USE
public static val INVALID_OCCURRENCE_READONLY_USE : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_occurrence_readonly_use"
The occurrence use is invalid because the occurrence is a read-only variable.
Since:
0.5
INVALID_SARL_LIB_ON_CLASSPATH
public static val INVALID_SARL_LIB_ON_CLASSPATH : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_sarl_lib_on_classpath"
The SARL library found on the classpath is not compatible with the compiler's version.
INVALID_USE_OF_LOOP_BREAKING_KEYWORD
public static val INVALID_USE_OF_LOOP_BREAKING_KEYWORD : java.lang.String = "io.sarl.lang.validation.IssueCodes.invalid_use_of_loop_breaking_keyword"
Invalid use of the "break" or "continue" keyword.
Since:
0.5
ISSUE_CODE_PREFIX
protected static val ISSUE_CODE_PREFIX : java.lang.String = "io.sarl.lang.validation.IssueCodes."
Prefix related to SARL for the issue codes.
MANUAL_INLINE_DEFINITION
public static val MANUAL_INLINE_DEFINITION : java.lang.String = "io.sarl.lang.validation.IssueCodes.manual_inline_definition"
The use of the @Inline annotation inside the SARL code may cause errornous side-effects.
Since:
0.5
MISSING_BODY
public static val MISSING_BODY : java.lang.String = "io.sarl.lang.validation.IssueCodes.missing_body"
A body is missed.
Since:
0.6
PARAMETER_DEFAULT_VALUE_REDFINITION
public static val PARAMETER_DEFAULT_VALUE_REDFINITION : java.lang.String = "io.sarl.lang.validation.IssueCodes.parameter_default_value_redefinition"
The value of a default parameter is inherited and locally redefined.
Since:
0.12
POTENTIAL_FIELD_SYNCHRONIZATION_PROBLEM
public static val POTENTIAL_FIELD_SYNCHRONIZATION_PROBLEM : java.lang.String = "io.sarl.lang.validation.IssueCodes.potential_field_synchronization_problem"
A synchronization problem may be encountered on the field.
Since:
0.7
POTENTIAL_INEFFICIENT_VALUE_CONVERSION
public static val POTENTIAL_INEFFICIENT_VALUE_CONVERSION : java.lang.String = "io.sarl.lang.validation.IssueCodes.potential_inefficient_value_conversion"
The cast operator is linked to a method for converting a value that may be inefficient.
Since:
0.9
POTENTIAL_MEMORY_SHARING_OUTSIDE_AGENT_CONTROL
public static val POTENTIAL_MEMORY_SHARING_OUTSIDE_AGENT_CONTROL : java.lang.String = "io.sarl.lang.validation.IssueCodes.potential_memory_sharing_outside_agent_control"
A static field may enable to share data between components outside the control of the agent. It brokes the agent autonomy principle.
Since:
0.7
PROGRAMMATIC_ISSUE_ANNOTATION
public static val PROGRAMMATIC_ISSUE_ANNOTATION : java.lang.String = "io.sarl.lang.validation.IssueCodes.programmatic_issue_annotation"
A SARL annotation is used. They are supposed to never be in the SARL code directly.
Since:
0.12
REDUNDANT_CAPACITY_USE
public static val REDUNDANT_CAPACITY_USE : java.lang.String = "io.sarl.lang.validation.IssueCodes.redundant_capacity_use"
A capacity is used, but it is already used by the current type.
REDUNDANT_INTERFACE_IMPLEMENTATION
public static val REDUNDANT_INTERFACE_IMPLEMENTATION : java.lang.String = "io.sarl.lang.validation.IssueCodes.redundant_interface_implementation"
An interface is implemented, but it is already implemented by the super type, or inherited by another interface.
public static val RETURN_TYPE_SPECIFICATION_IS_RECOMMENDED : java.lang.String = "io.sarl.lang.validation.IssueCodes.return_type_specification_is_recommended"
The specification of the return type is recommended.
SARL_LIB_NOT_ON_CLASSPATH
public static val SARL_LIB_NOT_ON_CLASSPATH : java.lang.String = "io.sarl.lang.validation.IssueCodes.sarl_lib_not_on_classpath"
The SARL library is not on the classpath.
UNEXPECTED_EXCEPTION_THROW
public static val UNEXPECTED_EXCEPTION_THROW : java.lang.String = "io.sarl.lang.validation.IssueCodes.unexpected_exception_throw"
The exception throw is not expected at this location.
Since:
0.6
UNEXPECTED_FORMAL_PARAMETER
public static val UNEXPECTED_FORMAL_PARAMETER : java.lang.String = "io.sarl.lang.validation.IssueCodes.unexpected_formal_parameter"
The formal parameter is not expected at this location.
Since:
0.6
UNREACHABLE_BEHAVIOR_UNIT
public static val UNREACHABLE_BEHAVIOR_UNIT : java.lang.String = "io.sarl.lang.validation.IssueCodes.unreachable_behavior_unit"
A behavior unit will be never executed due to its guard.
UNUSED_AGENT_CAPACITY
public static val UNUSED_AGENT_CAPACITY : java.lang.String = "io.sarl.lang.validation.IssueCodes.unused_agent_capacity"
A capacity was not used in the local context.
USED_RESERVED_SARL_ANNOTATION
public static val USED_RESERVED_SARL_ANNOTATION : java.lang.String = "io.sarl.lang.validation.IssueCodes.use_reserved_sarl_annotation"
A SARL annotation is used. They are supposed to never be in the SARL code directly.