mulang 5.2.0 → 5.3.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b5f2532a78fd09450660accc92e937121b5b10cfb3e72abebd27182fadd52eea
-  data.tar.gz: 9673dafb8b5643b692649116dcb816ef068128c917c54923a54dc19db2a98268
+  metadata.gz: 6c4b91159deb396c27d53a9a9a1399599fb27ed62a8dd8c066520db026b70dba
+  data.tar.gz: 55197a5e6936e8dece7b4698d49be7458a5bf7794b2f0148bedc7dd043400362
 SHA512:
-  metadata.gz: 43ac61e3aacf5d5caef6ac737c4d99cfd512007dae3d8effd7e6a8ad73b01281717bcb660a0d0fb6c5fa37d4c30753b6da7d48a5aae12f07f0fb98f9bac52639
-  data.tar.gz: 735ec1621b40a3241120274b920e6d28cac2c8e1045a3afdb9b6466f0cc9ea3efe81b3251ffb894814b1a330d6340ac6f0b1a09eb7a5d34c6a0bd23ce0c7f1c1
+  metadata.gz: 4d043f51ed7c3faa12973648c44fd10f804270eaef97e8bdd457817bab25370ca17e7a9fab4cea57832f581b5181dbe59b4f72fb6a2772cd14581f3cc0236ffd
+  data.tar.gz: 5bfbb6977a62ab53824703e854ed0022fbcdee91e7ffb8e588d805dd3ab328b62ab63b3fa0169463c988277a4d8d9fde23bb9c7a203c9b11169a69fc6804ad95

data/lib/locales/en.yml

@@ -6,7 +6,7 @@ en:
       must: must
       solution: solution
       with_char: ' with character <i>%{value}</i>'
-      with_false: ' with value <i>%{keyword_false}</i>'
+      with_false: ' with value <i>%{keyword_False}</i>'
       with_literal: ' with a literal value'
       with_logic: ' with a boolean expression'
       with_math:  ' with a math expression'
@@ -15,7 +15,7 @@ en:
       with_number: ' with number <i>%{value}</i>'
       with_string: ' with string <i>%{value}</i>'
       with_symbol: ' with symbol <i>%{value}</i>'
-      with_true: ' with value <i>%{keyword_true}</i>'
+      with_true: ' with value <i>%{keyword_True}</i>'
     inspection:
       Assigns_except: '%{binding} %{must} assign something distinct from %{target}%{matching}'
       Assigns_like: '%{binding} %{must} assign something similar to %{target}%{matching}'
@@ -47,7 +47,7 @@ en:
       DeclaresComputationWithArity3_named: '%{target} %{must} have 3 parameters'
       DeclaresComputationWithArity4_named: '%{target} %{must} have 4 parameters'
       DeclaresComputationWithArity5_named: '%{target} %{must} have 5 parameters'
-      DeclaresEntryPoint: '%{binding} %{must} declare an entry point%{matching}'
+      DeclaresEntryPoint: '%{binding} %{must} declare a <i>%{keyword_EntryPoint}</i>%{matching}'
       DeclaresEnumeration_except: '%{binding} %{must} declare enumerations distinct from %{target}'
       DeclaresEnumeration_like: '%{binding} %{must} declare an enumeration like %{target}'
       DeclaresEnumeration_named: '%{binding} %{must} declare an enumeration %{target}'
@@ -97,30 +97,34 @@ en:
       DeclaresVariable_like: '%{binding} %{must} declare a variable similar to %{target}%{matching}'
       DeclaresVariable_named: '%{binding} %{must} declare a variable %{target}%{matching}'
       DeclaresVariable: '%{binding} %{must} debe declare variables%{matching}'
+      Delegates: '%{binding} %{must} delegate'
       DiscardsExceptions: '%{binding} is ignoring exceptions silently'
       DoesConsolePrint: '%{binding} is printing to the console'
-      DoesNilTest: '%{binding} does <i>%{keyword_null}</i> tests'
-      DoesNullTest: '%{binding} does <i>%{keyword_null}</i> tests'
+      DoesNilTest: '%{binding} does <i>%{keyword_Null}</i> tests'
+      DoesNullTest: '%{binding} does <i>%{keyword_Null}</i> tests'
       DoesTypeTest: '%{binding} string type tests'
-      HasAssignmentReturn: '%{binding} returns the result of an assignment'
+      HasAssignmentCondition: '%{binding} evaluates the result of an assignment where a boolean expression is expected. Perhaps you meant to use the <i>%{operator_Equal}</i> operator?'
+      HasAssignmentReturn: '%{binding} returns the result of an assignment. Perhaps you meant to use the <i>%{operator_Equal}</i> operator?'
       HasCodeDuplication: '%{binding} has code duplication'
-      HasEmptyIfBranches: '%{binding} has empty <i>%{keyword_if}</i> branches'
-      HasEmptyRepeat: '%{binding} has empty <i>%{keyword_repeat}</i>'
+      HasDeclarationTypos_named: 'Solution must declare %{target}, but declares %{binding}. Perhaps you meant %{target}?'
+      HasEmptyIfBranches: '%{binding} has empty <i>%{keyword_If}</i> branches'
+      HasEmptyRepeat: '%{binding} has empty <i>%{keyword_Repeat}</i>'
       HasLongParameterList: '%{binding} has too many parameters. You may be missing an abstraction.'
       HasMisspelledBindings: '%{binding} is misspelled'
       HasMisspelledIdentifiers: '%{binding} is misspelled'
       HasRedundantBooleanComparison: '%{binding} makes unnecesary boolean comparisons'
       HasRedundantGuards: '%{binding} has unnecessary guards'
-      HasRedundantIf: '%{binding} has unnecessary <i>%{keyword_if}</i>s'
+      HasRedundantIf: '%{binding} has unnecessary <i>%{keyword_If}</i>s'
       HasRedundantLambda: '%{binding} has unnecessary lambdas'
       HasRedundantLocalVariableReturn: '%{binding} has unnecesary local variables; please try returning the expression directly'
       HasRedundantParameter: '%{binding} has unnecessary parameters, that can be removed using point-free'
-      HasRedundantReduction: '%{binding} uses <i>%{keyword_is}</i>, but it does not artihmetic'
-      HasRedundantRepeat: '%{binding} has an unnecesary <i>%{keyword_repeat}</i>'
+      HasRedundantReduction: '%{binding} uses <i>%{keyword_Is}</i>, but it does not artihmetic'
+      HasRedundantRepeat: '%{binding} has an unnecesary <i>%{keyword_Repeat}</i>'
       HasTooManyMethods: '%{binding} has too many methods'
       HasTooShortBindings: '%{binding} is a too short identifier'
       HasTooShortIdentifiers: '%{binding} is a too short identifier'
       HasUnreachableCode: '%{binding} has unreachable code'
