org.checkerframework.checker.experimental.regex_qual

Class RegexQualChecker

java.lang.Object

org.checkerframework.qualframework.base.Checker<Regex>

org.checkerframework.checker.experimental.regex_qual.RegexQualChecker

All Implemented Interfaces:

BaseContext, QualifierContext<Regex>

@StubFiles(value="apache-xerces.astub")
public class RegexQualChecker
extends Checker<Regex>

Checker for the Regex-Qual type system.

Constructor Summary

Constructors

Constructor and Description
RegexQualChecker()

Method Summary

Modifier and Type	Method and Description
protected RegexQualifiedTypeFactory	createTypeFactory() Constructs the QualifiedTypeFactory for use by this Checker.

Methods inherited from class org.checkerframework.qualframework.base.Checker

createQualifiedTypeFormatter, getAnnotationProvider, getChecker, getCheckerAdapter, getContext, getElementUtils, getInvisibleQualifiers, getOptionConfiguration, getProcessingEnvironment, getQualifiedTypeUtils, getTreeUtils, getTypeFactory, getTypeUtils

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexQualChecker

public RegexQualChecker()

Method Detail

createTypeFactory

protected RegexQualifiedTypeFactory createTypeFactory()

Description copied from class: Checker

Constructs the QualifiedTypeFactory for use by this Checker.

Specified by:

createTypeFactory in class Checker<Regex>