/
messages.properties
39 lines (39 loc) · 2.78 KB
/
messages.properties
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
SARLValidator_0=Couldn''t find a valid version of the JDK. Please use the JDK {0} or higher.
SARLValidator_1=Couldn''t find a valid version of the Xtext base library in the classpath. You should add ''org.eclipse.xtext.xbase.lib'', version {0} or higher.
SARLValidator_2=Duplicate definition of the type ''{0}''
SARLValidator_3=A default value cannot be declared for the variadic formal parameter ''{0}''.
SARLValidator_4=Type mismatch: cannot convert from {0} to {1}
SARLValidator_5=Illegal syntax.
SARLValidator_6=Duplicate {0} in ''{1}'': {2}
SARLValidator_7=field
SARLValidator_8=action
SARLValidator_9=Invalid action name ''{0}''. You must not give to an action a name that is starting with ''_handle_''. This prefix is reserved by the SARL compiler.
SARLValidator_10=Invalid attribute name ''{0}''. You must not give to an attribute a name that is starting with ''___FORMAL_PARAMETER_DEFAULT_VALUE_''. This prefix is reserved by the SARL compiler.
SARLValidator_11=attribute
SARLValidator_12=The blank final field ''{0}'' may not have been initialized.
SARLValidator_13=Duplicate implemented feature ''{0}''.
SARLValidator_14=The feature ''{0}'' is already implemented by the super-type ''{1}''.
SARLValidator_15=The field ''{0}'' in ''{1}'' is hidding the inherited field ''{2}''.
SARLValidator_16=Cannot override the operation {0}, which is declared a final in the super type.
SARLValidator_17=Incompatible return type between ''{0}'' and ''{1}'' for {2}.
SARLValidator_18=The operation {0} must be implemented.
SARLValidator_19=Undefined default constructor in the super-type.
SARLValidator_20=The constructor {0} is undefined.
SARLValidator_21=Discouraged boolean value. The guard is always true.
SARLValidator_22=Dead code. The guard is always false.
SARLValidator_23=Type mismatch: cannot convert from {0} to {1}
SARLValidator_24=Invalid type: ''{0}''. Only {1} can be used after the keyword ''{2}''.
SARLValidator_25=capacities
SARLValidator_26=events
SARLValidator_27=Invalid supertype. Expecting: {0}.
SARLValidator_28=interface
SARLValidator_29=class
SARLValidator_30=Attempt to override final class.
SARLValidator_31=Supertype must be a subtype of ''{0}''.
SARLValidator_32=Supertype must be of type ''{0}''.
SARLValidator_33=The inheritance hierarchy of ''{0}'' is inconsistent.
SARLValidator_34=Invalid implemented type: ''{0}''. Only subtypes of ''{1}'' are allowed for ''{2}''.
SARLValidator_35=Invalid implemented type: ''{0}''. Only the type ''{1}'' and one of its subtypes are allowed for ''{2}''.
SARLValidator_36=Missing implemented type ''{0}'' for ''{1}''.
SARLValidator_37=Discouraged capacity definition. A capacity without actions defined inside is not useful since it cannot be called by an agent or a behavior.
SARLValidator_38=The blank final field ''{0}'' may not have been initialized in the constructor {1}.