Value (TAJS)

java.lang.Object
- dk.brics.tajs.lattice.Value

All Implemented Interfaces:: Bool, Null, Num, PKeys, Str, Undef, DeepImmutable

public final class Value
extends java.lang.Object
implements Undef, Null, Bool, Num, Str, PKeys, DeepImmutable

Abstract value. Value objects are immutable.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`assertNonEmpty()` Checks that this value is non-empty (or polymorphic).
`void`	`cleanupIncludedExcluded(Value r)`
`boolean`	`containsObjectLabel(ObjectLabel objlabel)` Returns true if this value contains the given object label.
`void`	`diff(Value old, java.lang.StringBuilder b)` Returns a description of the changes from the old value to this value.
`boolean`	`equals(java.lang.Object obj)` Checks whether the given object is equal to this one.
`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<ObjectLabel>`	`getAllObjectLabels()` Returns the (immutable) set of object labels.
`java.util.Set<java.lang.String>`	`getExcludedStrings()` Returns the strings that are explicitly excluded, or null if none.
`java.util.Set<ObjectLabel>`	`getGetters()` Returns the (immutable) set of getters.
`java.util.Set<java.lang.String>`	`getIncludedStrings()` Returns the strings that are explicitly included, or null if none.
`java.lang.Double`	`getNum()` Returns the singleton number value, or null if definitely not a singleton number.
`java.util.Set<ObjectLabel>`	`getObjectLabels()` Returns the (immutable) set of object labels (including symbols).
`ObjectProperty`	`getObjectProperty()` Returns the object property.
`java.util.Set<SourceLocation>`	`getObjectSourceLocations()` Returns the source locations of the objects and symbols in this value.
`java.lang.String`	`getPrefix()` Returns the prefix value.
`java.util.Set<ObjectLabel>`	`getSetters()` Returns the (immutable) set of setters.
`java.lang.String`	`getStr()` Returns the singleton string value.
`java.util.Set<ObjectLabel>`	`getSymbols()` Returns the (immutable) set of object labels representing symbols.
`boolean`	`hasDontDelete()` Returns true if this value has DontDelete information.
`boolean`	`hasDontEnum()` Returns true if this value has DontEnum information.
`int`	`hashCode()` Returns the hash code for this value.
`boolean`	`hasReadOnly()` Returns true if this value has ReadOnly information.
`boolean`	`isDontDelete()` Returns true is this value belongs to a property which definitely has DontDelete set.
`boolean`	`isDontEnum()` Returns true is this value belongs to a property which definitely has DontEnum set.
`boolean`	`isExtendedScope()` Returns true if this value is marked as having extended scope.
`boolean`	`isInf()` Returns true if this value is definitely infinite.
`boolean`	`isMaybeAbsent()` Returns true if this value belongs to a maybe absent property.
`boolean`	`isMaybeAllKnownStr()` Returns true if the value contains only known strings (possibly beside values of other type).
`boolean`	`isMaybeAnyBool()` Returns true if this value is maybe any boolean.
`boolean`	`isMaybeAnyNum()` Returns true if this value is maybe any number.
`boolean`	`isMaybeAnyNumNotNaNInf()` Returns true if this value is maybe any number but not NaN or infinite.
`boolean`	`isMaybeAnyStr()` Returns true if this value is maybe any string (ignoring excluded strings).
`boolean`	`isMaybeDontDelete()` Returns true is this value belongs to a property which maybe has DontDelete set.
`boolean`	`isMaybeDontEnum()` Returns true is this value belongs to a property which maybe has DontEnum set.
`boolean`	`isMaybeFalse()` Returns true if this value is maybe false.
`boolean`	`isMaybeFalseButNotTrue()` Returns true if this value is maybe false but not true.
`boolean`	`isMaybeFuzzyNum()` Returns true if this value is maybe a non-singleton number or NaN or +/-Inf.
`boolean`	`isMaybeFuzzyStr()` Returns true if this value is maybe a non-singleton string.
`boolean`	`isMaybeFuzzyStrOrSymbol()` Returns true if this value is maybe a non-singleton string or a non-singleton symbol.
`boolean`	`isMaybeGetter()` Returns true if this value maybe represents a getter.
`boolean`	`isMaybeGetterOrSetter()` Returns true if this value maybe represents a getter or setter.
`boolean`	`isMaybeInf()` Returns true if this value is maybe infinite.
`boolean`	`isMaybeModified()` Checks whether this value is marked as maybe modified.
`boolean`	`isMaybeNaN()` Returns true if this value is maybe NaN.
`boolean`	`isMaybeNotDontDelete()` Returns true is this value belongs to a property which maybe does not have DontDelete set.
`boolean`	`isMaybeNotDontEnum()` Returns true is this value belongs to a property which maybe does not have DontEnum set.
`boolean`	`isMaybeNotReadOnly()` Returns true is this value belongs to a property which maybe does not have ReadOnly set.
`boolean`	`isMaybeNull()` Returns true if this value is maybe null.
`boolean`	`isMaybeNum(double num)` Returns true if the given number is matched by this value.
`boolean`	`isMaybeNumOther()` Returns true if this value is maybe any non-UInt, non-Inf, and non-NaN number.
`boolean`	`isMaybeNumUInt()` Returns true if this value is maybe any UInt number.
`boolean`	`isMaybeNumUIntPos()` Returns true is this value may be any positive UInt32.
`boolean`	`isMaybeObject()` Returns true if this value maybe represents an object.
`boolean`	`isMaybeObjectOrSymbol()` Returns true if this value maybe represents an object or a symbol.
`boolean`	`isMaybeOtherThanBool()` Returns true if this value is maybe a non-boolean.
`boolean`	`isMaybeOtherThanNull()` Returns true if this value is maybe some other than null.
`boolean`	`isMaybeOtherThanNum()` Returns true if this value is maybe a non-number.
`boolean`	`isMaybeOtherThanNumUInt()` Returns true if this value is maybe a non-UInt-number.
`boolean`	`isMaybeOtherThanStr()` Returns true if this value may be a non-string.
`boolean`	`isMaybeOtherThanStrOrSymbol()` Returns true if this value may be a non-property-key.
`boolean`	`isMaybeOtherThanSymbol()`
`boolean`	`isMaybeOtherThanUndef()` Returns true if this value is maybe some other than undefined.
`boolean`	`isMaybePolymorphicPresent()` Returns true if this value is maybe present in the polymorphic part.
`boolean`	`isMaybePresent()` Returns true if this value is maybe present.
`boolean`	`isMaybePresentAccessor()` Returns true if this value is maybe present as a getter/setter property.
`boolean`	`isMaybePresentData()` Returns true if this value is maybe present as a data property.
`boolean`	`isMaybePresentOrUnknown()` Returns true if this value is maybe present or 'unknown'.
`boolean`	`isMaybePrimitive()` Returns true if this value may be a primitive, including undefined, null.
`boolean`	`isMaybePrimitiveOrSymbol()` Returns true if this value may be a non-object, including undefined, null, and symbols.
`boolean`	`isMaybeReadOnly()` Returns true is this value belongs to a property which maybe has ReadOnly set.
`boolean`	`isMaybeSameNumber(Value v)` Returns true if this number value is maybe the same as the given one.
`boolean`	`isMaybeSameNumberWhenNegated(Value v)` Returns true if this number value is maybe the same as the given one when negated.
`boolean`	`isMaybeSetter()` Returns true if this value maybe represents a setter.
`boolean`	`isMaybeSingleAllocationSite()` Returns true is this value contains exactly one object source location.
`boolean`	`isMaybeSingleNum()` Returns true if this value is maybe a singleton number, excluding NaN and +/-Inf.
`boolean`	`isMaybeSingleNumUInt()` Returns true if this value is maybe a singleton UInt number.
`boolean`	`isMaybeSingleObjectLabel()` Returns true is this value contains exactly one object label.
`boolean`	`isMaybeSingleStr()` Returns true if value is maybe a singleton string.
`boolean`	`isMaybeSingleStrOrSymbol()` Returns true if this value is maybe a singleton string or a singleton symbol (but not both).
`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`	`isMaybeSymbol()` Returns true if this value may be a symbol.
`boolean`	`isMaybeTrue()` Returns true if this value is maybe true.
`boolean`	`isMaybeTrueButNotFalse()` Returns true if this value is maybe true but not false.
`boolean`	`isMaybeUndef()` Returns true if this value is maybe undefined.
`boolean`	`isMaybeZero()` Returns true is this value may be the number 0.
`boolean`	`isNaN()` Returns true if this value is definitely NaN.
`boolean`	`isNone()` Returns true if this abstract value represents no concrete values.
`boolean`	`isNotAbsent()` Returns true if this value belongs to a definitely present property.
`boolean`	`isNotASingletonObject()` Returns true if this value does not contain a singleton object label.
`boolean`	`isNotASummarizedObject()` Returns true if this value does not contain a summarized object label.
`boolean`	`isNotBool()` Returns true if this value is definitely not a boolean.
`boolean`	`isNotDontDelete()` Returns true is this value belongs to a property which definitely does not have DontDelete set.
`boolean`	`isNotDontEnum()` Returns true is this value belongs to a property which definitely does not have DontEnum set.
`boolean`	`isNotNull()` Returns true if this value is definitely not null.
`boolean`	`isNotNum()` Returns true if this value is definitely not a number.
`boolean`	`isNotPresent()` Returns true if this value is definitely not present.
`boolean`	`isNotPresentNotAbsent()` Returns true if this value is definitely not present and not absent.
`boolean`	`isNotReadOnly()` Returns true is this value belongs to a property which definitely does not have ReadOnly set.
`boolean`	`isNotStr()` Returns true if this value is definitely not a string.
`boolean`	`isNotUndef()` Returns true if this value is definitely not undefined.
`boolean`	`isNullOrUndef()` Returns true if this value is definitely null or undefined.
`boolean`	`isPolymorphic()` Checks whether this value is polymorphic.
`boolean`	`isPolymorphicOrUnknown()` Checks whether this value is polymorphic or 'unknown'.
`boolean`	`isReadOnly()` Returns true is this value belongs to a property which definitely has ReadOnly set.
`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.
`static boolean`	`isUInt32(double v)` Checks whether the given number is a UInt32.
`boolean`	`isUnknown()` Returns true if this value is 'unknown'.
`static Value`	`join(java.util.Collection<Value> values)` Constructs a value as the join of the given collection of values.
`static Value`	`join(Value... values)` Constructs a value as the join of the given collection of values.
`Value`	`join(Value v)` Constructs a value as the join of this value and the given value.
`Value`	`join(Value v, boolean widen)` Constructs a value as the join of this value and the given value.
`Value`	`joinAbsent()` Constructs a value as a copy of this value but marked as maybe absent.
`Value`	`joinAbsentModified()` Constructs a value as a copy of this value but marked as maybe absent and maybe modified.
`Value`	`joinAnyBool()` Constructs a value as the join of this value and any boolean.
`Value`	`joinAnyNum()` Constructs a value as the join of this value and any number.
`Value`	`joinAnyNumOther()` Constructs a value as the join of this value and any non-UInt number (excluding NaN and +/-Infinity).
`Value`	`joinAnyNumUInt()` Constructs a value as the join of this value and any UInt number.
`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`	`joinBool(boolean x)` Constructs a value as the join of this value and the given concrete boolean value.
`Value`	`joinBool(Value x)` Constructs a value as the join of this value and the given concrete boolean value.
`Value`	`joinGettersSetters(Value v)` Joins the getters and setters from v into this value.
`Value`	`joinMeta(Value v)` Joins the meta-information from v into this value.
`Value`	`joinModified()` Constructs a value as a copy of this value but marked as maybe modified.
`Value`	`joinNotDontDelete()` Constructs a value as a copy of this value but with DontDelete maybe not set.
`Value`	`joinNotDontEnum()` Constructs a value as a copy of this value but with DontEnum maybe not set.
`Value`	`joinNotReadOnly()` Constructs a value as a copy of this value but with ReadOnly maybe not set.
`Value`	`joinNull()` Constructs a value as the join of this value and null.
`Value`	`joinNum(double v)` Constructs a value as the join of this value and the given concrete number.
`Value`	`joinNumInf()` Constructs a value as the join of this value and +/-Inf.
`Value`	`joinNumNaN()` Constructs a value as the join of this value and NaN.
`Value`	`joinObject(ObjectLabel objlabel)` Constructs a value as the join of this value and the given object label.
`Value`	`joinPrefix(java.lang.String s)` Constructs a value as the join of this value and the given prefix string.
`Value`	`joinStr(java.lang.String s)` Constructs a value as the join of this value and the given concrete string.
`Value`	`joinUndef()` Constructs a value as the join of this value and undefined.
`static Value`	`makeAbsent()` Constructs the absent value.
`static Value`	`makeAbsentModified()` Constructs the absent modified value.
`static Value`	`makeAnyBool()` Constructs the value representing any boolean.
`static Value`	`makeAnyNum()` Constructs the value describing any number.
`static Value`	`makeAnyNumNotNaNInf()` Constructs the value describing number except NaN and infinity.
`static Value`	`makeAnyNumOther()` Constructs the value describing any non-UInt, non-+/-Inf, non-NaN number.
`static Value`	`makeAnyNumUInt()` Constructs the value describing any UInt number.
`static Value`	`makeAnyNumUIntPos()` Constructs the value describing any positive UInt number.
`static Value`	`makeAnyStr()` Constructs the value describing any string.
`static Value`	`makeAnyStrIdent()` Constructs the value describing any identifier string.
`static Value`	`makeAnyStrNotNumeric()` Constructs the value describing any non-numeric string.
`static Value`	`makeAnyStrNotUInt()` Constructs the value describing any non-UInt string.
`static Value`	`makeAnyStrNumeric()` Constructs the value describing any numeric string.
`static Value`	`makeAnyStrOtherNum()` Constructs the value describing any string containing non-UInt32 numbers, including Infinity, -Infinity, and NaN.
`static Value`	`makeAnyStrUInt()` Constructs the value describing any UInt string.
`static Value`	`makeBool(Bool b)` Constructs the value describing the given Bool.
`static Value`	`makeBool(boolean b)` Constructs the value describing the given boolean.
`Value`	`makeExtendedScope()` Returns a value as this one but marked as having extended scope.
`Value`	`makeGetter()` Converts the object labels in this value into getters.
`static Value`	`makeJSONStr()` Constructs the value describing any JSON string.
`static Value`	`makeNone()` Constructs the empty abstract value (= bottom, if not considering 'unknown').
`static Value`	`makeNoneModified()` Constructs the empty abstract value that is marked as modified.
`Value`	`makeNonPolymorphic()` Constructs a fresh non-polymorphic value using the attributes (excluding presence) of the given value.
`static Value`	`makeNull()` Constructs the value describing definitely null.
`static Value`	`makeNum(double d)` Constructs the value describing the given number.
`static Value`	`makeNumInf()` Constructs the value describing +/-Inf.
`static Value`	`makeNumNaN()` Constructs the value describing NaN.
`static Value`	`makeObject(ObjectLabel v)` Constructs the value describing the given object label.
`static Value`	`makeObject(java.util.Set<ObjectLabel> v)` Constructs the value describing the given object labels.
`Value`	`makePolymorphic(ObjectProperty prop)` Constructs a fresh polymorphic value from the attributes (including absence and presence) of this value.
`Value`	`makeSetter()` Converts the object labels in this value into setters.
`static Value`	`makeStr(java.lang.String s)` Constructs the value describing the given string.
`static Value`	`makeStrings(java.util.Collection<java.lang.String> strings)` Constructs a new value representing the given strings.
`static Value`	`makeStringsAndSymbols(java.util.Collection<PKey> properties)` Constructs a new value representing the given strings and symbols.
`static Value`	`makeSymbol(ObjectLabel v)` Constructs the value describing the given symbol object label.
`static Value`	`makeTemporaryStr(java.lang.String s)` Constructs a temporary value describing the given string.
`static Value`	`makeUndef()` Constructs the value describing definitely undefined.
`static Value`	`makeUnknown()` Constructs the unknown value.
`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.
`java.lang.String`	`printAttributes()` Produces a string description of the attributes of this value.
`java.lang.String`	`printFlags()`
`Value`	`removeAttributes()` Constructs a value as a copy of the given value but with all attributes definitely not set.
`Value`	`removeObjects(java.util.Set<ObjectLabel> objs)` Constructs a value as a copy of this value but with the given object labels removed.
`Value`	`replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel)` Returns a copy of this value where the given object label has been replaced, if present.
`Value`	`replaceValue(Value v)` Constructs a value as a copy of the given value but with the attributes from this value.
`static void`	`reset()` Resets the cache.
`Value`	`restrictToAttributes()` Constructs a value as a copy of this value but for reading attributes.
`Value`	`restrictToBool()` Constructs a value from this value where only the boolean facet is considered.
`Value`	`restrictToFalsy()` Constructs a value as a copy of this value but definitely not truthy.
`Value`	`restrictToFunction()` Constructs a value as a copy of this value but only with functions.
`Value`	`restrictToGetter()` Constructs a value as a copy of this value but only with getter values.
`Value`	`restrictToGetterSetter()` Constructs a value as a copy of this value but only with getter/setter values.
`Value`	`restrictToLooseEquals(Value v)` Returns a value that models a safe approximation of the intersection of this value and the given value, using loose equality.
`Value`	`restrictToLooseNotEquals(Value v)` Returns a value that models a safe approximation of this value minus the given value, using loose equality.
`Value`	`restrictToNonAttributes()` Constructs a value as a copy of this value but with all attributes set to bottom.
`Value`	`restrictToNonSymbolObject()` Constructs a value as a copy of this value but only with non-symbol object values.
`Value`	`restrictToNotAbsent()` Constructs a value as a copy of this value but definitely not absent.
`Value`	`restrictToNotBool()` Constructs a value as a copy of this value but definitely not a boolean.
`Value`	`restrictToNotFunction()` Constructs a value as a copy of this value but only with non-functions.
`Value`	`restrictToNotGetter()` Constructs a value as a copy of this value but definitely not a getter.
`Value`	`restrictToNotGetterSetter()` Constructs a value as a copy of this value but definitely not a getter or setter.
`Value`	`restrictToNotInf()` Constructs a value as a copy of this value but definitely not +/- Infinity.
`Value`	`restrictToNotModified()` Constructs a value as a copy of this value but marked as definitely not modified.
`Value`	`restrictToNotNaN()` Constructs a value as a copy of this value but definitely not NaN.
`Value`	`restrictToNotNull()` Constructs a value as a copy of this value but definitely not null.
`Value`	`restrictToNotNullNotUndef()` Constructs a value as a copy of this value but definitely not null nor undefined.
`Value`	`restrictToNotNum()` Constructs a value from this value but definitely not a number.
`Value`	`restrictToNotNumInf()` Constructs a value from this value but definitely not +/- infinity.
`Value`	`restrictToNotNumOther()` Constructs a value from this value but definitely not an "other" number.
`Value`	`restrictToNotNumUInt()` Constructs a value from this value but definitely not a UInt number.
`Value`	`restrictToNotNumZero()` Constructs a value from this value but definitely not zero.
`Value`	`restrictToNotObject()` Constructs a value as a copy of this value but only with non-object values.
`Value`	`restrictToNotSetter()` Constructs a value as a copy of this value but definitely not a setter.
`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`	`restrictToNotSymbol()` Constructs a value as a copy of this value but definitely not a symbol.
`Value`	`restrictToNotTypeofObject()` Constructs a value as a copy of this value but only with values that do not have typeof "object".
`Value`	`restrictToNotUndef()` Constructs a value as a copy of this value but definitely not undefined.
`Value`	`restrictToNull()` Constructs a value as a copy of this value but only considering its null facet.
`Value`	`restrictToNum()` Constructs a value from this value where only the number facet is considered.
`Value`	`restrictToSetter()` Constructs a value as a copy of this value but only with setter values.
`Value`	`restrictToStr()` Constructs a value from this value where only the string facet is considered.
`Value`	`restrictToStrBoolNum()` Constructs a value from this value where only the string/boolean/number facets are considered.
`Value`	`restrictToStrictEquals(Value v)` Returns a value that models a safe approximation of the intersection of this value and the given value, using strict equality.
`Value`	`restrictToStrictNotEquals(Value v)` Returns a value that models a safe approximation of this value minus the given value, using strict equality.
`Value`	`restrictToSymbol()` Constructs a value as a copy of this value but definitely a symbol.
`Value`	`restrictToTruthy()` Constructs a value as a copy of this value but definitely not falsy.
`Value`	`restrictToTypeofObject()` Constructs a value as a copy of this value but only with values with typeof "object".
`Value`	`restrictToUndef()` Constructs a value as a copy of this value but only considering its undefined facet.
`Value`	`setAttributes(boolean dontenum, boolean dontdelete, boolean readonly)` Constructs a value as a copy of this value but with the given attributes.
`Value`	`setAttributes(Value from)` Constructs a value as a copy of this value but with attributes set as in the given value.
`Value`	`setBottomPropertyData()` Constructs a value as a copy of this value but with no information that only makes sense for object property values.
`Value`	`setDontDelete()` Constructs a value as a copy of this value but with DontDelete definitely set.
`Value`	`setDontEnum()` Constructs a value as a copy of this value but with DontEnum definitely set.
`Value`	`setNotDontDelete()` Constructs a value as a copy of this value but with DontDelete definitely not set.
`Value`	`setNotDontEnum()` Constructs a value as a copy of this value but with DontEnum definitely not set.
`Value`	`setNotReadOnly()` Constructs a value as a copy of this value but with ReadOnly definitely not set.
`Value`	`setReadOnly()` Constructs a value as a copy of this value but with ReadOnly definitely set.
`Value`	`summarize(Summarized s)` Constructs a value as a copy of this value but with object labels summarized.
`java.lang.String`	`toString()` Produces a string description of this value.
`int`	`typeSize()` Returns the number of different types of this value.

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Method Detail
  - assertNonEmpty
