Interface PluginAttribute

All Superinterfaces:
Documentable<PluginAttribute>, Identity, PluginElement<PluginAttribute>
All Known Implementing Classes:
MockPluginAttribute

public interface PluginAttribute extends PluginElement<PluginAttribute>
This interface abstracts plug-in attribute, a <ID,VALUE> pair. Plug-in attributes are not involved into JPF runtime internal logic and intended to be used by plug-in developers.
Version:
$Id$
  • Method Details

    • getValue

      String getValue()
      Returns:
      attribute value as it is specified in manifest
    • getSubAttributes

      Collection<PluginAttribute> getSubAttributes()
      Returns:
      collection of all sub-attributes of this attribute
    • getSubAttribute

      PluginAttribute getSubAttribute(String id)
      Parameters:
      id - ID of sub-attribute to look for
      Returns:
      sub-attribute with given ID
    • getSubAttributes

      Collection<PluginAttribute> getSubAttributes(String id)
      Parameters:
      id - ID of sub-attribute to look for
      Returns:
      collection of all sub-attributes with given ID
    • getSuperAttribute

      PluginAttribute getSuperAttribute()
      Returns:
      attribute, of which this one is child or null if this is top level attribute