org.checkerframework.checker.experimental.regex_qual

Class Regex

java.lang.Object

org.checkerframework.checker.experimental.regex_qual.Regex

Direct Known Subclasses:

Regex.PartialRegex, Regex.RegexVal

public abstract class Regex
extends Object

Qualifier for the Regex-Qual type system. The static instances TOP and BOTTOM are used as the top and bottom of the hierarchy. Regex.PartialRegex is used to track string values that are not value regex. Regex.RegexVal is used to track valid regex values with a count of the number of groups.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Regex.PartialRegex
static class	Regex.RegexVal

Field Summary

Fields

Modifier and Type	Field and Description
static Regex	BOTTOM
static Regex	TOP

Constructor Summary

Constructors

Constructor and Description
Regex()

Method Summary

Modifier and Type	Method and Description
boolean	isPartialRegex()
boolean	isRegexVal()
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

TOP

public static final Regex TOP

BOTTOM

public static final Regex BOTTOM

Constructor Detail

Regex

public Regex()

Method Detail

isRegexVal

public boolean isRegexVal()

isPartialRegex

public boolean isPartialRegex()

toString

public String toString()

Overrides:

toString in class Object