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

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

Revision: 16767
          http://sourceforge.net/p/rodin-b-sharp/svn/16767
Author:   gverdier
Date:     2025-02-27 10:33:20 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Clean-up use of genericity

In particular, missing type parameters have been added.

Modified Paths:
--------------
    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/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/state/ILabelTable.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/src/ac/soton/genericinstantiation/internal/core/sc/symbolTable/LabelTable.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/editors/ColorManager.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/explorer/model/GenericInstantiationModelController.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/wizards/GenericInstantiationWizard.java
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.ui/src/ac/soton/genericinstantiation/ui/wizards/InitialWizardPage.java

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