```
public void assertNonEmpty()
```
    Checks that this value is non-empty (or polymorphic).
    
    Throws:
    
    AnalysisException - if empty
  - cleanupIncludedExcluded
```
public void cleanupIncludedExcluded(Value r)
```
  - containsObjectLabel
```
public boolean containsObjectLabel(ObjectLabel objlabel)
```
    Returns true if this value contains the given object label.
    
    Throws:
    
    AnalysisException - if the value contains getters or setters.
  - diff
```
public void diff(Value old,
                 java.lang.StringBuilder b)
```
    Returns a description of the changes from the old value to this value. It is assumed that the old value is less than this value.
    
    Parameters:
    
    old - The old value to diff against.
    
    b - The string builder to print the diff to.
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Checks whether the given object is equal to this one.
    
    Overrides:
    
    equals in class java.lang.Object
  - forgetExcludedIncludedStrings
```
public Value forgetExcludedIncludedStrings()
```
    Description copied from interface: Str
    
    Constructs a value from this value but with no excluded or included strings.
    
    Specified by:
    
    forgetExcludedIncludedStrings in interface Str
  - getAllKnownStr
```
public java.util.Set<java.lang.String> getAllKnownStr()
```
    Description copied from interface: Str
    
    Returns the set of all known strings. Only invoke if Str.isMaybeAllKnownStr() returns true.
    
    Specified by:
    
    getAllKnownStr in interface Str
  - getAllObjectLabels
