Finding Unused Identifiers

Applications that are around for a while clearly have value to the organization. However, some identifiers such as sets, parameters, variables, and procedures in that application may no longer be used, because:

  1. They were created for analyzing and testing a particular circumstance. Once the circumstance is handled, the corresponding identifiers can be removed.

  2. As the application evolves, some functionality may become obsolete.

There are some disadvantages of having obsolete identifiers in the application:

  1. It may confuse your successor, as he/she wonders why an obsolete identifier was added.

  2. For a defined parameter or set, it may take up a significant amount of memory and thereby also increase the size of cases.

Significant applications have a multitude of identifiers. Therefore, it is not easy to identify those identifiers that are obsolete.

In this article, a small library is presented that helps identify the identifiers that are no longer used. This library consists of three parts, each checking the use of identifiers in:

  1. the model.

  2. the WinUI.

  3. the WebUI.

But before presenting the library itself, lets introduce the example, and how the library is going to be used, to put the code presented into context.

Example used in this article

The code illustrated in this article is based on an artificial model whereby:

  1. A little bit of code is in the main model.

  2. A few objects are created on a WinUI page.

  3. A few widgets are created on a WebUI page.

To this AIMMS 4.81 project download

Most of the code is in a small library refIds that can be copied to your project. In addition, the zip file contains the file fu.ams, which is an example of using the library.

It is easy to copy a library and a section, as explained in these two references:

Using the library in your application

An AIMMS application consists of at least a model, and may also contain a WinUI user interface, and may contain a WebUI user interface.

To search for identifiers in these three major software components is different. That is why the library refIds has a procedure that has

  1. As input a set of identifiers for which we would like to know whether they are used or not.

  2. As output a binary parameter that indicates whether or not it is used in the model.

  3. As output a binary parameter that indicates whether or not it is used in the WinUI interface.

  4. As output a binary parameter that indicates whether or not it is used in the WebUI interface.

Creating the set of identifiers that need to be checked for usage

^An example of creating the input set is as follows:

1s_setSearched :=
2    ( Main_fi - Test_section_find_identifiers )
3    *
4    ( AllProcedures + AllParameters + AllSets ) ;

Remarks:

  1. Line 2, the sections to be included and excluded; you may want to add application specific libraries here. You don’t want system libraries such as AIMMS PRO and AIMMS WebUI to be included here; these libraries are read only anyway.

  2. Lines 3-4: the selection of identifier types. Likely you don’t want to include all identifier types, but if you do, just omit this intersection.

Creating the subset of obsolete identifiers

Once the use of an identifier in the model, the WinUI, and the WebUI is determined; it is straightforward to determine the collection of unused identifiers, as illustrated below:

1s_unused := { i_ci |
2    ( not bp_isUsedInModel( i_ci ) ) and
3    ( not bp_isUsedInWinUI( i_ci ) ) and
4    ( not bp_isUsedInWebUI( i_ci ) )     };

Localizing an identifier

By clicking on the model explorer, you make sure that the icon bar of the AIMMS IDE is focused on supporting model development.

  1. To find the declaration in the model of a particular identifier, use the icon search-icon or use the AIMMS Menu command Edit > Find....

    Then type the name of an identifier you want to find, for instance p_sqr in the example model:

    ../../_images/search-dialog.png

    Press the declaration button, and then the model explorer will open at the declaration of the identifier searched:

    ../../_images/model-tree-at-searched-identifier.png

    An alternative is to use the identifier info dialog invoked by the hotkey F11.

  2. To find all references of an identifier, use the icon search-all-icon or use the AIMMS Menu Command Edit > Find All.... follow the dialog to obtain all references of that identifier in the model.

Are identifiers used in the model?

In this section, the AIMMS code is discussed that checks whether identifiers are used in the model.

The predeclared function ReferencedIdentifiers is key to finding which identifiers are referenced by a certain identifier. Once this information is stored, it can be transposed, and thus the identifiers that are used in the model can be identified. See the following code fragment:

 1s_attributesSearched := AllAttributeNames - data { interface, comment } ;
 2for IndexIdentifiers do
 3    _s_helper := { IndexIdentifiers } ;
 4    _s_referencedIdentifiers :=
 5        ReferencedIdentifiers(
 6            searchIdentSet :  _s_helper,
 7            searchAttrSet  :  s_attributesSearched,
 8            recursive      :  0);
 9    _s_addedSets := {} ;
