[Rodin-commit] SF.net SVN: rodin-b-sharp:[16768] trunk/Generic_Ins tantiation

[Commits f. t. S. r. <rod...@li...>]

Revision: 16768
          http://sourceforge.net/p/rodin-b-sharp/svn/16768
Author:   gverdier
Date:     2025-02-27 10:33:41 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Reduce use of restricted APIs and remove some warnings

When possible, restricted APIs are not used anymore. For what remains,
warnings are better handled: some useless @SuppressWarnings have been
removed and a few ones have been added when needed.

Modified Paths:
--------------
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/PatternModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesEventModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/AbstractEventBTests.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/BuilderTest.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/sc/GIPOGTests.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/GenericInstantiationImage.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/AbstractRenamesAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/AbstractReplacesAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesAbsPatternContextAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesAbstractAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternContextAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternProjectAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/InstantiatesPatternttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/RefinesProblemAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/ReplacesInstanceConstantAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/ReplacesInstanceSetAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/eventbeditor/manipulation/SeesProblemContextAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/internal/ui/explorer/navigator/decorator/GIPOStatusDec.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.