+      HasUsageTypos_named:  'Solution must use %{target}, but it uses %{binding}. Perhaps you meant %{target}?'
       HasWrongCaseBindings: '%{binding} does not honor case conventions'
       HasWrongCaseIdentifiers: '%{binding} does not honor case conventions'
       Implements_except: '%{binding} %{must} implement interfaces distinct from %{target}'
@@ -142,9 +146,11 @@ en:
       Raises_named: '%{binding} %{must} throw %{target}'
       Raises: '%{binding} %{must} throw exceptions'
       Returns: '%{binding} %{must} return%{matching}'
-      ReturnsNil: '%{binding} retuns <i>%{keyword_null}</i>, which is a bad practice'
-      ReturnsNull: '%{binding} retuns <i>%{keyword_null}</i>, which is a bad practice'
-      ShouldInvertIfCondition: '%{binding} should invert <i>%{keyword_if}</i> condition and swap branches'
+      ReturnsNil: '%{binding} retuns <i>%{keyword_Null}</i>, which is a bad practice'
+      ReturnsNull: '%{binding} retuns <i>%{keyword_Null}</i>, which is a bad practice'
+      ShouldInvertIfCondition: '%{binding} should invert <i>%{keyword_If}</i> condition and swap branches'
+      SubordinatesDeclarationsTo: 'All declarations in %{binding} %{must} be used from %{target}'
+      SubordinatesDeclarationsToEntryPoint: 'All declarations in %{binding} %{must} be used from <i>%{keyword_EntryPoint}</i> '
       TypesAs_named: '%{binding} %{must} type as %{target}'
       TypesAs: '%{binding} %{must} type'
       TypesParameterAs_except: '%{binding} %{must} type parameters with a type distinct from %{target}'
@@ -157,33 +163,56 @@ en:
       Uses_like: '%{binding} %{must} delegate to something similar to %{target}'
       Uses_named: '%{binding} %{must} use %{target}'
       Uses: '%{binding} %{must} delegate'
+      UsesAnd: '%{binding} %{must} use <i>%{operator_And}</i>'
       UsesAnonymousVariable: '%{binding} %{must} use an annonymous variable'
+      UsesBackwardComposition: '%{binding} %{must} use <i>%{operator_BackwardComposition}</i>'
+      UsesBitwiseAnd: '%{binding} %{must} use <i>%{operator_BitwiseAnd}</i>'
+      UsesBitwiseLeftShift: '%{binding} %{must} use <i>%{operator_BitwiseLeftShift}</i>'
+      UsesBitwiseOr: '%{binding} %{must} use <i>%{operator_BitwiseOr}</i>'
+      UsesBitwiseRightShift: '%{binding} %{must} use <i>%{operator_BitwiseRightShift}</i>'
+      UsesBitwiseXor: '%{binding} %{must} use <i>%{operator_BitwiseXor}</i>'
       UsesComposition: '%{binding} %{must} use composition'
       UsesComprehension: '%{binding} %{must} use comprehensions'
       UsesConditional: '%{binding} %{must} use conditionals'
       UsesCut: '%{binding} uses <i>!</li> operator, which is a bad practice'
+      UsesDivide: '%{binding} %{must} use <i>%{operator_Divide}</i>'
       UsesDyamicPolymorphism: '%{binding} %{must} use polymorphism'
       UsesDynamicMethodOverload: '%{binding} %{must} use overload'
-      UsesFail: '%{binding} uses <i>%{keyword_fail}</li>, which is a bad practice'
+      UsesEqual: '%{binding} %{must} use <i>%{operator_Equal}</i>'
+      UsesFail: '%{binding} uses <i>%{keyword_Fail}</li>, which is a bad practice'
       UsesFindall: '%{binding} %{must} use <i>%{keyword_findall}</i>'
-      UsesForall: '%{binding} %{must} use <i>%{keyword_forall}</i>'
-      UsesForeach: '%{binding} %{must} use <i>%{keyword_foreach}</i>%{matching}'
-      UsesForLoop: '%{binding} %{must} use <i>%{keyword_for}</i>%{matching}'
+      UsesForall: '%{binding} %{must} use <i>%{keyword_Forall}</i>'
+      UsesForeach: '%{binding} %{must} use <i>%{keyword_Foreach}</i>%{matching}'
+      UsesForLoop: '%{binding} %{must} use <i>%{keyword_For}</i>%{matching}'
+      UsesForwardComposition: '%{binding} %{must} use <i>%{operator_ForwardComposition}</i>'
+      UsesGreatherOrEqualThan: '%{binding} %{must} use <i>%{operator_GreatherOrEqualThan}</i>'
+      UsesGreatherThan: '%{binding} %{must} use <i>%{operator_GreatherThan}</i>'
       UsesGuards: '%{binding} %{must} use guards%{matching}'
-      UsesIf: '%{binding} %{must} use <i>%{keyword_if}</i>%{matching}'
+      UsesHash: '%{binding} %{must} use <i>%{operator_Hash}</i>'
+      UsesIf: '%{binding} %{must} use <i>%{keyword_If}</i>%{matching}'
       UsesLambda: '%{binding} %{must} use lambda expressions%{matching}'
-      UsesLogic: '%{binding} %{must} usar boolean expressions'
+      UsesLessOrEqualThan: '%{binding} %{must} use <i>%{operator_LessOrEqualThan}</i>'
+      UsesLessThan: '%{binding} %{must} use <i>%{operator_LessThan}</i>'
+      UsesLogic: '%{binding} %{must} usar boolean operators'
       UsesLoop: '%{binding} %{must} use a loop%{matching}'
       UsesMath: '%{binding} %{must} usar math expressions'
+      UsesMinus: '%{binding} %{must} use <i>%{operator_Minus}</i>'
       UsesMixin: '%{binding} %{must} use mixins'
+      UsesModulo: '%{binding} %{must} use <i>%{operator_Modulo}</i>'
+      UsesMultiply: '%{binding} %{must} use <i>%{operator_Multiply}</i>'
+      UsesNegation: '%{binding} %{must} use <i>%{operator_Negation}</i>'
       UsesNot: '%{binding} %{must} use not'