```
public java.util.Set<ObjectLabel> getAllObjectLabels()
```
    Returns the (immutable) set of object labels. Returns the empty set for polymorphic and 'unknown' values. Getters and setters are included (see getObjectLabels()).
  - getExcludedStrings
```
public java.util.Set<java.lang.String> getExcludedStrings()
```
    Description copied from interface: Str
    
    Returns the strings that are explicitly excluded, or null if none.
    
    Specified by:
    
    getExcludedStrings in interface Str
  - getGetters
```
public java.util.Set<ObjectLabel> getGetters()
```
    Returns the (immutable) set of getters. Returns the empty set for polymorphic and 'unknown' values.
  - getIncludedStrings
```
public java.util.Set<java.lang.String> getIncludedStrings()
```
    Description copied from interface: Str
    
    Returns the strings that are explicitly included, or null if none.
    
    Specified by:
    
    getIncludedStrings in interface Str
  - getNum
```
public java.lang.Double getNum()
```
    Description copied from interface: Num
    
    Returns the singleton number value, or null if definitely not a singleton number.
    
    Specified by:
    
    getNum in interface Num
  - getObjectLabels
```
public java.util.Set<ObjectLabel> getObjectLabels()
```
    Returns the (immutable) set of object labels (including symbols). Returns the empty set for polymorphic and 'unknown' values. Getters and setters are ignored (see getAllObjectLabels()).
  - getObjectProperty
```
public ObjectProperty getObjectProperty()
```
    Returns the object property. Only to be called if the value is polymorphic.
  - getObjectSourceLocations
```
public java.util.Set<SourceLocation> getObjectSourceLocations()
```
    Returns the source locations of the objects and symbols in this value.
  - getPrefix
```
public java.lang.String getPrefix()
```
    Description copied from interface: Str
    
    Returns the prefix value. Only to be called if Str.isMaybeStrPrefix() returns true.
    
    Specified by:
    
    getPrefix in interface Str
  - getSetters
```
public java.util.Set<ObjectLabel> getSetters()
```
    Returns the (immutable) set of setters. Returns the empty set for polymorphic and 'unknown' values.
  - getStr
