Annotation (VariantFinder)

All Known Implementing Classes:

AnnotationImpl
```
public interface Annotation
```
Wrapper for all the annotations that can be assigned to a single element of a transition system (i.e., state or transition)

Author:

abolt

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`addElement(AnnotationElement<?> element)`	Add an annotation element (e.g., frequency annotation, elapsed time) The element should provide its own name (to be stored here)
`boolean`	`containsElement(java.lang.String elementName)`
`AnnotationElement<?>`	`getElement(java.lang.String elementName)`
`java.util.Set<java.lang.String>`	`getElementNames()`

- Method Detail
  - addElement
```
void addElement(AnnotationElement<?> element)
```
    Add an annotation element (e.g., frequency annotation, elapsed time) The element should provide its own name (to be stored here)
    
    Parameters:
    
    element -
    
    elementName -
  - getElementNames
```
java.util.Set<java.lang.String> getElementNames()
```
    Returns:
    
    the names of the annotation elements stored in this annotation wrapper
  - containsElement
```
boolean containsElement(java.lang.String elementName)
```
    Parameters:
    
    elementName -
    
    Returns:
    
    true if it contains an annotation element with that name
  - getElement
```
AnnotationElement<?> getElement(java.lang.String elementName)
```
    Parameters:
    
    elementName -
    
    Returns:
    
    the annotation element