+      UsesNotEqual: '%{binding} %{must} use <i>%{operator_NotEqual}</i>'
       UsesObjectComposition: '%{binding} %{must} use composition'
+      UsesOr: '%{binding} %{must} use <i>%{operator_Or}</i>'
+      UsesOtherwise: '%{binding} %{must} use <i>%{operator_Otherwise}</i>'
       UsesPatternMatching: '%{binding} %{must} use pattern matching'
-      UsesRepeat: '%{binding} %{must} use <i>%{keyword_repeat}</i>%{matching}'
-      UsesRepeatOf: '%{binding} %{must} use <i>%{keyword_repeat}</i>'
+      UsesPlus: '%{binding} %{must} use <i>%{operator_Plus}</i>'
+      UsesRepeat: '%{binding} %{must} use <i>%{keyword_Repeat}</i>%{matching}'
+      UsesRepeatOf: '%{binding} %{must} use <i>%{keyword_Repeat}</i>'
       UsesStaticMethodOverload: '%{binding} %{must} use overload'
       UsesStaticPolymorphism: '%{binding} %{must} use polymorphism'
-      UsesSwitch: '%{binding} %{must} use a <i>%{keyword_switch}</i>'
+      UsesSwitch: '%{binding} %{must} use a <i>%{keyword_Switch}</i>'
       UsesTemplateMethod: '%{binding} %{must} use a template method'
       UsesUnificationOperator: '%{binding} uses the unification operator (=)'
-      UsesWhile: '%{binding} %{must} use <i>%{keyword_while}</i>%{matching}'
+      UsesWhile: '%{binding} %{must} use <i>%{keyword_While}</i>%{matching}'

data/lib/locales/es.yml

@@ -6,7 +6,7 @@ es:
       must: debe
       solution: la solución
       with_char: ' con el carácter <i>%{value}</i>'
-      with_false: ' con el valor <i>%{keyword_false}</i>'
+      with_false: ' con el valor <i>%{keyword_False}</i>'
       with_literal: ' con un valor literal'
       with_logic: ' con una expresión booleana'
       with_math:  'con una expresión matemática'
@@ -15,7 +15,7 @@ es:
       with_number: ' con el número <i>%{value}</i>'
       with_string: ' con la cadena <i>%{value}</i>'
       with_symbol: ' con el símbolo <i>%{value}</i>'
-      with_true: ' con el valor <i>%{keyword_true}</i>'
+      with_true: ' con el valor <i>%{keyword_True}</i>'
     inspection:
       Assigns_except: '%{binding} %{must} asignar a algo diferente a %{target}%{matching}'
       Assigns_like: '%{binding} %{must} asignar algo parecido a %{target}%{matching}'
@@ -47,7 +47,7 @@ es:
       DeclaresComputationWithArity3_named: '%{target} %{must} tener tres parámetros'
       DeclaresComputationWithArity4_named: '%{target} %{must} tener cuatro parámetros'
       DeclaresComputationWithArity5_named: '%{target} %{must} tener cinco parámetros'
-      DeclaresEntryPoint: '%{binding} %{must} declarar un punto de entrada%{matching}'
+      DeclaresEntryPoint: '%{binding} %{must} declarar un <i>%{keyword_EntryPoint}</i>%{matching}'
       DeclaresEnumeration_except: '%{binding} %{must} declarar enumeraciones que no se llamen %{target}'
       DeclaresEnumeration_like: '%{binding} %{must} declarar una enumeracion de nombre parecido a %{target}'
       DeclaresEnumeration_named: '%{binding} %{must} declarar una enumeracion %{target}'
@@ -101,15 +101,18 @@ es:
       DeclaresVariable_like: '%{binding} %{must} declarar una variable parecida a %{target}%{matching}'
       DeclaresVariable_named: '%{binding} %{must} declarar una variable %{target}%{matching}'
       DeclaresVariable: '%{binding} %{must} debe declarar variables%{matching}'
+      Delegates: '%{binding} %{must} delegar'
       DiscardsExceptions: '%{binding} está ignorando excepciones silenciosamiente'
       DoesConsolePrint: '%{binding} está realizando impresiones por pantalla'
-      DoesNilTest: '%{binding} hace comparaciones contra <i>%{keyword_null}</i>'
-      DoesNullTest: '%{binding} hace comparaciones contra <i>%{keyword_null}</i>'
+      DoesNilTest: '%{binding} hace comparaciones contra <i>%{keyword_Null}</i>'
+      DoesNullTest: '%{binding} hace comparaciones contra <i>%{keyword_Null}</i>'
       DoesTypeTest: '%{binding} hace comparaciones contra strings'
-      HasAssignmentReturn: '%{binding} devuelve el resultado de una asignación'
+      HasAssignmentCondition: '%{binding} evalúa el resultado de una asignación en donde se esperaba una expresión booleana. ¿Quizás quisiste usar el operador <i>%{operator_Equal}</i>?'
+      HasAssignmentReturn: '%{binding} devuelve el resultado de una asignación. ¿Quizás quisiste usar el operador <i>%{operator_Equal}</i>?'
       HasCodeDuplication: '%{binding} tiene código repetido'
-      HasEmptyIfBranches: '%{binding} tiene ramas de <i>%{keyword_if}</i> vacías'
-      HasEmptyRepeat: '%{binding} tiene un <i>%{keyword_repeat}</i> vacío'
+      HasDeclarationTypos_named: 'La solución parece tener un error de tipeo: debe declarar %{target}, pero declara %{binding}. ¿Quizás quisiste decir %{target}?'
+      HasEmptyIfBranches: '%{binding} tiene ramas de <i>%{keyword_If}</i> vacías'
+      HasEmptyRepeat: '%{binding} tiene un <i>%{keyword_Repeat}</i> vacío'
       HasLongParameterList: '%{binding} tiene demasiados parámetros. Te podría estar faltando una abstracción'
       HasMisspelledBindings: '%{binding} está mal escrito. Revisá la ortografía y procurá no usar abreviaturas'
       HasMisspelledIdentifiers: '%{binding} está mal escrito. Revisá la ortografía y procurá no usar abreviaturas'
@@ -119,12 +122,13 @@ es:
       HasRedundantLambda: '%{binding} tiene lambdas innecesarias'
       HasRedundantLocalVariableReturn: '%{binding} usa variables locales innecesarias; podés retornar directamente la expresión'
       HasRedundantParameter: '%{binding} tiene parámetros innecesarios (se pueden eliminar mediante point-free)'