```
public java.lang.String getStr()
```
    Description copied from interface: Str
    
    Returns the singleton string value. Only to be called if Str.isMaybeSingleStr() returns true.
    
    Specified by:
    
    getStr in interface Str
  - getSymbols
```
public java.util.Set<ObjectLabel> getSymbols()
```
    Returns the (immutable) set of object labels representing symbols.
    
    Specified by:
    
    getSymbols in interface PKeys
  - hasDontDelete
```
public boolean hasDontDelete()
```
    Returns true if this value has DontDelete information.
  - hasDontEnum
```
public boolean hasDontEnum()
```
    Returns true if this value has DontEnum information.
  - hashCode
```
public int hashCode()
```
    Returns the hash code for this value.
    
    Overrides:
    
    hashCode in class java.lang.Object
  - hasReadOnly
```
public boolean hasReadOnly()
```
    Returns true if this value has ReadOnly information.
  - isDontDelete
```
public boolean isDontDelete()
```
    Returns true is this value belongs to a property which definitely has DontDelete set.
  - isDontEnum
```
public boolean isDontEnum()
```
    Returns true is this value belongs to a property which definitely has DontEnum set.
  - isExtendedScope
```
public boolean isExtendedScope()
```
    Returns true if this value is marked as having extended scope.
  - isInf
```
public boolean isInf()
```
    Description copied from interface: Num
    
    Returns true if this value is definitely infinite.
    
    Specified by:
    
    isInf in interface Num
  - isMaybeAbsent
```
public boolean isMaybeAbsent()
```
    Returns true if this value belongs to a maybe absent property.
  - isMaybeAllKnownStr
```
public boolean isMaybeAllKnownStr()
```
    Description copied from interface: Str
    
    Returns true if the value contains only known strings (possibly beside values of other type).
    
    Specified by:
    
    isMaybeAllKnownStr in interface Str
  - isMaybeAnyBool
```
public boolean isMaybeAnyBool()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe any boolean.
    
    Specified by:
    
    isMaybeAnyBool in interface Bool
  - isMaybeAnyNum
```
public boolean isMaybeAnyNum()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe any number.
    
    Specified by:
    
    isMaybeAnyNum in interface Num
  - isMaybeAnyNumNotNaNInf
```
public boolean isMaybeAnyNumNotNaNInf()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe any number but not NaN or infinite.
    
    Specified by:
    
    isMaybeAnyNumNotNaNInf in interface Num
  - isMaybeAnyStr
```
public boolean isMaybeAnyStr()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeAnyStr in interface Str
  - isMaybeDontDelete
```
public boolean isMaybeDontDelete()
```
    Returns true is this value belongs to a property which maybe has DontDelete set.
  - isMaybeDontEnum
```
public boolean isMaybeDontEnum()
```
    Returns true is this value belongs to a property which maybe has DontEnum set.
  - isMaybeFalse
```
public boolean isMaybeFalse()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe false.
    
    Specified by:
    
    isMaybeFalse in interface Bool
  - isMaybeFalseButNotTrue
```
public boolean isMaybeFalseButNotTrue()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe false but not true.
    
    Specified by:
    
    isMaybeFalseButNotTrue in interface Bool
  - isMaybeFuzzyNum
```
public boolean isMaybeFuzzyNum()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe a non-singleton number or NaN or +/-Inf.
    
    Specified by:
    
    isMaybeFuzzyNum in interface Num
  - isMaybeFuzzyStr
```
public boolean isMaybeFuzzyStr()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe a non-singleton string.
    
    Specified by:
    
    isMaybeFuzzyStr in interface Str
  - isMaybeFuzzyStrOrSymbol
```
public boolean isMaybeFuzzyStrOrSymbol()
```
    Description copied from interface: PKeys
    
    Returns true if this value is maybe a non-singleton string or a non-singleton symbol.
    
    Specified by:
    
    isMaybeFuzzyStrOrSymbol in interface PKeys
  - isMaybeGetter
```
public boolean isMaybeGetter()
```
    Returns true if this value maybe represents a getter.
  - isMaybeGetterOrSetter
```
public boolean isMaybeGetterOrSetter()
```
    Returns true if this value maybe represents a getter or setter.
  - isMaybeInf
```
public boolean isMaybeInf()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe infinite.
    
    Specified by:
    
    isMaybeInf in interface Num
  - isMaybeModified
```
public boolean isMaybeModified()
```
    Checks whether this value is marked as maybe modified.
  - isMaybeNaN
```
public boolean isMaybeNaN()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe NaN.
    
    Specified by:
    
    isMaybeNaN in interface Num
  - isMaybeNotDontDelete
```
public boolean isMaybeNotDontDelete()
```
    Returns true is this value belongs to a property which maybe does not have DontDelete set.
  - isMaybeNotDontEnum
```
public boolean isMaybeNotDontEnum()
```
    Returns true is this value belongs to a property which maybe does not have DontEnum set.
  - isMaybeNotReadOnly
```
public boolean isMaybeNotReadOnly()
```
    Returns true is this value belongs to a property which maybe does not have ReadOnly set.
  - isMaybeNull
```
public boolean isMaybeNull()
```
    Description copied from interface: Null
    
    Returns true if this value is maybe null.
    
    Specified by:
    
    isMaybeNull in interface Null
  - isMaybeNum
```
public boolean isMaybeNum(double num)
```
    Description copied from interface: Num
    
    Returns true if the given number is matched by this value.
    
    Specified by:
    
    isMaybeNum in interface Num
  - isMaybeNumOther
```
public boolean isMaybeNumOther()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe any non-UInt, non-Inf, and non-NaN number.
    
    Specified by:
    
    isMaybeNumOther in interface Num
  - isMaybeNumUInt
```
public boolean isMaybeNumUInt()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe any UInt number.
    
    Specified by:
    
    isMaybeNumUInt in interface Num
  - isMaybeNumUIntPos
```
public boolean isMaybeNumUIntPos()
```
    Description copied from interface: Num
    
    Returns true is this value may be any positive UInt32.
    
    Specified by:
    
    isMaybeNumUIntPos in interface Num
  - isMaybeObject
```
public boolean isMaybeObject()
```
    Returns true if this value maybe represents an object.
  - isMaybeObjectOrSymbol
```
public boolean isMaybeObjectOrSymbol()
```
    Returns true if this value maybe represents an object or a symbol.
  - isMaybeOtherThanBool
```
public boolean isMaybeOtherThanBool()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe a non-boolean.
    
    Specified by:
    
    isMaybeOtherThanBool in interface Bool
  - isMaybeOtherThanNull
```
public boolean isMaybeOtherThanNull()
```
    Description copied from interface: Null
    
    Returns true if this value is maybe some other than null.
    
    Specified by:
    
    isMaybeOtherThanNull in interface Null
  - isMaybeOtherThanNum
```
public boolean isMaybeOtherThanNum()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe a non-number.
    
    Specified by:
    
    isMaybeOtherThanNum in interface Num
  - isMaybeOtherThanNumUInt
```
public boolean isMaybeOtherThanNumUInt()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe a non-UInt-number.
    
    Specified by:
    
    isMaybeOtherThanNumUInt in interface Num
  - isMaybeOtherThanStr
```
public boolean isMaybeOtherThanStr()
```
    Description copied from interface: Str
    
    Returns true if this value may be a non-string.
    
    Specified by:
    
    isMaybeOtherThanStr in interface Str
  - isMaybeOtherThanStrOrSymbol
```
public boolean isMaybeOtherThanStrOrSymbol()
```
    Description copied from interface: PKeys
    
    Returns true if this value may be a non-property-key.
    
    Specified by:
    
    isMaybeOtherThanStrOrSymbol in interface PKeys
  - isMaybeOtherThanSymbol
```
public boolean isMaybeOtherThanSymbol()
```
  - isMaybeOtherThanUndef
```
public boolean isMaybeOtherThanUndef()
```
    Description copied from interface: Undef
    
    Returns true if this value is maybe some other than undefined.
    
    Specified by:
    
    isMaybeOtherThanUndef in interface Undef
  - isMaybePolymorphicPresent
```
public boolean isMaybePolymorphicPresent()
```
    Returns true if this value is maybe present in the polymorphic part.
  - isMaybePresent
```
public boolean isMaybePresent()
```
    Returns true if this value is maybe present.
  - isMaybePresentAccessor
```
public boolean isMaybePresentAccessor()
```
    Returns true if this value is maybe present as a getter/setter property.
  - isMaybePresentData
```
public boolean isMaybePresentData()
```
    Returns true if this value is maybe present as a data property.
  - isMaybePresentOrUnknown
```
public boolean isMaybePresentOrUnknown()
```
    Returns true if this value is maybe present or 'unknown'.
  - isMaybePrimitive
```
public boolean isMaybePrimitive()
```
    Returns true if this value may be a primitive, including undefined, null.
  - isMaybePrimitiveOrSymbol
```
public boolean isMaybePrimitiveOrSymbol()
```
    Returns true if this value may be a non-object, including undefined, null, and symbols.
  - isMaybeReadOnly
```
public boolean isMaybeReadOnly()
```
    Returns true is this value belongs to a property which maybe has ReadOnly set.
  - isMaybeSameNumber
```
public boolean isMaybeSameNumber(Value v)
```
    Description copied from interface: Num
    
    Returns true if this number value is maybe the same as the given one.
    
    Specified by:
    
    isMaybeSameNumber in interface Num
  - isMaybeSameNumberWhenNegated
```
public boolean isMaybeSameNumberWhenNegated(Value v)
```
    Description copied from interface: Num
    
    Returns true if this number value is maybe the same as the given one when negated.
    
    Specified by:
    
    isMaybeSameNumberWhenNegated in interface Num
  - isMaybeSetter
```
public boolean isMaybeSetter()
```
    Returns true if this value maybe represents a setter.
  - isMaybeSingleAllocationSite
```
public boolean isMaybeSingleAllocationSite()
```
    Returns true is this value contains exactly one object source location.
  - isMaybeSingleNum
```
public boolean isMaybeSingleNum()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe a singleton number, excluding NaN and +/-Inf.
    
    Specified by:
    
    isMaybeSingleNum in interface Num
  - isMaybeSingleNumUInt
