diff --git a/input/do-not-extend-java-lang-error.xmi b/input/do-not-extend-java-lang-error.xmi index 44369110adc0ac573e064bd4f27e0ab874a7cadb..e33ef75049fc757ed17662872a574d504469032d 100644 --- a/input/do-not-extend-java-lang-error.xmi +++ b/input/do-not-extend-java-lang-error.xmi @@ -7,7 +7,11 @@ - + + + + + @@ -17,8 +21,8 @@ - - + + diff --git a/input/do-not-extend-java-lang-throwable.xmi b/input/do-not-extend-java-lang-throwable.xmi index 2e189824f929fde5e2de872f2d8be1282317d4ef..f6095bd1faee6180970c6997ef1ed57621a0a0e5 100644 --- a/input/do-not-extend-java-lang-throwable.xmi +++ b/input/do-not-extend-java-lang-throwable.xmi @@ -17,13 +17,21 @@ + + + + + + + + - - + + - + @@ -48,4 +56,5 @@ + diff --git a/src/main/atl/design.atl b/src/main/atl/design.atl index 8fb88812f5a9a41d608b33fa91f69fca0d9fba63..e844abf64a819ae2b2184d214505907bc4e4ea44 100644 --- a/src/main/atl/design.atl +++ b/src/main/atl/design.atl @@ -74,7 +74,7 @@ helper def: doNotExtendJavaLangError() : Set(smm!Measure) = -- select all class create by the user ->select(it2| it2.proxy = false) -- select all class who extend Error - ->select(it3| it3.superClass.type.name = 'Error') + ->select(it3| it3.superClass.type.name = 'Error' or it3.superClass.type.name = 'java.lang.Error') -- collect all results and send an error message ->collect(it4|thisModule.MeasureDoNotExtendJavaLangError(it4)) ; diff --git a/src/main/atl/errorProne.atl b/src/main/atl/errorProne.atl index 45d2a7e9d4421d904e3eff4f84322321f9d280a1..5c974bc41d90e50be3b28e67d3c0d91f46e64633 100644 --- a/src/main/atl/errorProne.atl +++ b/src/main/atl/errorProne.atl @@ -26,7 +26,7 @@ helper def: doNotExtendJavaLangThrowable() : Set(smm!Measure) = -- select all class create by the user ->select(it2| it2.proxy = false) -- select all class who extend Throwable - ->select(it3| it3.superClass.type.name = 'Throwable') + ->select(it3| it3.superClass.type.name = 'Throwable' or it3.superClass.type.name = 'java.lang.Throwable') -- collect all results and send an error message ->collect(it4|thisModule.MeasureDoNotExtendJavaLangThrowable(it4)) ;