-      HasRedundantReduction: '%{binding} usa <i>%{keyword_is}</i>, pero no realiza cálculos'
-      HasRedundantRepeat: '%{binding} tiene un <i>%{keyword_repeat}</i> innecesario'
+      HasRedundantReduction: '%{binding} usa <i>%{keyword_Is}</i>, pero no realiza cálculos'
+      HasRedundantRepeat: '%{binding} tiene un <i>%{keyword_Repeat}</i> innecesario'
       HasTooManyMethods: '%{binding} tiene demasiados métodos'
       HasTooShortBindings: '%{binding} es un identificador muy corto'
       HasTooShortIdentifiers: '%{binding} es un identificador muy corto'
       HasUnreachableCode: '%{binding} tiene código inalcanzable'
+      HasUsageTypos_named: 'La solución parece tener un error de tipeo: debe usar %{target}, pero usa %{binding}. ¿Quizás quisiste decir %{target}?'
       HasWrongCaseBindings: '%{binding} no respeta la convención de nombres'
       HasWrongCaseIdentifiers: '%{binding} no respeta la convención de nombres'
       Implements_except: '%{binding} %{must} implementar interfaces distintas de %{target}'
@@ -156,7 +160,9 @@ es:
       Returns: '%{binding} %{must} retornar%{matching}'
       ReturnsNil: '%{binding} retorna null, lo cual es una mala práctica'
       ReturnsNull: '%{binding} retorna null, lo cual es una mala práctica'
-      ShouldInvertIfCondition: '%{binding} debería invertir la condición del <i>%{keyword_if}</i> e intercambiar las ramas'
+      ShouldInvertIfCondition: '%{binding} debería invertir la condición del <i>%{keyword_If}</i> e intercambiar las ramas'
+      SubordinatesDeclarationsTo: 'Todas las declaraciones en %{binding} %{must} ser usadas desde %{target}'
+      SubordinatesDeclarationsToEntryPoint: 'Todas las declaraciones en %{binding} %{must} deben ser usadas desde un <i>%{keyword_EntryPoint}</i>'
       TypesAs_named: '%{binding} %{must} ser de tipo %{target}'
       TypesAs: '%{binding} %{must} tipar'
       TypesParameterAs_except: '%{binding} %{must} tipar parámetros con un tipo diferente a %{target}'
@@ -169,38 +175,61 @@ es:
       Uses_like: '%{binding} %{must} delegar en algo parecido a %{target}'
       Uses_named: '%{binding} %{must} utilizar %{target}'
       Uses: '%{binding} %{must} delegar'
+      UsesAnd: '%{binding} %{must} utilizar <i>%{operator_And}</i>'
       UsesAnonymousVariable: '%{binding} %{must} utilizar una variable anónima'
+      UsesBackwardComposition: '%{binding} %{must} utilizar <i>%{operator_BackwardComposition}</i>'
+      UsesBitwiseAnd: '%{binding} %{must} utilizar <i>%{operator_BitwiseAnd}</i>'
+      UsesBitwiseLeftShift: '%{binding} %{must} utilizar <i>%{operator_BitwiseLeftShift}</i>'
+      UsesBitwiseOr: '%{binding} %{must} utilizar <i>%{operator_BitwiseOr}</i>'
+      UsesBitwiseRightShift: '%{binding} %{must} utilizar <i>%{operator_BitwiseRightShift}</i>'
+      UsesBitwiseXor: '%{binding} %{must} utilizar <i>%{operator_BitwiseXor}</i>'
       UsesComposition: '%{binding} %{must} usar composición'
       UsesComprehension: '%{binding} %{must} emplear listas por comprensión'
       UsesConditional: '%{binding} %{must} utilizar condicionales'
       UsesCut: '%{binding} usa el operador !, lo cual es una mala práctica'
+      UsesDivide: '%{binding} %{must} utilizar <i>%{operator_Divide}</i>'
       UsesDyamicPolymorphism: '%{binding} %{must} usar polimorfismo'
       UsesDynamicMethodOverload: '%{binding} %{must} usar sobrecarga'
+      UsesEqual: '%{binding} %{must} utilizar <i>%{operator_Equal}</i>'
       UsesExceptionHandling: '%{binding} %{must} realizar manejo de excepciones'
       UsesExceptions: '%{binding} %{must} usar excepciones'
-      UsesFail: '%{binding} usa <i>%{keyword_fail}</li>, lo cual es una mala práctica'
+      UsesFail: '%{binding} usa <i>%{keyword_Fail}</li>, lo cual es una mala práctica'
       UsesFindall: '%{binding} %{must} utilizar <i>%{keyword_findall}</i>'
-      UsesForall: '%{binding} %{must} utilizar <i>%{keyword_forall}</i>'
-      UsesForeach: '%{binding} %{must} usar <i>%{keyword_foreach}</i>%{matching}'
-      UsesForLoop: '%{binding} %{must} usar <i>%{keyword_for}</i>%{matching}'
+      UsesForall: '%{binding} %{must} utilizar <i>%{keyword_Forall}</i>'
+      UsesForeach: '%{binding} %{must} usar <i>%{keyword_Foreach}</i>%{matching}'
+      UsesForLoop: '%{binding} %{must} usar <i>%{keyword_For}</i>%{matching}'
+      UsesForwardComposition: '%{binding} %{must} utilizar <i>%{operator_ForwardComposition}</i>'
+      UsesGreatherOrEqualThan: '%{binding} %{must} utilizar <i>%{operator_GreatherOrEqualThan}</i>'
+      UsesGreatherThan: '%{binding} %{must} utilizar <i>%{operator_GreatherThan}</i>'
       UsesGuards: '%{binding} %{must} usar guardas%{matching}'
-      UsesIf: '%{binding} %{must} usar <i>%{keyword_if}</i>%{matching}'
+      UsesHash: '%{binding} %{must} utilizar <i>%{operator_Hash}</i>'
+      UsesIf: '%{binding} %{must} usar <i>%{keyword_If}</i>%{matching}'
       UsesInheritance: '%{binding} %{must} usar herencia'
       UsesLambda: '%{binding} %{must} emplear expresiones lambda%{matching}'
-      UsesLogic: '%{binding} %{must} usar expresiones booleanas'
+      UsesLessOrEqualThan: '%{binding} %{must} utilizar <i>%{operator_LessOrEqualThan}</i>'
+      UsesLessThan: '%{binding} %{must} utilizar <i>%{operator_LessThan}</i>'
+      UsesLogic: '%{binding} %{must} usar operadores booleanos'
       UsesLoop: '%{binding} %{must} usar un bucle'
       UsesMath: '%{binding} %{must} usar expresiones matemáticas'