```
public boolean isMaybeSingleNumUInt()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe a singleton UInt number.
    
    Specified by:
    
    isMaybeSingleNumUInt in interface Num
  - isMaybeSingleObjectLabel
```
public boolean isMaybeSingleObjectLabel()
```
    Returns true is this value contains exactly one object label.
  - isMaybeSingleStr
```
public boolean isMaybeSingleStr()
```
    Description copied from interface: Str
    
    Returns true if value is maybe a singleton string.
    
    Specified by:
    
    isMaybeSingleStr in interface Str
  - isMaybeSingleStrOrSymbol
```
public boolean isMaybeSingleStrOrSymbol()
```
    Description copied from interface: PKeys
    
    Returns true if this value is maybe a singleton string or a singleton symbol (but not both).
    
    Specified by:
    
    isMaybeSingleStrOrSymbol in interface PKeys
  - isMaybeStr
```
public boolean isMaybeStr(java.lang.String s)
```
    Description copied from interface: Str
    
    Checks whether the given string is matched by this value.
    
    Specified by:
    
    isMaybeStr in interface Str
  - isMaybeStrIdentifier
```
public boolean isMaybeStrIdentifier()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any identifier string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrIdentifier in interface Str
  - isMaybeStrJSON
```
public boolean isMaybeStrJSON()
```
    Description copied from interface: Str
    
    Returns true if this value maybe originates from a JSON source.
    
    Specified by:
    
    isMaybeStrJSON in interface Str
  - isMaybeStrOnlyUInt
```
public boolean isMaybeStrOnlyUInt()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any UInt string but not a non-UInt string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrOnlyUInt in interface Str
  - isMaybeStrOther
```
public boolean isMaybeStrOther()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any non-number, non-identifier-parts string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrOther in interface Str
  - isMaybeStrOtherIdentifierParts
