org.checkerframework.checker.experimental.regex_qual

Class Regex.RegexVal

java.lang.Object

org.checkerframework.checker.experimental.regex_qual.Regex

org.checkerframework.checker.experimental.regex_qual.Regex.RegexVal

Enclosing class:

Regex

public static class Regex.RegexVal
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
RegexVal(int count)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object o)
int	getCount()
int	hashCode()
boolean	isRegexVal()
String	toString()

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

isPartialRegex

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexVal

public RegexVal(int count)

Method Detail

getCount

public int getCount()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

isRegexVal

public boolean isRegexVal()

Overrides:

isRegexVal in class Regex

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Regex