Annotation.Kind

Object
- Kind

Enclosing class:

Annotation
```
@UsesObjectEquals
public static class Annotation.Kind
extends Object
```
A class representing the kind of an annotation. An invariant is either Kind.enter, Kind.exit, or Kind.objectInvariant For well-formed Annotations, the following holds:
```
    a.kind == Kind.enter
 || a.kind == Kind.exit
 || a.kind == Kind.objectInvariant
 
```

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static Annotation.Kind enter
  
  static Annotation.Kind exit
  
  String name
  
  static Annotation.Kind objectInvariant
  
  String xmlname
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int hashCode()
  
  String toString()
  
  String xmlString()
  - Methods inherited from class Object
    clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

name
```
public final String name
```

xmlname
```
public final String xmlname
```

enter

public static final Annotation.Kind enter

exit

public static final Annotation.Kind exit

objectInvariant

public static final Annotation.Kind objectInvariant

Method Detail

hashCode

@Pure
public int hashCode(@GuardSatisfied @UnknownSignedness Annotation.Kind this)

Overrides:: hashCode in class Object

toString

@SideEffectFree
public String toString(@GuardSatisfied Annotation.Kind this)

Overrides:: toString in class Object

xmlString
```
public String xmlString()
```