```
public boolean isMaybeStrOtherIdentifierParts()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any string consisting of identifier parts, ignoring identifier strings and UInt strings (and ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrOtherIdentifierParts in interface Str
  - isMaybeStrOtherNum
```
public boolean isMaybeStrOtherNum()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any (unbounded) non-UInt number string, including Infinity, -Infinity, and NaN (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrOtherNum in interface Str
  - isMaybeStrPrefix
```
public boolean isMaybeStrPrefix()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe a fixed nonempty prefix string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrPrefix in interface Str
  - isMaybeStrSomeNonNumeric
```
public boolean isMaybeStrSomeNonNumeric()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe a non-numeric string.
    
    Specified by:
    
    isMaybeStrSomeNonNumeric in interface Str
  - isMaybeStrSomeNonUInt
```
public boolean isMaybeStrSomeNonUInt()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe a non-UInt string.
    
    Specified by:
    
    isMaybeStrSomeNonUInt in interface Str
  - isMaybeStrSomeNumeric
```
public boolean isMaybeStrSomeNumeric()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe some numeric string.
    
    Specified by:
    
    isMaybeStrSomeNumeric in interface Str
  - isMaybeStrSomeUInt
```
public boolean isMaybeStrSomeUInt()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe some UInt string.
    
    Specified by:
    
    isMaybeStrSomeUInt in interface Str
  - isMaybeStrUInt
```
public boolean isMaybeStrUInt()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any UInt string (ignoring excluded strings).
    
    Specified by:
    
    isMaybeStrUInt in interface Str
  - isMaybeSymbol
```
public boolean isMaybeSymbol()
```
    Description copied from interface: PKeys
    
    Returns true if this value may be a symbol.
    
    Specified by:
    
    isMaybeSymbol in interface PKeys
  - isMaybeTrue
```
public boolean isMaybeTrue()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe true.
    
    Specified by:
    
    isMaybeTrue in interface Bool
  - isMaybeTrueButNotFalse
```
public boolean isMaybeTrueButNotFalse()
```
    Description copied from interface: Bool
    
    Returns true if this value is maybe true but not false.
    
    Specified by:
    
    isMaybeTrueButNotFalse in interface Bool
  - isMaybeUndef
```
public boolean isMaybeUndef()
```
    Description copied from interface: Undef
    
    Returns true if this value is maybe undefined.
    
    Specified by:
    
    isMaybeUndef in interface Undef
  - isMaybeZero
```
public boolean isMaybeZero()
```
    Description copied from interface: Num
    
    Returns true is this value may be the number 0.
    
    Specified by:
    
    isMaybeZero in interface Num
  - isNaN
```
public boolean isNaN()
```
    Description copied from interface: Num
    
    Returns true if this value is definitely NaN.
    
    Specified by:
    
    isNaN in interface Num
  - isNone
```
public boolean isNone()
```
    Returns true if this abstract value represents no concrete values. If a property value is "none", the abstract object represents zero concrete objects. The modified flag, attributes, etc. are ignored. "Unknown" is treated as non-"none".
  - isNotAbsent
```
public boolean isNotAbsent()
```
    Returns true if this value belongs to a definitely present property.
  - isNotASingletonObject
```
public boolean isNotASingletonObject()
```
    Returns true if this value does not contain a singleton object label.
  - isNotASummarizedObject
```
public boolean isNotASummarizedObject()
```
    Returns true if this value does not contain a summarized object label.
  - isNotBool
```
public boolean isNotBool()
```
    Description copied from interface: Bool
    
    Returns true if this value is definitely not a boolean.
    
    Specified by:
    
    isNotBool in interface Bool
  - isNotDontDelete
```
public boolean isNotDontDelete()
```
    Returns true is this value belongs to a property which definitely does not have DontDelete set.
  - isNotDontEnum
```
public boolean isNotDontEnum()
```
    Returns true is this value belongs to a property which definitely does not have DontEnum set.
  - isNotNull
```
public boolean isNotNull()
```
    Description copied from interface: Null
    
    Returns true if this value is definitely not null.
    
    Specified by:
    
    isNotNull in interface Null
  - isNotNum
```
public boolean isNotNum()
```
    Description copied from interface: Num
    
    Returns true if this value is definitely not a number.
    
    Specified by:
    
    isNotNum in interface Num
  - isNotPresent
```
public boolean isNotPresent()
```
    Returns true if this value is definitely not present.
  - isNotPresentNotAbsent
```
public boolean isNotPresentNotAbsent()
```
    Returns true if this value is definitely not present and not absent.
  - isNotReadOnly
```
public boolean isNotReadOnly()
```
    Returns true is this value belongs to a property which definitely does not have ReadOnly set.
  - isNotStr
```
public boolean isNotStr()
```
    Description copied from interface: Str
    
    Returns true if this value is definitely not a string.
    
    Specified by:
    
    isNotStr in interface Str
  - isNotUndef
```
public boolean isNotUndef()
```
    Description copied from interface: Undef
    
    Returns true if this value is definitely not undefined.
    
    Specified by:
    
    isNotUndef in interface Undef
  - isNullOrUndef
```
public boolean isNullOrUndef()
```
    Returns true if this value is definitely null or undefined.
  - isPolymorphic
```
public boolean isPolymorphic()
```
    Checks whether this value is polymorphic.
  - isPolymorphicOrUnknown
```
public boolean isPolymorphicOrUnknown()
```
    Checks whether this value is polymorphic or 'unknown'.
  - isReadOnly
```
public boolean isReadOnly()
```
    Returns true is this value belongs to a property which definitely has ReadOnly set.
  - isStrIdentifier
```
public boolean isStrIdentifier()
```
    Description copied from interface: Str
    
    Returns true if this value is definitely an identifier string.
    
    Specified by:
    
    isStrIdentifier in interface Str
  - isStrIdentifierParts
```
public boolean isStrIdentifierParts()
```
    Description copied from interface: Str
    
    Returns true if this value is definitely an identifier-parts string.
    
    Specified by:
    
    isStrIdentifierParts in interface Str
  - isStrJSON
```
public boolean isStrJSON()
```
    Description copied from interface: Str
    
    Returns true if this value is definitely originating from a JSON source.
    
    Specified by:
    
    isStrJSON in interface Str
  - isStrMayContainSubstring
```
public boolean isStrMayContainSubstring(Str other)
```
    Description copied from interface: Str
    
    Checks whether this string value may contain the given substring. (Conservative, true means certainly yes, false means maybe no.)
    
    Specified by:
    
    isStrMayContainSubstring in interface Str
  - isUInt32
```
public static boolean isUInt32(double v)
```
    Checks whether the given number is a UInt32.
  - isUnknown
```
public boolean isUnknown()
```
    Returns true if this value is 'unknown'.
  - join
```
public static Value join(java.util.Collection<Value> values)
```
    Constructs a value as the join of the given collection of values.
  - join
```
public static Value join(Value... values)
```
    Constructs a value as the join of the given collection of values.
  - join
```
public Value join(Value v)
```
    Constructs a value as the join of this value and the given value.
  - join
```
public Value join(Value v,
                  boolean widen)
```
    Constructs a value as the join of this value and the given value.
    
    Parameters:
    
    widen - if true, apply widening
  - joinAbsent
```
public Value joinAbsent()
```
    Constructs a value as a copy of this value but marked as maybe absent.
  - joinAbsentModified
```
public Value joinAbsentModified()
```
    Constructs a value as a copy of this value but marked as maybe absent and maybe modified.
  - joinAnyBool
```
public Value joinAnyBool()
```
    Description copied from interface: Bool
    
    Constructs a value as the join of this value and any boolean.
    
    Specified by:
    
    joinAnyBool in interface Bool
  - joinAnyNum
```
public Value joinAnyNum()
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and any number.
    
    Specified by:
    
    joinAnyNum in interface Num
  - joinAnyNumOther
```
public Value joinAnyNumOther()
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and any non-UInt number (excluding NaN and +/-Infinity).
    
    Specified by:
    
    joinAnyNumOther in interface Num
  - joinAnyNumUInt
```
public Value joinAnyNumUInt()
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and any UInt number.
    
    Specified by:
    
    joinAnyNumUInt in interface Num
  - joinAnyStr
```
public Value joinAnyStr()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any string.
    
    Specified by:
    
    joinAnyStr in interface Str
  - joinAnyStrIdentifier
```
public Value joinAnyStrIdentifier()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any identifier string.
    
    Specified by:
    
    joinAnyStrIdentifier in interface Str
  - joinAnyStrIdentifierParts
```
public Value joinAnyStrIdentifierParts()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any identifier-parts string.
    
    Specified by:
    
    joinAnyStrIdentifierParts in interface Str
  - joinAnyStrOther
```
public Value joinAnyStrOther()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any non-number, non-identifier-parts string (including NaN and +/-Infinity).
    
    Specified by:
    
    joinAnyStrOther in interface Str
  - joinAnyStrOtherNum
```
public Value joinAnyStrOtherNum()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any non-UInt number string (excluding NaN and +/-Infinity).
    
    Specified by:
    
    joinAnyStrOtherNum in interface Str
  - joinAnyStrUInt
```
public Value joinAnyStrUInt()
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and any UInt string.
    
    Specified by:
    
    joinAnyStrUInt in interface Str
  - joinBool
```
public Value joinBool(boolean x)
```
    Description copied from interface: Bool
    
    Constructs a value as the join of this value and the given concrete boolean value.
    
    Specified by:
    
    joinBool in interface Bool
  - joinBool
```
public Value joinBool(Value x)
```
    Description copied from interface: Bool
    
    Constructs a value as the join of this value and the given concrete boolean value.
    
    Specified by:
    
    joinBool in interface Bool
  - joinGettersSetters
```
public Value joinGettersSetters(Value v)
```
    Joins the getters and setters from v into this value. Should not be called if this value already has getters or setters.
  - joinMeta
```
public Value joinMeta(Value v)
```
    Joins the meta-information from v into this value.
  - joinModified
```
public Value joinModified()
```
    Constructs a value as a copy of this value but marked as maybe modified.
  - joinNotDontDelete
```
public Value joinNotDontDelete()
```
    Constructs a value as a copy of this value but with DontDelete maybe not set.
  - joinNotDontEnum
```
public Value joinNotDontEnum()
```
    Constructs a value as a copy of this value but with DontEnum maybe not set.
  - joinNotReadOnly
```
public Value joinNotReadOnly()
```
    Constructs a value as a copy of this value but with ReadOnly maybe not set.
  - joinNull
```
public Value joinNull()
```
    Description copied from interface: Null
    
    Constructs a value as the join of this value and null.
    
    Specified by:
    
    joinNull in interface Null
  - joinNum
```
public Value joinNum(double v)
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and the given concrete number.
    
    Specified by:
    
    joinNum in interface Num
  - joinNumInf
```
public Value joinNumInf()
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and +/-Inf.
    
    Specified by:
    
    joinNumInf in interface Num
  - joinNumNaN
```
public Value joinNumNaN()
```
    Description copied from interface: Num
    
    Constructs a value as the join of this value and NaN.
    
    Specified by:
    
    joinNumNaN in interface Num
  - joinObject
```
public Value joinObject(ObjectLabel objlabel)
```
    Constructs a value as the join of this value and the given object label.
  - joinPrefix
```
public Value joinPrefix(java.lang.String s)
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and the given prefix string.
    
    Specified by:
    
    joinPrefix in interface Str
  - joinStr
```
public Value joinStr(java.lang.String s)
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and the given concrete string.
    
    Specified by:
    
    joinStr in interface Str
  - joinUndef
```
public Value joinUndef()
```
    Description copied from interface: Undef
    
    Constructs a value as the join of this value and undefined.
    
    Specified by:
    
    joinUndef in interface Undef
  - makeAbsent
```
public static Value makeAbsent()
```
    Constructs the absent value.
  - makeAbsentModified
```
public static Value makeAbsentModified()
```
    Constructs the absent modified value.
  - makeAnyBool
```
public static Value makeAnyBool()
```
    Constructs the value representing any boolean.
  - makeAnyNum
```
public static Value makeAnyNum()
```
    Constructs the value describing any number.
  - makeAnyNumNotNaNInf
```
public static Value makeAnyNumNotNaNInf()
```
    Constructs the value describing number except NaN and infinity.
  - makeAnyNumOther
```
public static Value makeAnyNumOther()
```
    Constructs the value describing any non-UInt, non-+/-Inf, non-NaN number.
  - makeAnyNumUInt
```
public static Value makeAnyNumUInt()
```
    Constructs the value describing any UInt number.
  - makeAnyNumUIntPos
```
public static Value makeAnyNumUIntPos()
```
    Constructs the value describing any positive UInt number.
  - makeAnyStr
```
public static Value makeAnyStr()
```
    Constructs the value describing any string.
  - makeAnyStrIdent
```
public static Value makeAnyStrIdent()
```
    Constructs the value describing any identifier string.
  - makeAnyStrNotNumeric
```
public static Value makeAnyStrNotNumeric()
```
    Constructs the value describing any non-numeric string.
  - makeAnyStrNotUInt
```
public static Value makeAnyStrNotUInt()
```
    Constructs the value describing any non-UInt string.
  - makeAnyStrNumeric
```
public static Value makeAnyStrNumeric()
```
    Constructs the value describing any numeric string.
  - makeAnyStrOtherNum
```
public static Value makeAnyStrOtherNum()
```
    Constructs the value describing any string containing non-UInt32 numbers, including Infinity, -Infinity, and NaN.
  - makeAnyStrUInt
```
public static Value makeAnyStrUInt()
```
    Constructs the value describing any UInt string.
  - makeBool
```
public static Value makeBool(Bool b)
```
    Constructs the value describing the given Bool.
  - makeBool
```
public static Value makeBool(boolean b)
```
    Constructs the value describing the given boolean.
  - makeExtendedScope
```
public Value makeExtendedScope()
```
    Returns a value as this one but marked as having extended scope.
  - makeGetter
```
public Value makeGetter()
```
    Converts the object labels in this value into getters.
  - makeJSONStr
```
public static Value makeJSONStr()
```
    Constructs the value describing any JSON string.
  - makeNone
```
public static Value makeNone()
```
    Constructs the empty abstract value (= bottom, if not considering 'unknown').
  - makeNoneModified
```
public static Value makeNoneModified()
```
    Constructs the empty abstract value that is marked as modified.
  - makeNonPolymorphic
```
public Value makeNonPolymorphic()
```
    Constructs a fresh non-polymorphic value using the attributes (excluding presence) of the given value.
  - makeNull
```
public static Value makeNull()
```
    Constructs the value describing definitely null.
  - makeNum
```
public static Value makeNum(double d)
```
    Constructs the value describing the given number.
  - makeNumInf
```
public static Value makeNumInf()
```
    Constructs the value describing +/-Inf.
  - makeNumNaN
```
public static Value makeNumNaN()
```
    Constructs the value describing NaN.
  - makeObject
```
public static Value makeObject(ObjectLabel v)
```
    Constructs the value describing the given object label.
  - makeObject
```
public static Value makeObject(java.util.Set<ObjectLabel> v)
```
    Constructs the value describing the given object labels.
  - makePolymorphic
```
public Value makePolymorphic(ObjectProperty prop)
```
    Constructs a fresh polymorphic value from the attributes (including absence and presence) of this value.
  - makeSetter
```
public Value makeSetter()
```
    Converts the object labels in this value into setters.
  - makeStr
```
public static Value makeStr(java.lang.String s)
```
    Constructs the value describing the given string.
  - makeStrings
```
public static Value makeStrings(java.util.Collection<java.lang.String> strings)
```
    Constructs a new value representing the given strings.
  - makeStringsAndSymbols
```
public static Value makeStringsAndSymbols(java.util.Collection<PKey> properties)
```
    Constructs a new value representing the given strings and symbols.
  - makeSymbol
```
public static Value makeSymbol(ObjectLabel v)
```
    Constructs the value describing the given symbol object label.
  - makeTemporaryStr
```
public static Value makeTemporaryStr(java.lang.String s)
```
    Constructs a temporary value describing the given string. The object is not canonicalized and should therefore not be stored in abstract states.
  - makeUndef
```
public static Value makeUndef()
```
    Constructs the value describing definitely undefined.
  - makeUnknown
```
public static Value makeUnknown()
```
    Constructs the unknown value.
  - mustContainNonIdentifierCharacters
```
public boolean mustContainNonIdentifierCharacters()
```
    Description copied from interface: Str
    
    Checks whether all strings represented by this abstract value contain a non-identifier character. (Conservative, true means certainly yes, false means maybe no.)
    
    Specified by:
    
    mustContainNonIdentifierCharacters in interface Str
  - mustOnlyBeIdentifierCharacters
```
public boolean mustOnlyBeIdentifierCharacters()
```
    Description copied from interface: Str
    
    Checks whether all strings represented by this abstract value contain only identifier characters. (Conservative, true means certainly yes, false means maybe no.)
    
    Specified by:
    
    mustOnlyBeIdentifierCharacters in interface Str
  - printAttributes
```
public java.lang.String printAttributes()
```
    Produces a string description of the attributes of this value.
  - printFlags
```
public java.lang.String printFlags()
```
  - removeAttributes
```
public Value removeAttributes()
```
    Constructs a value as a copy of the given value but with all attributes definitely not set.
  - removeObjects
```
public Value removeObjects(java.util.Set<ObjectLabel> objs)
```
    Constructs a value as a copy of this value but with the given object labels removed.
    
    Throws:
    
    AnalysisException - if the value contains getters or setters.
  - replaceObjectLabel
```
public Value replaceObjectLabel(ObjectLabel oldlabel,
                                ObjectLabel newlabel)
```
    Returns a copy of this value where the given object label has been replaced, if present.
    
    Parameters:
    
    oldlabel - The object label to replace.
    
    newlabel - The object label to replace oldlabel with.
  - replaceValue
```
public Value replaceValue(Value v)
```
    Constructs a value as a copy of the given value but with the attributes from this value.
  - reset
```
public static void reset()
```
    Resets the cache.
  - restrictToAttributes
```
public Value restrictToAttributes()
```
    Constructs a value as a copy of this value but for reading attributes.
  - restrictToBool
```
public Value restrictToBool()
```
    Constructs a value from this value where only the boolean facet is considered.
  - restrictToFalsy
```
public Value restrictToFalsy()
```
    Constructs a value as a copy of this value but definitely not truthy. Absent is treated as not truthy.
  - restrictToFunction
```
public Value restrictToFunction()
```
    Constructs a value as a copy of this value but only with functions.
  - restrictToGetter
```
public Value restrictToGetter()
```
    Constructs a value as a copy of this value but only with getter values.
  - restrictToGetterSetter
```
public Value restrictToGetterSetter()
```
    Constructs a value as a copy of this value but only with getter/setter values.
  - restrictToLooseEquals
```
public Value restrictToLooseEquals(Value v)
```
    Returns a value that models a safe approximation of the intersection of this value and the given value, using loose equality. Models the 'true' branch of if(...==...){...}else{...}.
  - restrictToLooseNotEquals
```
public Value restrictToLooseNotEquals(Value v)
```
    Returns a value that models a safe approximation of this value minus the given value, using loose equality. Models the 'false' branch of if(...==...){...}else{...}.
  - restrictToNonAttributes
```
public Value restrictToNonAttributes()
```
    Constructs a value as a copy of this value but with all attributes set to bottom.
  - restrictToNonSymbolObject
```
public Value restrictToNonSymbolObject()
```
    Constructs a value as a copy of this value but only with non-symbol object values.
  - restrictToNotAbsent
```
public Value restrictToNotAbsent()
```
    Constructs a value as a copy of this value but definitely not absent.
  - restrictToNotBool
```
public Value restrictToNotBool()
```
    Description copied from interface: Bool
    
    Constructs a value as a copy of this value but definitely not a boolean.
    
    Specified by:
    
    restrictToNotBool in interface Bool
  - restrictToNotFunction
```
public Value restrictToNotFunction()
```
    Constructs a value as a copy of this value but only with non-functions.
  - restrictToNotGetter
```
public Value restrictToNotGetter()
```
    Constructs a value as a copy of this value but definitely not a getter.
  - restrictToNotGetterSetter
```
public Value restrictToNotGetterSetter()
```
    Constructs a value as a copy of this value but definitely not a getter or setter.
  - restrictToNotInf
```
public Value restrictToNotInf()
```
    Description copied from interface: Num
    
    Constructs a value as a copy of this value but definitely not +/- Infinity.
    
    Specified by:
    
    restrictToNotInf in interface Num
  - restrictToNotModified
```
public Value restrictToNotModified()
```
    Constructs a value as a copy of this value but marked as definitely not modified.
  - restrictToNotNaN
```
public Value restrictToNotNaN()
```
    Description copied from interface: Num
    
    Constructs a value as a copy of this value but definitely not NaN.
    
    Specified by:
    
    restrictToNotNaN in interface Num
  - restrictToNotNull
```
public Value restrictToNotNull()
```
    Description copied from interface: Null
    
    Constructs a value as a copy of this value but definitely not null.
    
    Specified by:
    
    restrictToNotNull in interface Null
  - restrictToNotNullNotUndef
```
public Value restrictToNotNullNotUndef()
```
    Constructs a value as a copy of this value but definitely not null nor undefined.
  - restrictToNotNum
```
public Value restrictToNotNum()
```
    Description copied from interface: Num
    
    Constructs a value from this value but definitely not a number.
    
    Specified by:
    
    restrictToNotNum in interface Num
  - restrictToNotNumInf
```
public Value restrictToNotNumInf()
```
    Description copied from interface: Num
    
    Constructs a value from this value but definitely not +/- infinity.
    
    Specified by:
    
    restrictToNotNumInf in interface Num
  - restrictToNotNumOther
```
public Value restrictToNotNumOther()
```
    Description copied from interface: Num
    
    Constructs a value from this value but definitely not an "other" number.
    
    Specified by:
    
    restrictToNotNumOther in interface Num
  - restrictToNotNumUInt
```
public Value restrictToNotNumUInt()
```
    Description copied from interface: Num
    
    Constructs a value from this value but definitely not a UInt number.
    
    Specified by:
    
    restrictToNotNumUInt in interface Num
  - restrictToNotNumZero
```
public Value restrictToNotNumZero()
```
    Description copied from interface: Num
    
    Constructs a value from this value but definitely not zero.
    
    Specified by:
    
    restrictToNotNumZero in interface Num
  - restrictToNotObject
```
public Value restrictToNotObject()
```
    Constructs a value as a copy of this value but only with non-object values. (Symbols are not objects.) Unknown and polymorphic values are returned unmodified.
    
    Throws:
    
    AnalysisException - if the value contains getters or setters.
  - restrictToNotSetter
```
public Value restrictToNotSetter()
```
    Constructs a value as a copy of this value but definitely not a setter.
  - restrictToNotStr
```
public Value restrictToNotStr()
```
    Description copied from interface: Str
    
    Constructs a value from this value but definitely not a string.
    
    Specified by:
    
    restrictToNotStr in interface Str
  - restrictToNotStrIdentifierParts
```
public Value restrictToNotStrIdentifierParts()
```
    Description copied from interface: Str
    
    Constructs a value from this value but excluding the category of all strings that consist of identifier parts.
    
    Specified by:
    
    restrictToNotStrIdentifierParts in interface Str
  - restrictToNotStrings
```
public Value restrictToNotStrings(java.util.Set<java.lang.String> strings)
```
    Description copied from interface: Str
    
    Constructs a value from this value but, if possible, with the given strings removed.
    
    Specified by:
    
    restrictToNotStrings in interface Str
  - restrictToNotStrOtherNum
```
public Value restrictToNotStrOtherNum()
```
    Description copied from interface: Str
    
    Constructs a value from this value but excluding the category of all strings that represent unbounded non-UInt32 numbers, including Infinity, -Infinity, and NaN.
    
    Specified by:
    
    restrictToNotStrOtherNum in interface Str
  - restrictToNotStrPrefix
```
public Value restrictToNotStrPrefix()
```
    Description copied from interface: Str
    
    Constructs a value from this value but excluding the category of all strings that consist of a fixed nonempty prefix string.
    
    Specified by:
    
    restrictToNotStrPrefix in interface Str
  - restrictToNotStrUInt
```
public Value restrictToNotStrUInt()
```
    Description copied from interface: Str
    
    Constructs a value from this value but excluding the category of all UInt strings.
    
    Specified by:
    
    restrictToNotStrUInt in interface Str
  - restrictToNotSymbol
```
public Value restrictToNotSymbol()
```
    Constructs a value as a copy of this value but definitely not a symbol.
  - restrictToNotTypeofObject
```
public Value restrictToNotTypeofObject()
```
    Constructs a value as a copy of this value but only with values that do not have typeof "object".
  - restrictToNotUndef
```
public Value restrictToNotUndef()
```
    Description copied from interface: Undef
    
    Constructs a value as a copy of this value but definitely not undefined.
    
    Specified by:
    
    restrictToNotUndef in interface Undef
  - restrictToNull
```
public Value restrictToNull()
```
    Description copied from interface: Null
    
    Constructs a value as a copy of this value but only considering its null facet.
    
    Specified by:
    
    restrictToNull in interface Null
  - restrictToNum
```
public Value restrictToNum()
```
    Description copied from interface: Num
    
    Constructs a value from this value where only the number facet is considered.
    
    Specified by:
    
    restrictToNum in interface Num
  - restrictToSetter
```
public Value restrictToSetter()
```
    Constructs a value as a copy of this value but only with setter values.
  - restrictToStr
```
public Value restrictToStr()
```
    Description copied from interface: Str
    
    Constructs a value from this value where only the string facet is considered.
    
    Specified by:
    
    restrictToStr in interface Str
  - restrictToStrBoolNum
```
public Value restrictToStrBoolNum()
```
    Constructs a value from this value where only the string/boolean/number facets are considered.
  - restrictToStrictEquals
```
public Value restrictToStrictEquals(Value v)
```
    Returns a value that models a safe approximation of the intersection of this value and the given value, using strict equality. Models the 'true' branch of if(...===...){...}else{...}.
  - restrictToStrictNotEquals
```
public Value restrictToStrictNotEquals(Value v)
```
    Returns a value that models a safe approximation of this value minus the given value, using strict equality. Models the 'false' branch of if(...===...){...}else{...}.
  - restrictToSymbol
```
public Value restrictToSymbol()
```
    Constructs a value as a copy of this value but definitely a symbol.
  - restrictToTruthy
```
public Value restrictToTruthy()
```
    Constructs a value as a copy of this value but definitely not falsy. Absent is treated as falsy.
  - restrictToTypeofObject
```
public Value restrictToTypeofObject()
```
    Constructs a value as a copy of this value but only with values with typeof "object".
  - restrictToUndef
```
public Value restrictToUndef()
```
    Description copied from interface: Undef
    
    Constructs a value as a copy of this value but only considering its undefined facet.
    
    Specified by:
    
    restrictToUndef in interface Undef
  - setAttributes
```
public Value setAttributes(boolean dontenum,
                           boolean dontdelete,
                           boolean readonly)
```
    Constructs a value as a copy of this value but with the given attributes.
  - setAttributes
```
public Value setAttributes(Value from)
```
    Constructs a value as a copy of this value but with attributes set as in the given value.
  - setBottomPropertyData
```
public Value setBottomPropertyData()
```
    Constructs a value as a copy of this value but with no information that only makes sense for object property values.
  - setDontDelete
```
public Value setDontDelete()
```
    Constructs a value as a copy of this value but with DontDelete definitely set.
  - setDontEnum
```
public Value setDontEnum()
```
    Constructs a value as a copy of this value but with DontEnum definitely set.
  - setNotDontDelete
```
public Value setNotDontDelete()
```
    Constructs a value as a copy of this value but with DontDelete definitely not set.
  - setNotDontEnum
```
public Value setNotDontEnum()
```
    Constructs a value as a copy of this value but with DontEnum definitely not set.
  - setNotReadOnly
```
public Value setNotReadOnly()
```
    Constructs a value as a copy of this value but with ReadOnly definitely not set.
  - setReadOnly
```
public Value setReadOnly()
```
    Constructs a value as a copy of this value but with ReadOnly definitely set.
  - summarize
```
public Value summarize(Summarized s)
```
    Constructs a value as a copy of this value but with object labels summarized. If s is null or the value is unknown or polymorphic, this value is returned instead.
  - toString
```
public java.lang.String toString()
```
    Produces a string description of this value. Ignores attributes and modified flag.
    
    Overrides:
    
    toString in class java.lang.Object
  - typeSize
```
public int typeSize()
```
    Returns the number of different types of this value. The possible types are here boolean/string/number/function/array/native/dom/other. Undef and null are ignored, except if they are the only value. Polymorphic and unknown values also count as 0.

Class Value

Method Summary

Methods inherited from class java.lang.Object

Method Detail

assertNonEmpty

cleanupIncludedExcluded

containsObjectLabel

diff

equals

forgetExcludedIncludedStrings

getAllKnownStr

getAllObjectLabels

getExcludedStrings

getGetters

getIncludedStrings

getNum

getObjectLabels

getObjectProperty

getObjectSourceLocations

getPrefix

getSetters

getStr

getSymbols

hasDontDelete

hasDontEnum

hashCode

hasReadOnly

isDontDelete

isDontEnum

isExtendedScope

isInf

isMaybeAbsent

isMaybeAllKnownStr

isMaybeAnyBool

isMaybeAnyNum

isMaybeAnyNumNotNaNInf

isMaybeAnyStr

isMaybeDontDelete

isMaybeDontEnum

isMaybeFalse

isMaybeFalseButNotTrue

isMaybeFuzzyNum

isMaybeFuzzyStr

isMaybeFuzzyStrOrSymbol

isMaybeGetter

isMaybeGetterOrSetter

isMaybeInf

isMaybeModified

isMaybeNaN

isMaybeNotDontDelete

isMaybeNotDontEnum

isMaybeNotReadOnly

isMaybeNull

isMaybeNum

isMaybeNumOther

isMaybeNumUInt

isMaybeNumUIntPos

isMaybeObject

isMaybeObjectOrSymbol

isMaybeOtherThanBool

isMaybeOtherThanNull

isMaybeOtherThanNum

isMaybeOtherThanNumUInt

isMaybeOtherThanStr

isMaybeOtherThanStrOrSymbol

isMaybeOtherThanSymbol

isMaybeOtherThanUndef

isMaybePolymorphicPresent

isMaybePresent

isMaybePresentAccessor

isMaybePresentData

isMaybePresentOrUnknown

isMaybePrimitive

isMaybePrimitiveOrSymbol

isMaybeReadOnly

isMaybeSameNumber

isMaybeSameNumberWhenNegated

isMaybeSetter

isMaybeSingleAllocationSite

isMaybeSingleNum