10    for _i_ri | IdentifierType( _i_ri ) = 'index'  do
11        _ep_referencedSet := indexRange( _i_ri ) ;
12        if _ep_referencedSet in AllIdentifiers then
13            _s_addedSets += _ep_referencedSet ;
14        endif ;
15    endfor ;
16    _s_referencedIdentifiers += _s_addedSets ;
17    is_uses( IndexIdentifiers ) := _s_referencedIdentifiers ;
18endfor ;
19bp_uses( i_fromId, i_toId ) := i_toId in is_uses( i_fromId );
20bp_isUsedInModel( i_ci ) := exists( i_fromId | bp_uses( i_fromId, i_ci ) );

There are some remarks regarding the above code:

  1. Line 1: Referencing an identifier in the attributes interface or comment does not make the identifier “used” in the application.

  2. Line 2: Even though the procedure that does the checking only reports on a limited number of identifiers, the searching for an identifier use is over all the identifiers.

  3. Lines 4-8: Key in the search is the AIMMS intrinsic function ReferencedIdentifiers.

  4. Lines 9-16: When an index is used, the usual range of that index is the set in which it is declared. Thus using an index, the corresponding set is considered as being used as well.

  5. Line 17: Firstly, we store per identifier, a set of identifiers that it uses.

  6. Line 19: The indexed set is converted to a binary parameter, a referenced identifier incidence matrix.

  7. Line 10: For each of the identifiers of interest, we check whether it is present in the referenced identifier incidence matrix.

Caveats

  1. The above code omits identifiers that are used as an element in the set AllIdentifiers. For instance, in the following declaration of an element parameter, the procedure pr_myProc is used to determine the signature of procedures that can be assigned to element parameter ep_someProc and subsequently be applied.

    1ElementParameter ep_someProc {
    2    Range: AllProcedures;
    3    Default: 'pr_myProc'
    4}
    
  2. The identifiers referenced in the annotation are not found. For instance:

    1Parameter p_a {
    2    webui::UponChangeProcedure: pr_uponChangeA;
    3}
    

    Finding the references of p_a will not find pr_uponChangeA, because webui::UponChangeProcedure is not an element of AllAttributeNames.

Are identifiers used in the WinUI?

In this section, the AIMMS code is discussed that checks whether identifiers are used in the WinUI interface, if any.

To mark all identifiers used on WinUI pages, the functions PageGetAll and PageGetUsedIdentifiers can be used. This is straightforward implemented in the code below:

 1empty bp_isUsedInWinUI ;
 2_bp_pga := PageGetAll( _s_pages );
 3if _bp_pga then
 4    for _i_pg do
 5        sp_pageName := formatString( "%e", _i_pg );
 6        _bp_pgui := PageGetUsedIdentifiers( sp_pageName, s_identifiersOnPage );
 7        if not _bp_pgui then
 8            raise warning "Obtaining identifiers from page " + sp_pageName + " failed: " + CurrentErrorMessage ;
 9        endif ;
10        bp_isUsedInWinUI( i_iop ) := 1;
11    endfor ;
12endif ;

Remarks:

  1. Line 10: The index i_iop is an index in the set s_identifiersOnPage.

Are identifiers used in the WebUI?

In this section, the AIMMS code is discussed that checks whether identifiers are used in the WebUI interface, if any.

There are no special functions to visit all identifiers in the WebUI. However, since AIMMS 4.67, the WebUI is presented in just one file. So by reading that file, and subsequently searching for the presence of each identifier of interest in that file, we can determine whether or not that identifier is used in the WebUI.

1empty bp_isUsedInWebUI ;
2_sp_fn := ".\\MainProject\\WebUI\\webui.json" ;
3if FileExists( _sp_fn ) then
4    _sp_webuiText := FileRead( _sp_fn );
5    bp_isUsedInWebUI( i_ci ) := 1 $ FindString( _sp_webuiText, i_ci, caseSensitive: 0, wordOnly: 1 );
6endif ;

Caveat

As the above code is based on a simple text search, when an identifier is used in a title displaying data from other identifiers, then this may lead to a false positive.