Metadata Applicator

Metadata applicator is another tool in VKB that supports incremental formalization. This feature allows users to extract meta information from existing symbols to be used later. Extracted meta information can be edited and can be applied to selected symbols in different ways. Switching between sets of extracted or edited meta information is easy using the pull-down selection and is saved with a user's configuration data.

This applicator (shown below) can be activated from the menu "View" / "Attribute Applicator Toolbar".

1. Metadata Managing Tool : to add/delete/edit metadatas elements of active set and rearranging the display sequence of metadata elements. From within the managing tool, each metadata element can be edited with the metadata editor.
2. Metadata Extracting Tool : to extract meta information from selected symbols. Extracted meta information will become buttons (5) or pull-down-lists (6) on the right side of the tool bar.
3. Attribute Apply mode : Toggle between replacing or appending values for attributes that have the same name.
4. Metadata Set Selection List : Available metadata sets can be selected from this pull down list. The selected set becomes the active set.
5. A pull-down button applies only one attribute and/or value to the selected symbols. Right-clicking on the button will open the metadata editor.
6. A push button applies the whole set of attributes and values to the selected symbols. Right-clicking on the button will open the metadata editor.
7. A mini scroll bar for scrolling metadata buttons appears in the metadata applicator toolbars when there are more metadat buttons than the toolbar can display.