daikon.tools.jtb
Class Annotation.Kind

Object
  Annotation.Kind

Enclosing class:

Annotation

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

static Annotation.Kind	enter
static Annotation.Kind	exit
String	name
static Annotation.Kind	objectInvariant
String	xmlname

Method Summary

boolean	equals(Object o)
int	hashCode()
String	toString()
String	xmlString()

Methods inherited from class Object

clone, 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

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

xmlString

public String xmlString()