+      UsesMinus: '%{binding} %{must} utilizar <i>%{operator_Minus}</i>'
       UsesMixin: '%{binding} %{must} utilizar mixins'
       UsesMixins: '%{binding} %{must} usar mixins'
-      UsesNot: '%{binding} %{must} utilizar <i>%{keyword_not}</i>'
+      UsesModulo: '%{binding} %{must} utilizar <i>%{operator_Modulo}</i>'
+      UsesMultiply: '%{binding} %{must} utilizar <i>%{operator_Multiply}</i>'
+      UsesNegation: '%{binding} %{must} utilizar <i>%{operator_Negation}</i>'
+      UsesNot: '%{binding} %{must} utilizar <i>%{keyword_Not}</i>'
+      UsesNotEqual: '%{binding} %{must} utilizar <i>%{operator_NotEqual}</i>'
       UsesObjectComposition: '%{binding} %{must} usar composición'
+      UsesOr: '%{binding} %{must} utilizar <i>%{operator_Or}</i>'
+      UsesOtherwise: '%{binding} %{must} utilizar <i>%{operator_Otherwise}</i>'
       UsesPatternMatching: '%{binding} %{must} utilizar pattern matching'
-      UsesRepeat: '%{binding} %{must} usar <i>%{keyword_repeat}</i>%{matching}'
-      UsesRepeatOf: '%{binding} %{must} usar un <i>%{keyword_repeat}</i> de %{target}'
+      UsesPlus: '%{binding} %{must} utilizar <i>%{operator_Plus}</i>'
+      UsesRepeat: '%{binding} %{must} usar <i>%{keyword_Repeat}</i>%{matching}'
+      UsesRepeatOf: '%{binding} %{must} usar un <i>%{keyword_Repeat}</i> de %{target}'
       UsesStaticMethodOverload: '%{binding} %{must} usar sobrecarga'
       UsesStaticPolymorphism: '%{binding} %{must} usar polimorfismo'
-      UsesSwitch: '%{binding} %{must} utilizar un <i>%{keyword_switch}</i>'
+      UsesSwitch: '%{binding} %{must} utilizar un <i>%{keyword_Switch}</i>'
       UsesTemplateMethod: '%{binding} %{must} usar un método plantilla'
       UsesUnificationOperator: '%{binding} usa el operador de unificación (=)'
-      UsesWhile: '%{binding} %{must} utilizar un <i>%{keyword_while}</i>'
-      UsesYield: '%{binding} %{must} utilizar un <i>%{keyword_yield}</i>'
+      UsesWhile: '%{binding} %{must} utilizar un <i>%{keyword_While}</i>'
+      UsesYield: '%{binding} %{must} utilizar un <i>%{keyword_Yield}</i>'

data/lib/locales/pt.yml

@@ -6,7 +6,7 @@ pt:
       must: 'deve'
       solution: 'a solução'
       with_char: ' com o caractere <i>%{value}</i>'
-      with_false: ' com o valor <i>%{keyword_false}</i>'
+      with_false: ' com o valor <i>%{keyword_False}</i>'
       with_literal: ' com um valor literal'
       with_logic: ' com uma expressão booleana'
       with_math: ' com uma expressão matemática'
@@ -15,7 +15,7 @@ pt:
       with_number: ' com o número <i>%{value}</i>'
       with_string: ' com a string <i>%{value}</i>'
       with_symbol: ' com o símbolo <i>%{value}</i>'
-      with_true: ' com o valor <i>%{keyword_true}</i>'
+      with_true: ' com o valor <i>%{keyword_True}</i>'
     inspection:
       Assigns_except: '%{binding} %{must} atribuir algo diferente a %{target}%{matching}'
       Assigns_like: '%{binding} %{must} atribuir algo semelhante ao %{target}%{matching}'
@@ -47,7 +47,7 @@ pt:
       DeclaresComputationWithArity3_named: '%{target} %{must} tem três parâmetros'
       DeclaresComputationWithArity4_named: '%{target} %{must} tem quatro parâmetros'
       DeclaresComputationWithArity5_named: '%{target} %{must} tem cinco parâmetros'
-      DeclaresEntryPoint: '%{binding} %{must} declarar um ponto de entrada%{matching}'
+      DeclaresEntryPoint: '%{binding} %{must} declarar um <i>%{keyword_EntryPoint}</i>%{matching}'
       DeclaresEnumeration_except: '%{binding} %{must} declarar enumerações que não são chamadas %{target}'
       DeclaresEnumeration_like: '%{binding} %{must} declarar uma enumeração de nome semelhante a %{target}'
       DeclaresEnumeration_named: '%{binding} %{must} declarar uma enumeração %{target}'
@@ -101,30 +101,34 @@ pt:
       DeclaresVariable_like: '%{binding} %{must} declarar uma variável semelhante a %{target}%{matching}'
       DeclaresVariable_named: '%{binding} %{must} declarar uma variável %{target}%{matching}'
       DeclaresVariable: '%{binding} %{must} deve declarar variáveis%{matching}'
+      Delegates: '%{binding} %{must} delegar'
       DiscardsExceptions: '%{binding}  está silenciosamente ignorando exceções'
       DoesConsolePrint: '%{binding}  está fazendo impressões na tela'
-      DoesNilTest: '%{binding}  faz comparações contra <i>%{keyword_null}</i>'
-      DoesNullTest: '%{binding}  faz comparações contra <i>%{keyword_null}</i>'
+      DoesNilTest: '%{binding}  faz comparações contra <i>%{keyword_Null}</i>'
+      DoesNullTest: '%{binding}  faz comparações contra <i>%{keyword_Null}</i>'
       DoesTypeTest: '%{binding}  faz comparações contra strings'
-      HasAssignmentReturn: '%{binding}  retorna o resultado de uma tarefa'
+      HasAssignmentCondition: '%{binding} avalia o resultado de uma atribuição no qual uma expressão booleana era esperada. Talvez você queira usar o operador <i>%{operator_Equal}</i>?'
+      HasAssignmentReturn: '%{binding}  retorna o resultado de uma atribuição. Talvez você queira usar o operador <i>%{operator_Equal}</i>?'
       HasCodeDuplication: '%{binding}  tem código repetido'
