Development Log

  • GNAT Pro
    May 20th, 2016

    ASIS: new query Is_Generalized_Indexing
    A new query Is_Generalized_Indexing is added to Asis.Expressions. It checks if the argument expression Element should be considered as generalized indexing according to ARM 4.1.5.