public interface Str
| Modifier and Type | Method and Description |
|---|---|
String |
getPrefix()
Returns the prefix value, or null if definitely not a fixed nonempty string followed by identifier parts.
|
String |
getStr()
Returns the singleton string value, or null if definitely not a singleton string.
|
boolean |
isMaybeAnyStr()
Returns true if this value is maybe any string.
|
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(String s)
Checks whether the given string is matched by this value.
|
boolean |
isMaybeStrIdentifier()
Returns true if this value is maybe any identifier string.
|
boolean |
isMaybeStrIdentifierParts()
Returns true if this value is maybe any string consisting of identifier parts.
|
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.
|
boolean |
isMaybeStrOther()
Returns true if this value is maybe any non-number, non-identifier-parts string.
|
boolean |
isMaybeStrOtherNum()
Returns true if this value is maybe any (unbounded) non-UInt number string, including Infinity, -Infinity, and NaN.
|
boolean |
isMaybeStrPrefixedIdentifierParts()
Returns true if this value is maybe a fixed nonempty string followed by identifier parts.
|
boolean |
isMaybeStrSomeNonUInt()
Returns true if this value is maybe a non-UInt 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.
|
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 |
isStrIdentifierOrIdentifierParts()
Returns true if this value is definitely an identifier or identifier-parts string.
|
boolean |
isStrJSON()
Returns true if this value is definitely originating from a JSON source.
|
Value |
joinAnyStr()
Constructs a value as the join of this value and maybe any string.
|
Value |
joinAnyStrIdentifier()
Constructs a value as the join of this value and maybe any identifier string.
|
Value |
joinAnyStrIdentifierParts()
Constructs a value as the join of this value and maybe any identifier-parts string.
|
Value |
joinAnyStrOther()
Constructs a value as the join of this value and maybe any non-number, non-identifier-parts string (including NaN and +/-Infinity).
|
Value |
joinAnyStrOtherNum()
Constructs a value as the join of this value and maybe any non-UInt number string (excluding NaN and +/-Infinity).
|
Value |
joinAnyStrUInt()
Constructs a value as the join of this value and maybe any UInt string.
|
Value |
joinPrefixedIdentifierParts(String v)
Constructs a value as the join of this value and the given prefixed identifier-parts string.
|
Value |
joinStr(String v)
Constructs a value as the join of this value and the given concrete string.
|
Value |
restrictToNotStr()
Constructs a value from this value but definitely not a string.
|
Value |
restrictToStr()
Constructs a value from this value where only the string facet is considered.
|
String getPrefix()
String getStr()
boolean isMaybeAnyStr()
boolean isMaybeFuzzyStr()
boolean isMaybeOtherThanStr()
boolean isMaybeSingleStr()
boolean isMaybeStr(String s)
boolean isMaybeStrIdentifier()
boolean isMaybeStrIdentifierParts()
boolean isMaybeStrJSON()
boolean isMaybeStrOnlyUInt()
boolean isMaybeStrOther()
boolean isMaybeStrOtherNum()
boolean isMaybeStrPrefixedIdentifierParts()
boolean isMaybeStrSomeNonUInt()
boolean isMaybeStrSomeUInt()
boolean isMaybeStrUInt()
boolean isNotStr()
boolean isStrIdentifier()
boolean isStrIdentifierOrIdentifierParts()
boolean isStrJSON()
Value joinAnyStr()
Value joinAnyStrIdentifier()
Value joinAnyStrIdentifierParts()
Value joinAnyStrOther()
Value joinAnyStrOtherNum()
Value joinAnyStrUInt()
Value joinPrefixedIdentifierParts(String v)
Value joinStr(String v)
Value restrictToNotStr()
Value restrictToStr()
Copyright © 2012 Aarhus University