Value (TAJS)

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

All Implemented Interfaces:

Bool, Null, Num, Str, Undef
```
public final class Value
extends Object
implements Undef, Null, Bool, Num, Str
```
Abstract value. Value objects are immutable.

Method Summary

Methods
Modifier and Type	Method and Description
`void`	`assertNonEmpty()` Checks that this value is non-empty (or polymorphic).
`void`	`diff(Value old, StringBuilder b)` Returns a description of the changes from the old value to this value.
`boolean`	`equals(Object obj)` Checks whether the given object is equal to this one.
`Double`	`getNum()` Returns the singleton number value, or null if definitely not a singleton number.
`static int`	`getNumberOfObjectSetCacheHits()` Returns the number of object set cache hits.
`static int`	`getNumberOfObjectSetCacheMisses()` Returns the number of object set cache misses.
`static int`	`getNumberOfValueCacheHits()` Returns the number of value cache hits.
`static int`	`getNumberOfValueCacheMisses()` Returns the number of value cache misses.
`Set<ObjectLabel>`	`getObjectLabels()` Returns the (immutable) set of object labels.
`static int`	`getObjectSetCacheSize()` Returns the object set cache size.
`List<SourceLocation>`	`getObjectSourceLocations()` Returns the source locations of the objects in this value.
`String`	`getPrefix()` Returns the prefix value, or null if definitely not a fixed nonempty string followed by identifier parts.
`PropertyReference`	`getPropertyReference()` Returns the property reference.
`String`	`getStr()` Returns the singleton string value, or null if definitely not a singleton string.
`static int`	`getValueCacheSize()` Returns the value cache size.
`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`	`isMaybeAbsent()` Returns true if this value belongs to a maybe absent property.
`boolean`	`isMaybeAnyBool()` Returns true if this value is maybe any boolean.
`boolean`	`isMaybeAnyNum()` Returns true if this value is maybe any number.
`boolean`	`isMaybeAnyStr()` Returns true if this value is maybe any string.
`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.
`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`	`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`	`isMaybeNumOther()` Returns true if this value is maybe any non-UInt, non-Inf, non-NaN number.
`boolean`	`isMaybeNumUInt()` Returns true if this value is maybe any UInt number.
`boolean`	`isMaybeObject()` Returns true if this value maybe represents an object.
`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 not an UInt-number.
`boolean`	`isMaybeOtherThanObject()` Returns true if this value maybe represents something that isn't a object.
`boolean`	`isMaybeOtherThanStr()` Returns true if this value may be a non-string.
`boolean`	`isMaybeOtherThanUndef()` Returns true if this value is maybe some other than undefined.
`boolean`	`isMaybePresent()` Returns true if this value is maybe present.
`boolean`	`isMaybePresentOrUnknown()` Returns true if this value is maybe present or 'unknown'.
`boolean`	`isMaybePrimitive()` Returns true if this value may be a non-object, including undefined and null.
`boolean`	`isMaybeReadOnly()` Returns true is this value belongs to a property which maybe has ReadOnly set.
`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`	`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`	`isMaybeTrue()` Returns true if this value is maybe true.
`boolean`	`isMaybeTrueButNotFalse()` Returns true if this value is maybe true.
`boolean`	`isMaybeUndef()` Returns true if this value is maybe undefined.
`boolean`	`isNaN()` Returns true if this value is definitely NaN.
`boolean`	`isNone()` Returns true if this is the abstract value representing no concrete values.
`boolean`	`isNotAbsent()` Returns true if this value belongs to a definitely present property.
`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`	`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`	`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.
`boolean`	`isUnknown()` Returns true if this value is 'unknown'.
`static Value`	`join(Iterable<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 set_modified)` 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`	`joinAbsentWithModified()` Constructs a value as a copy of this value but marked as maybe absent and marks it as maybe modified if the resulting value is different from this value.
`Value`	`joinAnyBool()` Constructs a value as the join of this value and maybe any boolean.
`Value`	`joinAnyNum()` Constructs a value as the join of this value and maybe any number.
`Value`	`joinAnyNumOther()` Constructs a value as the join of this value and maybe any non-UInt number (excluding NaN and +/-Infinity).
`Value`	`joinAnyNumUInt()` Constructs a value as the join of this value and maybe any UInt number.
`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`	`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`	`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 maybe 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`	`joinPrefixedIdentifierParts(String s)` Constructs a value as the join of this value and the given prefixed identifier-parts string.
`Value`	`joinStr(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 maybe undefined.
`Value`	`joinWithModified(Value v)` Constructs a value as the join of this value and the given value and marks it as maybe modified if the resulting value is different from this value.
`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`	`makeAnyStr()` Constructs the value describing any string.
`static Value`	`makeAnyStrNotUInt()` Constructs the value describing any non-UInt string.
`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.
`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`	`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(Set<ObjectLabel> v)` Constructs the value describing the given object labels.
`static Value`	`makePolymorphic(PropertyReference var, Value v)` Constructs a fresh polymorphic value.
`static Value`	`makeStr(String s)` Constructs the value describing the given string.
`static Str`	`makeTemporaryStr(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.
`String`	`printAttributes()` Produces a string description of the attributes of this value.
`Value`	`remove(Value v)` Returns a copy of this value where all parts that are also in the given value have been removed.
`Value`	`removeAttributes()` Constructs a value as a copy of the given value but with all attributes definitely not set.
`Value`	`replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel)` Returns a copy of this value where the given object label has been replaced, if present.
`Value`	`replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m)` Returns a copy of this value where the object labels have been replaced according to the given map.
`static void`	`reset()` Resets the cache.
`Value`	`restrictTo(Value v)` Constructs a value as a copy of this value but restricted according to the given value.
`Value`	`restrictToBool()` Constructs a value from this value where only the boolean facet is considered.
`Value`	`restrictToNotAbsent()` Constructs a value as a copy of this value but definitely not absent.
`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`	`restrictToNotObject()` Constructs a value as a copy of this value but only with non-object values.
`Value`	`restrictToNotStr()` Constructs a value from this value but definitely not a string.
`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`	`restrictToObject()` Constructs a value as a copy of this value but only with object 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`	`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`	`setBottomAttributes()` Constructs a value as a copy of this value but with no attribute information.
`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`	`setModifiedFrom(Value v)` Constructs a copy of this value with the modified flag from the given value.
`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.
`String`	`toString()` Produces a string description of this value.
`Value`	`trim(Value v)` Constructs a value by trimming this value according to the given 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
  - diff
```
public void diff(Value old,
        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(Object obj)
```
    Checks whether the given object is equal to this one.
    
    Overrides:
    
    equals in class Object
  - getNum
```
public 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
  - getNumberOfObjectSetCacheHits
```
public static int getNumberOfObjectSetCacheHits()
```
    Returns the number of object set cache hits.
  - getNumberOfObjectSetCacheMisses
```
public static int getNumberOfObjectSetCacheMisses()
```
    Returns the number of object set cache misses.
  - getNumberOfValueCacheHits
```
public static int getNumberOfValueCacheHits()
```
    Returns the number of value cache hits.
  - getNumberOfValueCacheMisses
```
public static int getNumberOfValueCacheMisses()
```
    Returns the number of value cache misses.
  - getObjectLabels
```
public Set<ObjectLabel> getObjectLabels()
```
    Returns the (immutable) set of object labels. Returns the empty set for polymorphic and 'unknown' values.
  - getObjectSetCacheSize
```
public static int getObjectSetCacheSize()
```
    Returns the object set cache size.
  - getObjectSourceLocations
```
public List<SourceLocation> getObjectSourceLocations()
```
    Returns the source locations of the objects in this value.
  - getPrefix
```
public String getPrefix()
```
    Description copied from interface: Str
    
    Returns the prefix value, or null if definitely not a fixed nonempty string followed by identifier parts.
    
    Specified by:
    
    getPrefix in interface Str
  - getPropertyReference
```
public PropertyReference getPropertyReference()
```
    Returns the property reference. Only to be called if the value is polymorphic.
  - getStr
```
public String getStr()
```
    Description copied from interface: Str
    
    Returns the singleton string value, or null if definitely not a singleton string.
    
    Specified by:
    
    getStr in interface Str
  - getValueCacheSize
```
public static int getValueCacheSize()
```
    Returns the value cache size.
  - 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 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.
  - isMaybeAbsent
```
public boolean isMaybeAbsent()
```
    Returns true if this value belongs to a maybe absent property.
  - 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
  - isMaybeAnyStr
```
public boolean isMaybeAnyStr()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any string.
    
    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.
    
    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
  - 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
  - isMaybeNumOther
```
public boolean isMaybeNumOther()
```
    Description copied from interface: Num
    
    Returns true if this value is maybe any non-UInt, non-Inf, 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
  - isMaybeObject
```
public boolean isMaybeObject()
```
    Returns true if this value maybe represents an object.
  - 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 not an UInt-number.
    
    Specified by:
    
    isMaybeOtherThanNumUInt in interface Num
  - isMaybeOtherThanObject
```
public boolean isMaybeOtherThanObject()
```
    Returns true if this value maybe represents something that isn't a object.
  - 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
  - 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
  - isMaybePresent
```
public boolean isMaybePresent()
```
    Returns true if this value is maybe present.
  - 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 non-object, including undefined and null.
  - isMaybeReadOnly
```
public boolean isMaybeReadOnly()
```
    Returns true is this value belongs to a property which maybe has ReadOnly set.
  - 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
  - isMaybeSingleStr
```
public boolean isMaybeSingleStr()
```
    Description copied from interface: Str
    
    Returns true if value is maybe a singleton string.
    
    Specified by:
    
    isMaybeSingleStr in interface Str
  - isMaybeStr
```
public boolean isMaybeStr(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.
    
    Specified by:
    
    isMaybeStrIdentifier in interface Str
  - isMaybeStrIdentifierParts
```
public boolean isMaybeStrIdentifierParts()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe any string consisting of identifier parts.
    
    Specified by:
    
    isMaybeStrIdentifierParts 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.
    
    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.
    
    Specified by:
    
    isMaybeStrOther 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.
    
    Specified by:
    
    isMaybeStrOtherNum in interface Str
  - isMaybeStrPrefixedIdentifierParts
```
public boolean isMaybeStrPrefixedIdentifierParts()
```
    Description copied from interface: Str
    
    Returns true if this value is maybe a fixed nonempty string followed by identifier parts.
    
    Specified by:
    
    isMaybeStrPrefixedIdentifierParts 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
  - 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.
    
    Specified by:
    
    isMaybeStrUInt in interface Str
  - 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.
    
    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
  - 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 is the abstract value representing no concrete values. (If a property value is none, the abstract object represents zero concrete objects.)
  - isNotAbsent
```
public boolean isNotAbsent()
```
    Returns true if this value belongs to a definitely present property.
  - 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.
  - 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
  - isStrIdentifierOrIdentifierParts
```
public boolean isStrIdentifierOrIdentifierParts()
```
    Description copied from interface: Str
    
    Returns true if this value is definitely an identifier or identifier-parts string.
    
    Specified by:
    
    isStrIdentifierOrIdentifierParts 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
  - isUnknown
```
public boolean isUnknown()
```
    Returns true if this value is 'unknown'.
  - join
```
public static Value join(Iterable<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 set_modified)
```
    Constructs a value as the join of this value and the given value.
    
    Parameters:
    set_modified - if true, the resulting value is marked as maybe modified if different from this value.
  - joinAbsent
```
public Value joinAbsent()
```
    Constructs a value as a copy of this value but marked as maybe absent.
  - joinAbsentWithModified
```
public Value joinAbsentWithModified()
```
    Constructs a value as a copy of this value but marked as maybe absent and marks it as maybe modified if the resulting value is different from this value.
  - joinAnyBool
```
public Value joinAnyBool()
```
    Description copied from interface: Bool
    
    Constructs a value as the join of this value and maybe 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 maybe 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 maybe 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 maybe 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 maybe 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 maybe 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 maybe 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 maybe 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 maybe 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 maybe 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
  - 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 maybe 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.
  - joinPrefixedIdentifierParts
```
public Value joinPrefixedIdentifierParts(String s)
```
    Description copied from interface: Str
    
    Constructs a value as the join of this value and the given prefixed identifier-parts string.
    
    Specified by:
    
    joinPrefixedIdentifierParts in interface Str
  - joinStr
```
public Value joinStr(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 maybe undefined.
    
    Specified by:
    
    joinUndef in interface Undef
  - joinWithModified
```
public Value joinWithModified(Value v)
```
    Constructs a value as the join of this value and the given value and marks it as maybe modified if the resulting value is different from this value.
  - 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.
  - makeAnyStr
```
public static Value makeAnyStr()
```
    Constructs the value describing any string.
  - makeAnyStrNotUInt
```
public static Value makeAnyStrNotUInt()
```
    Constructs the value describing any non-UInt string.
  - 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.
  - 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').
  - 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(Set<ObjectLabel> v)
```
    Constructs the value describing the given object labels.
  - makePolymorphic
```
public static Value makePolymorphic(PropertyReference var,
                    Value v)
```
    Constructs a fresh polymorphic value. Takes the attributes (including absence and presence) of the given value.
  - makeStr
```
public static Value makeStr(String s)
```
    Constructs the value describing the given string.
  - makeTemporaryStr
```
public static Str makeTemporaryStr(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.
  - printAttributes
```
public String printAttributes()
```
    Produces a string description of the attributes of this value.
  - remove
```
public Value remove(Value v)
```
    Returns a copy of this value where all parts that are also in the given value have been removed. It is assumed that this value subsumes v. If one value is unknown or polymorphic, then this value is returned. Note that the resulting value may be an over-approximation, for example if removing a single string from AnyString.
  - removeAttributes
```
public Value removeAttributes()
```
    Constructs a value as a copy of the given value but with all attributes definitely not set.
  - replaceObjectLabel
```
public Value replaceObjectLabel(ObjectLabel oldlabel,
                       ObjectLabel newlabel)
```
    Returns a copy of this value where the given object label has been replaced, if present. Does not change modified flags.
    
    Parameters:
    oldlabel - The object label to replace.
    newlabel - The object label to replace oldlabel with.
  - replaceObjectLabels
```
public Value replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m)
```
    Returns a copy of this value where the object labels have been replaced according to the given map. Does not change modified flags. Object labels not in the key set of the map are unchanged.
    
    Parameters:
    m - A map between old object labels and new object labels.
    
    Returns:
    A copy of the old value with the object labels replaced according to the map.
  - reset
```
public static void reset()
```
    Resets the cache.
  - restrictTo
```
public Value restrictTo(Value v)
```
    Constructs a value as a copy of this value but restricted according to the given value. The resulting value is subsumed by this value. Requires that both values are non-unknown and non-polymorphic.
  - restrictToBool
```
public Value restrictToBool()
```
    Constructs a value from this value where only the boolean facet is considered.
  - restrictToNotAbsent
```
public Value restrictToNotAbsent()
```
    Constructs a value as a copy of this value but definitely not absent.
  - 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
  - restrictToNotObject
```
public Value restrictToNotObject()
```
    Constructs a value as a copy of this value but only with non-object values. Unknown and polymorphic values are returned unmodified.
  - 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
  - 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
  - restrictToObject
```
public Value restrictToObject()
```
    Constructs a value as a copy of this value but only with object 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.
  - 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.
  - setBottomAttributes
```
public Value setBottomAttributes()
```
    Constructs a value as a copy of this value but with no attribute information.
  - 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.
  - setModifiedFrom
```
public Value setModifiedFrom(Value v)
```
    Constructs a copy of this value with the modified flag from the given value.
  - 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 String toString()
```
    Produces a string description of this value. Ignores attributes and modified flag.
    
    Overrides:
    
    toString in class Object
  - trim
```
public Value trim(Value v)
```
    Constructs a value by trimming this value according to the given value.
  - typeSize
```
public int typeSize()
```
    Returns the number of different types of this value. The possible types are here boolean/string/number/undef/object where null counts as an object. Polymorphic and unknown values count as 0.

Class Value

Method Summary

Methods inherited from class java.lang.Object

Method Detail

assertNonEmpty

diff

equals

getNum

getNumberOfObjectSetCacheHits

getNumberOfObjectSetCacheMisses

getNumberOfValueCacheHits

getNumberOfValueCacheMisses

getObjectLabels

getObjectSetCacheSize

getObjectSourceLocations

getPrefix

getPropertyReference

getStr

getValueCacheSize

hasDontDelete

hasDontEnum

hashCode

hasReadOnly

isDontDelete

isDontEnum

isExtendedScope

isMaybeAbsent

isMaybeAnyBool

isMaybeAnyNum

isMaybeAnyStr

isMaybeDontDelete

isMaybeDontEnum

isMaybeFalse

isMaybeFalseButNotTrue

isMaybeFuzzyNum

isMaybeFuzzyStr

isMaybeInf

isMaybeModified

isMaybeNaN

isMaybeNotDontDelete

isMaybeNotDontEnum

isMaybeNotReadOnly

isMaybeNull

isMaybeNumOther

isMaybeNumUInt

isMaybeObject

isMaybeOtherThanBool

isMaybeOtherThanNull

isMaybeOtherThanNum

isMaybeOtherThanNumUInt

isMaybeOtherThanObject

isMaybeOtherThanStr

isMaybeOtherThanUndef

isMaybePresent

isMaybePresentOrUnknown

isMaybePrimitive

isMaybeReadOnly

isMaybeSingleNum

isMaybeSingleNumUInt

isMaybeSingleStr

isMaybeStr

isMaybeStrIdentifier

isMaybeStrIdentifierParts

isMaybeStrJSON

isMaybeStrOnlyUInt

isMaybeStrOther

isMaybeStrOtherNum

isMaybeStrPrefixedIdentifierParts

isMaybeStrSomeNonUInt

isMaybeStrSomeUInt

isMaybeStrUInt

isMaybeTrue

isMaybeTrueButNotFalse

isMaybeUndef

isNaN

isNone

isNotAbsent

isNotBool

isNotDontDelete

isNotDontEnum