Modifier and Type | Method and Description |
---|---|
Value |
forgetExcludedIncludedStrings()
Constructs a value from this value but with no excluded or included strings.
|
java.util.Set<java.lang.String> |
getAllKnownStr()
Returns the set of all known strings.
|
java.util.Set<java.lang.String> |
getExcludedStrings()
Returns the strings that are explicitly excluded, or null if none.
|
java.util.Set<java.lang.String> |
getIncludedStrings()
Returns the strings that are explicitly included, or null if none.
|
java.lang.String |
getPrefix()
Returns the prefix value.
|
java.lang.String |
getStr()
Returns the singleton string value.
|
boolean |
isMaybeAllKnownStr()
Returns true if the value contains only known strings (possibly beside values of other type).
|
boolean |
isMaybeAnyStr()
Returns true if this value is maybe any string (ignoring excluded strings).
|
boolean |
isMaybeFuzzyStr()
Returns true if this value is maybe a non-singleton string.
|
boolean |
isMaybeOtherThanStr()
Returns true if this value may be a non-string.
|
boolean |
isMaybeSingleStr()
Returns true if value is maybe a singleton string.
|
boolean |
isMaybeStr(java.lang.String s)
Checks whether the given string is matched by this value.
|
boolean |
isMaybeStrIdentifier()
Returns true if this value is maybe any identifier string (ignoring excluded strings).
|
boolean |
isMaybeStrJSON()
Returns true if this value maybe originates from a JSON source.
|
boolean |
isMaybeStrOnlyUInt()
Returns true if this value is maybe any UInt string but not a non-UInt string (ignoring excluded strings).
|
boolean |
isMaybeStrOther()
Returns true if this value is maybe any non-number, non-identifier-parts string (ignoring excluded strings).
|
boolean |
isMaybeStrOtherIdentifierParts()
Returns true if this value is maybe any string consisting of identifier parts,
ignoring identifier strings and UInt strings (and ignoring excluded strings).
|
boolean |
isMaybeStrOtherNum()
Returns true if this value is maybe any (unbounded) non-UInt number string, including Infinity, -Infinity, and NaN (ignoring excluded strings).
|
boolean |
isMaybeStrPrefix()
Returns true if this value is maybe a fixed nonempty prefix string (ignoring excluded strings).
|
boolean |
isMaybeStrSomeNonNumeric()
Returns true if this value is maybe a non-numeric string.
|
boolean |
isMaybeStrSomeNonUInt()
Returns true if this value is maybe a non-UInt string.
|
boolean |
isMaybeStrSomeNumeric()
Returns true if this value is maybe some numeric string.
|
boolean |
isMaybeStrSomeUInt()
Returns true if this value is maybe some UInt string.
|
boolean |
isMaybeStrUInt()
Returns true if this value is maybe any UInt string (ignoring excluded strings).
|
boolean |
isNotStr()
Returns true if this value is definitely not a string.
|
boolean |
isStrIdentifier()
Returns true if this value is definitely an identifier string.
|
boolean |
isStrIdentifierParts()
Returns true if this value is definitely an identifier-parts string.
|
boolean |
isStrJSON()
Returns true if this value is definitely originating from a JSON source.
|
boolean |
isStrMayContainSubstring(Str other)
Checks whether this string value may contain the given substring.
|
Value |
joinAnyStr()
Constructs a value as the join of this value and any string.
|
Value |
joinAnyStrIdentifier()
Constructs a value as the join of this value and any identifier string.
|
Value |
joinAnyStrIdentifierParts()
Constructs a value as the join of this value and any identifier-parts string.
|
Value |
joinAnyStrOther()
Constructs a value as the join of this value and any non-number, non-identifier-parts string (including NaN and +/-Infinity).
|
Value |
joinAnyStrOtherNum()
Constructs a value as the join of this value and any non-UInt number string (excluding NaN and +/-Infinity).
|
Value |
joinAnyStrUInt()
Constructs a value as the join of this value and any UInt string.
|
Value |
joinPrefix(java.lang.String v)
Constructs a value as the join of this value and the given prefix string.
|
Value |
joinStr(java.lang.String v)
Constructs a value as the join of this value and the given concrete string.
|
boolean |
mustContainNonIdentifierCharacters()
Checks whether all strings represented by this abstract value contain a non-identifier character.
|
boolean |
mustOnlyBeIdentifierCharacters()
Checks whether all strings represented by this abstract value contain only identifier characters.
|
Value |
restrictToNotStr()
Constructs a value from this value but definitely not a string.
|
Value |
restrictToNotStrIdentifierParts()
Constructs a value from this value but excluding the category of all strings that consist of identifier parts.
|
Value |
restrictToNotStrings(java.util.Set<java.lang.String> strings)
Constructs a value from this value but, if possible, with the given strings removed.
|
Value |
restrictToNotStrOtherNum()
Constructs a value from this value but excluding the category of all strings that
represent unbounded non-UInt32 numbers, including Infinity, -Infinity, and NaN.
|
Value |
restrictToNotStrPrefix()
Constructs a value from this value but excluding the category of all strings that consist of a fixed nonempty prefix string.
|
Value |
restrictToNotStrUInt()
Constructs a value from this value but excluding the category of all UInt strings.
|
Value |
restrictToStr()
Constructs a value from this value where only the string facet is considered.
|
Value forgetExcludedIncludedStrings()
java.util.Set<java.lang.String> getAllKnownStr()
isMaybeAllKnownStr()
returns true.java.util.Set<java.lang.String> getExcludedStrings()
java.util.Set<java.lang.String> getIncludedStrings()
java.lang.String getPrefix()
isMaybeStrPrefix()
returns true.java.lang.String getStr()
isMaybeSingleStr()
returns true.boolean isMaybeAllKnownStr()
boolean isMaybeAnyStr()
boolean isMaybeFuzzyStr()
boolean isMaybeOtherThanStr()
boolean isMaybeSingleStr()
boolean isMaybeStr(java.lang.String s)
boolean isMaybeStrIdentifier()
boolean isMaybeStrJSON()
boolean isMaybeStrOnlyUInt()
boolean isMaybeStrOther()
boolean isMaybeStrOtherIdentifierParts()
boolean isMaybeStrOtherNum()
boolean isMaybeStrPrefix()
boolean isMaybeStrSomeNonNumeric()
boolean isMaybeStrSomeNonUInt()
boolean isMaybeStrSomeNumeric()
boolean isMaybeStrSomeUInt()
boolean isMaybeStrUInt()
boolean isNotStr()
boolean isStrIdentifier()
boolean isStrIdentifierParts()
boolean isStrJSON()
boolean isStrMayContainSubstring(Str other)
AnalysisException
- if the abstract values are maybe non-stringsValue joinAnyStr()
Value joinAnyStrIdentifier()
Value joinAnyStrIdentifierParts()
Value joinAnyStrOther()
Value joinAnyStrOtherNum()
Value joinAnyStrUInt()
Value joinPrefix(java.lang.String v)
Value joinStr(java.lang.String v)
boolean mustContainNonIdentifierCharacters()
boolean mustOnlyBeIdentifierCharacters()
Value restrictToNotStr()
Value restrictToNotStrIdentifierParts()
Value restrictToNotStrings(java.util.Set<java.lang.String> strings)
Value restrictToNotStrOtherNum()
Value restrictToNotStrPrefix()
Value restrictToNotStrUInt()
Value restrictToStr()
Copyright © 2009-2019 Aarhus University