-      HasEmptyIfBranches: '%{binding} tem vazio <i>%{keyword_if}</i> ramos'
-      HasEmptyRepeat: '%{binding} tem um <i>%{keyword_repeat}</i> vazio'
+      HasDeclarationTypos_named: 'A solução deve declarar %{target}, mas declara %{binding}. Você poderia ter cometido um erro de digitação?'
+      HasEmptyIfBranches: '%{binding} tem uma ramificaçao %{keyword_If} vazia'
+      HasEmptyRepeat: '%{binding} tem um <i>%{keyword_Repeat}</i> vazio'
       HasLongParameterList: '%{binding} tem muitos parâmetros. Você pode estar perdendo uma abstração.'
       HasMisspelledBindings: '%{binding}  está incorreto. Verifique a ortografia e tente não usar abreviaturas'
       HasMisspelledIdentifiers: '%{binding}  está incorreto. Verifique a ortografia e tente não usar abreviaturas'
       HasRedundantBooleanComparison: '%{binding}  faz comparações booleanas desnecessárias'
       HasRedundantGuards: '%{binding}  possui protetores desnecessários'
-      HasRedundantIf: '%{binding} <i>%{keyword_if}</i> desnecessário'
+      HasRedundantIf: '%{binding} <i>%{keyword_If}</i> desnecessário'
       HasRedundantLambda: '%{binding}  possui lambdas desnecessários'
       HasRedundantLocalVariableReturn: '%{binding}  usa variáveis ​​locais desnecessárias; você pode retornar a expressão diretamente'
       HasRedundantParameter: '%{binding}  possui parâmetros desnecessários (pode ser removido por ponto-livre)'
-      HasRedundantReduction: '%{binding}  usa <i>%{keyword_is}</i>, mas não executa cálculos'
-      HasRedundantRepeat: '%{binding} tem <i>%{keyword_repeat}</i> desnecessário'
+      HasRedundantReduction: '%{binding}  usa <i>%{keyword_Is}</i>, mas não executa cálculos'
+      HasRedundantRepeat: '%{binding} tem <i>%{keyword_Repeat}</i> desnecessário'
       HasTooManyMethods: '%{binding} tem muitos métodos'
       HasTooShortBindings: '%{binding}  é um identificador muito curto'
       HasTooShortIdentifiers: '%{binding} é um identificador muito curto'
       HasUnreachableCode: '%{binding} tem código inacessível'
+      HasUsageTypos_named: 'A solução deve usar %{target}, mas usa %{binding}. Você poderia ter cometido um erro de digitação?'
       HasWrongCaseBindings: '%{binding}  não respeita a convenção de nomenclatura'
       HasWrongCaseIdentifiers: '%{binding}  não respeita a convenção de nomenclatura'
       Implements_except: '%{binding} %{must} implementar interfaces diferentes de %{target}'
@@ -144,7 +148,6 @@ pt:
       Raises_except: '%{binding} %{must} lançar exceções diferentes de %{target}'
       Raises_like: '%{binding} %{must} lançar exceções semelhantes a %{target}'
       Raises_named: '%{binding} %{must} launch %{target}'
-      ShouldInvertIfCondition: '%{binding} deve inverter a condição da <i>%{keyword_if}</i> e trocar as ramos'
       Raises: '%{binding} %{must} lançar exceções'
       Rescues_except: '%{binding} %{must} capturar exceções que não sejam %{target}'
       Rescues_like: '%{binding} %{must} capturar exceções semelhantes a %{target}'
@@ -153,6 +156,9 @@ pt:
       Returns: '%{binding} %{must} retornar%{matching}'
       ReturnsNil: '%{binding}  retorna nulo, o que é uma prática ruim'
       ReturnsNull: '%{binding}  retorna nulo, o que é uma prática ruim'
+      ShouldInvertIfCondition: '%{binding} deve inverter a condição da <i>%{keyword_If}</i> e trocar as ramos'
+      SubordinatesDeclarationsTo: 'Todas as declarações em %{binding} %{must} ser usadas a partir de %{target}'
+      SubordinatesDeclarationsToEntryPoint: 'Todas as declarações em %{binding} %{must} devem ser usadas a partir de <i>%{keyword_EntryPoint}</i>'
       TypesAs_named: '%{binding} %{must} é do tipo %{target}'
       TypesAs: '%{binding} %{must} tem tipo'
       TypesReturnAs_named: '%{binding} %{must} tem tipo de valor de retorno %{target}'
@@ -161,36 +167,59 @@ pt:
       Uses_like: '%{binding} %{must} delegar algo semelhante ao %{target}'
       Uses_named: '%{binding} %{must} usar %{target}'
       Uses: '%{binding} %{must} delegar'
+      UsesAnd: '%{binding} %{must} utilizar <i>%{operator_And}</i>'
       UsesAnonymousVariable: '%{binding} %{must} usar uma variável anônima'
+      UsesBackwardComposition: '%{binding} %{must} utilizar <i>%{operator_BackwardComposition}</i>'
+      UsesBitwiseAnd: '%{binding} %{must} utilizar <i>%{operator_BitwiseAnd}</i>'
+      UsesBitwiseLeftShift: '%{binding} %{must} utilizar <i>%{operator_BitwiseLeftShift}</i>'
+      UsesBitwiseOr: '%{binding} %{must} utilizar <i>%{operator_BitwiseOr}</i>'
+      UsesBitwiseRightShift: '%{binding} %{must} utilizar <i>%{operator_BitwiseRightShift}</i>'
+      UsesBitwiseXor: '%{binding} %{must} utilizar <i>%{operator_BitwiseXor}</i>'
       UsesComposition: '%{binding} %{must} usar a composição'
       UsesComprehension: '%{binding} %{must} usar listas pelo entendimento'
       UsesConditional: '%{binding} %{must} usar conditional'
       UsesCut: '%{binding}  usa o operador !, que é uma má prática'
+      UsesDivide: '%{binding} %{must} utilizar <i>%{operator_Divide}</i>'
       UsesDyamicPolymorphism: '%{binding} %{must} usar polimorfismo'
       UsesDynamicMethodOverload: '%{binding} %{must} usar sobrecarga'
+      UsesEqual: '%{binding} %{must} utilizar <i>%{operator_Equal}</i>'
       UsesExceptionHandling: '%{binding} %{must} executar o tratamento de exceção'
       UsesExceptions: '%{binding} %{must} usar exceções'
