public class PragmaAnnotation extends Annotation
| Modifier and Type | Class and Description |
|---|---|
static class |
PragmaAnnotation.Event
Pragma annotation type for event timer.
|
static class |
PragmaAnnotation.Range
Pragma annotation type for range annotation.
|
| Constructor and Description |
|---|
PragmaAnnotation()
Constructs an empty pragma annotation.
|
PragmaAnnotation(java.lang.String pragma)
Constructs a simple pragma with raw string.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
containsKeys(java.util.Collection<java.lang.String> keys)
Checks if the specified keys all exist in the key set.
|
java.lang.String |
getName()
Returns the name of this pragma annotation.
|
static PragmaAnnotation |
parse(java.lang.String note)
Returns a pragma annotation object after parsing the given text contents.
|
void |
toCommentAnnotation()
Converts the pragma annotation to a comment annotation.
|
java.lang.String |
toString()
Returns the string representation of this pragma annotation.
|
attach, clone, detach, get, getAnnotatable, hideAnnotations, setPosition, setSkipPrint, toStringpublic PragmaAnnotation()
public PragmaAnnotation(java.lang.String pragma)
public java.lang.String getName()
public boolean containsKeys(java.util.Collection<java.lang.String> keys)
public java.lang.String toString()
toString in class Annotationpublic static PragmaAnnotation parse(java.lang.String note)
note - the text part of a pragma.public void toCommentAnnotation()