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

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

Revision: 16764
          http://sourceforge.net/p/rodin-b-sharp/svn/16764
Author:   gverdier
Date:     2025-02-27 10:32:27 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Fix compilation errors when targeting Rodin 3.8+

As the plug-in was made for Rodin 2.x, some APIs have changed since. In
particular:
- LanguageVersion has been removed
- many explicit FormulaFactory parameters are not needed anymore
- some exception specifications have changed
- some internal APIs that were used are now in exported packages

Modified Paths:
--------------
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/ISCInstantiatesPattern.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/basis/SCInstantiatesPattern.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/EventBUtils.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/core/utils/Util.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/GIInvariantTable.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/InstanceRenamedTheoremTable.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionBodySimulationModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionFrameSimulationModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventActionUtilityModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventHypothesesModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventRefinementInvariantModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIEventStrengthenGuardModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GIHypothesesModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/pog/modules/GINewEventInvariantModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/MachineInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/ParameterisationInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/PatternInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/AbstractUtilModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitAxiomsPatternsModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/CommitSCEventsModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesParameterFilterModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/RenamesVariableFilterModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/ReplacesConstantFilterModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/modules/ReplacesSetFilterModule.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/state/IMachineInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/state/IPatternInfo.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/AbstractEventBTests.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/InstantiatesPatternProjectAttributeManipulation.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/actions/GenericInstantiation.java

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