org.checkerframework.checker.experimental.regex_qual

Class Regex.PartialRegex

java.lang.Object

org.checkerframework.checker.experimental.regex_qual.Regex

org.checkerframework.checker.experimental.regex_qual.Regex.PartialRegex

Enclosing class:

Regex

public static class Regex.PartialRegex
extends Regex

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.checker.experimental.regex_qual.Regex

Regex.PartialRegex, Regex.RegexVal

Field Summary

Fields inherited from class org.checkerframework.checker.experimental.regex_qual.Regex

BOTTOM, TOP

Constructor Summary

Constructors

Constructor and Description
PartialRegex(String partialValue)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
String	getPartialValue()
int	hashCode()
boolean	isPartialRegex()
String	toString()

Methods inherited from class org.checkerframework.checker.experimental.regex_qual.Regex

isRegexVal

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialRegex

public PartialRegex(String partialValue)

Method Detail

getPartialValue

public String getPartialValue()

isPartialRegex

public boolean isPartialRegex()

Overrides:

isPartialRegex in class Regex

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 Regex