|
From: Commits f. t. S. r. <rod...@li...> - 2025-02-27 10:33:22
|
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.
|