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

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

Revision: 16765
          http://sourceforge.net/p/rodin-b-sharp/svn/16765
Author:   gverdier
Date:     2025-02-27 10:32:44 +0000 (Thu, 27 Feb 2025)
Log Message:
-----------
Declare item relationships in plugin.xml and update test

Since Rodin 3.0, we can't just declare internal elements and attribute
types in the plugin.xml, we must also declare their relationships. These
have been added.

The only test in the project has also been fixed to use new APIs to
create internal elements correctly.

Modified Paths:
--------------
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.core/plugin.xml
    trunk/Generic_Instantiation/ac.soton.genericInstantiation.tests/src/ac/soton/genericinstantiation/core/tests/sc/GIStaticCheckTests.java

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