-      UsesFail: '%{binding}  usa <i>%{keyword_fail}</li>, o que é uma prática ruim'
+      UsesFail: '%{binding}  usa <i>%{keyword_Fail}</li>, o que é uma prática ruim'
       UsesFindall: '%{binding} %{must} usar <i>%{keyword_findall}</i>'
-      UsesForall: '%{binding} %{must} usar <i>%{keyword_forall}</i>'
-      UsesFor: '%{binding} %{must} usar <i>%{keyword_for}</i>%{matching}'
-      UsesForeach: '%{binding} %{must} usar <i>%{keyword_foreach}</i>%{matching}'
+      UsesFor: '%{binding} %{must} usar <i>%{keyword_For}</i>%{matching}'
+      UsesForall: '%{binding} %{must} usar <i>%{keyword_Forall}</i>'
+      UsesForeach: '%{binding} %{must} usar <i>%{keyword_Foreach}</i>%{matching}'
+      UsesForwardComposition: '%{binding} %{must} utilizar <i>%{operator_ForwardComposition}</i>'
+      UsesGreatherOrEqualThan: '%{binding} %{must} utilizar <i>%{operator_GreatherOrEqualThan}</i>'
+      UsesGreatherThan: '%{binding} %{must} utilizar <i>%{operator_GreatherThan}</i>'
       UsesGuards: '%{binding} %{must} usar guardas%{matching}'
-      UsesIf: '%{binding} %{must} usar <i>%{keyword_if}</i>%{matching}'
+      UsesHash: '%{binding} %{must} utilizar <i>%{operator_Hash}</i>'
+      UsesIf: '%{binding} %{must} usar <i>%{keyword_If}</i>%{matching}'
       UsesInheritance: '%{binding} %{must} usar herança'
       UsesLambda: '%{binding} %{must} usar expressões lambda%{matching}'
+      UsesLessOrEqualThan: '%{binding} %{must} utilizar <i>%{operator_LessOrEqualThan}</i>'
+      UsesLessThan: '%{binding} %{must} utilizar <i>%{operator_LessThan}</i>'
+      UsesLogic: '%{binding} %{must} usar operadores booleanos'
       UsesLoop: '%{binding} %{must} usar um loop%{matching}'
-      UsesLogic: '%{binding} %{must} usar expressões booleanas'
       UsesMath: '%{binding} %{must} usar expressões matemáticas'
+      UsesMinus: '%{binding} %{must} utilizar <i>%{operator_Minus}</i>'
       UsesMixins: '%{binding} %{must} usar mixins'
-      UsesNot: '%{binding} %{must} usar <i>%{keyword_not}</i>'
+      UsesModulo: '%{binding} %{must} utilizar <i>%{operator_Modulo}</i>'
+      UsesMultiply: '%{binding} %{must} utilizar <i>%{operator_Multiply}</i>'
+      UsesNegation: '%{binding} %{must} utilizar <i>%{operator_Negation}</i>'
+      UsesNot: '%{binding} %{must} usar <i>%{keyword_Not}</i>'
+      UsesNotEqual: '%{binding} %{must} utilizar <i>%{operator_NotEqual}</i>'
       UsesObjectComposition: '%{binding} %{must} usar composição'
+      UsesOr: '%{binding} %{must} utilizar <i>%{operator_Or}</i>'
+      UsesOtherwise: '%{binding} %{must} utilizar <i>%{operator_Otherwise}</i>'
       UsesPatternMatching: '%{binding} %{must} usar o padrão de correspondência'
-      UsesRepeat: '%{binding} %{must} usar <i>%{keyword_repeat}</i>%{matching}'
-      UsesRepeatOf: '%{binding} %{must} usar uma <i>%{keyword_repeat}</i> de %{target}'
+      UsesPlus: '%{binding} %{must} utilizar <i>%{operator_Plus}</i>'
+      UsesRepeat: '%{binding} %{must} usar <i>%{keyword_Repeat}</i>%{matching}'
+      UsesRepeatOf: '%{binding} %{must} usar uma <i>%{keyword_Repeat}</i> de %{target}'
       UsesStaticMethodOverload: '%{binding} %{must} usar sobrecarga'
       UsesStaticPolymorphism: '%{binding} %{must} usar polimorfismo'
-      UsesSwitch: '%{binding} %{must} usar um <i>%{keyword_switch}</i>'
+      UsesSwitch: '%{binding} %{must} usar um <i>%{keyword_Switch}</i>'
       UsesTemplateMethod: '%{binding} %{must} usar um _template method_'
       UsesUnificationOperator: '%{binding}  usa o operador de unificação (=)'
-      UsesWhile: '%{binding} %{must} usar um <i>%{keyword_while}</i>%{matching}'
+      UsesWhile: '%{binding} %{must} usar um <i>%{keyword_While}</i>%{matching}'

data/lib/mulang/expectation.rb

@@ -1,12 +1,43 @@
 module Mulang::Expectation
-  SMELLS = %w(DiscardsExceptions DoesConsolePrint DoesNilTest DoesNullTest DoesTypeTest
-              HasAssignmentReturn HasCodeDuplication HasEmptyIfBranches HasEmptyRepeat HasRedundantRepeat HasLongParameterList
-              HasMisspelledBindings HasMisspelledIdentifiers
-              HasRedundantBooleanComparison HasRedundantGuards HasRedundantIf
-              HasRedundantLambda HasRedundantLocalVariableReturn HasRedundantParameter
-              HasRedundantReduction HasTooManyMethods HasTooShortBindings HasTooShortIdentifiers HasUnreachableCode
-              HasWrongCaseBinding HasWrongCaseIdentifiers IsLongCode OverridesEqualOrHashButNotBoth
-              ReturnsNil ReturnsNull ShouldInvertIfCondition UsesCut UsesFail UsesUnificationOperator)
+  SMELLS = %w(
+    DiscardsExceptions
+    DoesConsolePrint
+    DoesNilTest
+    DoesNullTest
+    DoesTypeTest
+    HasAssignmentReturn
+    HasAssignmentCondition
+    HasCodeDuplication
+    HasDeclarationTypos
+    HasEmptyIfBranches
+    HasEmptyRepeat
+    HasLongParameterList
+    HasMisspelledBindings
+    HasMisspelledIdentifiers
+    HasRedundantBooleanComparison
+    HasRedundantGuards
+    HasRedundantIf
+    HasRedundantLambda
+    HasRedundantLocalVariableReturn
+    HasRedundantParameter
+    HasRedundantReduction
+    HasRedundantRepeat
+    HasTooManyMethods
+    HasTooShortBindings
+    HasTooShortIdentifiers
+    HasUnreachableCode
+    HasUsageTypos
+    HasWrongCaseBinding
+    HasWrongCaseIdentifiers
+    IsLongCode
+    OverridesEqualOrHashButNotBoth
+    ReturnsNil
+    ReturnsNull
+    ShouldInvertIfCondition
+    ShouldUseOtherwise
+    UsesCut
+    UsesFail
+    UsesUnificationOperator)
 
   def self.guess_type(expectation)
     if expectation[:binding] == '<<custom>>'
