Seeds management

The elements marked as seeds by the user are displayed in the Seeds view: From Eclipse's menu select Window -> Show View -> Other... -> FINT and open the Seeds View.

Seeds description

The seeds are described by their associated program elements, the id of the technique used for their identification, and a description of the concern associated with the seed.

The user can add/modify the description of the seed's concern, sort the seeds in the view by each of the view's columns, save the seeds to a file and restore them from a file. A seed can also be removed from the view by selecting this option from the seed-element's context menu.