* @param annotationName the fully qualified name of the annotation
* @return the contract type, null if not contracts
*/
ElementKind getAnnotationKindForName(AnnotationMirror annotation) {
String annotationName = annotation.getAnnotationType().toString();
ElementKind kind;
if (annotationName.equals("com.google.java.contract.Invariant")) {
kind = ElementKind.INVARIANT;
} else if (annotationName.equals("com.google.java.contract.Requires")) {
kind = ElementKind.REQUIRES;
} else if (annotationName.equals("com.google.java.contract.Ensures")) {