org.checkerframework.qualframework.base.format

Class DefaultQualFormatter<Q>

java.lang.Object

org.checkerframework.qualframework.base.format.DefaultQualFormatter<Q>

All Implemented Interfaces:

QualFormatter<Q>

public class DefaultQualFormatter<Q>
extends Object
implements QualFormatter<Q>

DefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual.

Constructor Summary

Constructors

Constructor and Description
DefaultQualFormatter(Set<?> invisibleQualifiers)

Method Summary

Modifier and Type	Method and Description
String	format(Q q) Format a qualifier into a String.
String	format(Q q, boolean printInvisibles) Format a qualifier into a String.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultQualFormatter

public DefaultQualFormatter(Set<?> invisibleQualifiers)

Method Detail

format

public String format(Q q)

Description copied from interface: QualFormatter

Format a qualifier into a String. Prints invisible qualifiers.

Specified by:

format in interface QualFormatter<Q>

Parameters:

q - the qualifier

Returns:

the String representation of q

format

public String format(Q q,
                     boolean printInvisibles)

Description copied from interface: QualFormatter

Format a qualifier into a String.

Specified by:

format in interface QualFormatter<Q>

Parameters:

q - the qualifier

printInvisibles - if true, invisible qualifiers will be printed

Returns:

the String representation of q, or null if q was invisible and print invisible was false