org.checkerframework.qualframework.poly.format

Class SurfaceSyntaxQualParamsFormatter.AnnotationParts

java.lang.Object

org.checkerframework.qualframework.poly.format.SurfaceSyntaxQualParamsFormatter.AnnotationParts

Enclosing class:

SurfaceSyntaxQualParamsFormatter<Q>

public static class SurfaceSyntaxQualParamsFormatter.AnnotationParts
extends Object

Object to generate an annotation String from an Annotation name and a map of values. We generate annotation output for annotations that don't actually exist, so we cant use something like AnnotationBuilder which requires the element of the annotation.

Constructor Summary

Constructors

Constructor and Description
AnnotationParts(String name)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
String	getName()
int	hashCode()
void	put(String key, String value)
void	putQuoted(String key, String value)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AnnotationParts

public AnnotationParts(String name)

Method Detail

putQuoted

public void putQuoted(String key,
                      String value)

put

public void put(String key,
                String value)

getName

public String getName()

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