public interface Annotation
Modifier and Type | Method and 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() |
void addElement(AnnotationElement<?> element)
element
- elementName
- java.util.Set<java.lang.String> getElementNames()
boolean containsElement(java.lang.String elementName)
elementName
- AnnotationElement<?> getElement(java.lang.String elementName)
elementName
-