@@ -19,7 +50,7 @@ module Mulang::Expectation
   end
 
   def self.has_smell?(smell)
-    SMELLS.include? smell
+    SMELLS.include? smell.split(':').first
   end
 
   def self.parse(expectation)

data/lib/mulang/expectation/i18n.rb

@@ -1,45 +1,69 @@
 module Mulang::Expectation::I18n
   class << self
-    DEFAULT_KEYWORDS = {
-      keyword_fail: :fail,
-      keyword_false: :false,
-      keyword_findall: :findall,
-      keyword_for: :for,
-      keyword_forall: :forall,
-      keyword_foreach: :foreach,
-      keyword_if: :if,
-      keyword_is: :is,
-      keyword_not: :not,
-      keyword_null: :null,
-      keyword_repeat: :repeat,
-      keyword_switch: :switch,
-      keyword_true: :true,
-      keyword_while: :while,
-      keyword_yield: :yield
-    }
+    DEFAULT_TOKENS = {
+      keyword_EntryPoint: 'program',
+      keyword_Fail: 'fail',
+      keyword_False: 'false',
+      keyword_findall: 'findall',
+      keyword_For: 'for',
+      keyword_Forall: 'forall',
+      keyword_Foreach: 'foreach',
+      keyword_If: 'if',
+      keyword_Is: 'is',
+      keyword_Not: 'not',
+      keyword_Null: 'null',
+      keyword_Repeat: 'repeat',
+      keyword_Switch: 'switch',
+      keyword_True: 'true',
+      keyword_While: 'while',
+      keyword_Yield: 'yield',
+      operator_And: '&&',
+      operator_BackwardComposition: '.',
+      operator_Divide: '/',
+      operator_Equal: '==',
+      operator_ForwardComposition: '>>',
+      operator_GreatherOrEqualThan: '>=',
+      operator_GreatherThan: '>',
+      operator_Hash: 'hash',
+      operator_LessOrEqualThan: '<=',
+      operator_LessThan: '<',
+      operator_Minus: '-',
+      operator_Multiply: '*',
+      operator_Negation: '!',
+      operator_NotEqual: '!=',
+      operator_Or: '||',
+      operator_Otherwise: 'otherwise',
+      operator_Plus: '+',
+      operator_Modulo: '%',
+      operator_BitwiseOr: '|',
+      operator_BitwiseAnd: '&',
+      operator_BitwiseXor: '^',
+      operator_BitwiseLeftShift: '<<',
+      operator_BitwiseRightShift: '>>'
+    }.transform_values { |v| CGI::escapeHTML(v) }.freeze
 
-    def translate(e, keywords = nil)
-      translate!(e, keywords)
+    def translate(e, tokens = nil)
+      translate!(e, tokens)
     rescue
       '<unknown expectation>'
     end
 
-    def translate!(e, keywords = nil)
+    def translate!(e, tokens = nil)
       e = e.as_v2
       key = key_for e.binding, e.inspection
-      ::I18n.t key, translation_params(e, keywords)
+      ::I18n.t key, translation_params(e, tokens)
     end
 
     alias t translate
 
     private
 
-    def translation_params(e, keywords)
-      with_keywords keywords,
+    def translation_params(e, tokens)
+      with_tokens tokens,
                     binding: t_binding(e.binding),
                     target: t_target(e.inspection),
                     must: t_must(e.inspection),
-                    matching: t_matching(keywords, e.inspection)
+                    matching: t_matching(tokens, e.inspection)
     end
 
     def key_for(binding, inspection)
@@ -58,12 +82,12 @@ module Mulang::Expectation::I18n
       "<strong>#{parsed.target.value}</strong>" if parsed.target
     end
 
-    def t_matching(keywords, parsed)
-      ::I18n.t("mulang.expectation.#{parsed.matcher.type}", with_keywords(keywords, value: parsed.matcher.value)) if parsed.matcher
+    def t_matching(tokens, parsed)
+      ::I18n.t("mulang.expectation.#{parsed.matcher.type}", with_tokens(tokens, value: parsed.matcher.value)) if parsed.matcher
     end
 
-    def with_keywords(keywords, params)
-      params.merge(DEFAULT_KEYWORDS).merge(keywords || {})
+    def with_tokens(tokens, params)
+      params.merge(DEFAULT_TOKENS).merge(tokens || {})
     end
   end
 end

data/lib/mulang/expectation/standard.rb

@@ -11,12 +11,12 @@ class Mulang::Expectation::Standard
     raise "Wrong inspection #{to_h}" unless inspection?
   end
 
-  def translate(keywords = nil)
-    Mulang::Expectation::I18n.translate self, keywords
+  def translate(tokens = nil)
+    Mulang::Expectation::I18n.translate self, tokens
   end
 
-  def translate!(keywords = nil)
-    Mulang::Expectation::I18n.translate! self, keywords
+  def translate!(tokens = nil)
+    Mulang::Expectation::I18n.translate! self, tokens
   end
 
   def to_h
@@ -72,7 +72,7 @@ class Mulang::Expectation::V0 < Mulang::Expectation::Standard
   end
 
   def as_v2_use
-    Mulang::Expectation::V2.new binding, new_inspection(inspection.type.gsub('Has', 'Uses'), nil)
+    Mulang::Expectation::V2.new binding, new_inspection(inspection.type.gsub(/^Has/, 'Uses'), nil)
   end
 
   def as_v2_declare(simple_type)

data/lib/mulang/version.rb

@@ -1,4 +1,4 @@
 module Mulang
-  VERSION = "5.2.0"
-  MULANG_VERSION = "5.2.0"
+  VERSION = "5.3.0"
+  MULANG_VERSION = "5.3.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mulang
 version: !ruby/object:Gem::Version
-  version: 5.2.0
+  version: 5.3.0
 platform: ruby
 authors:
 - Franco Bulgarelli
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2020-03-27 00:00:00.000000000 Z
+date: 2020-04-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: mumukit-core