Obj (TAJS)

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

```
public final class Obj
extends Object
```
Abstract object. Mutable.

Constructor Summary

Constructors
Constructor and Description

Obj(Obj x)
Creates a new abstract object as a copy of the given.

Constructors
Constructor and Description
`Obj(Obj x)` Creates a new abstract object as a copy of the given.

Method Summary

Methods
Modifier and Type	Method and Description
`boolean`	`addToScopeChain(ScopeChain newscope)` Adds to the internal [[Scope]] property.
`void`	`clearModified()` Clears modified flags for all values.
`void`	`diff(Obj old, StringBuilder b)` Returns a description of the changes from the old object to this object.
`boolean`	`equals(Object obj)` Checks whether the given abstract object is equal to this one.
`Set<ObjectLabel>`	`getAllObjectLabels()` Returns the set of all object labels used in this abstract object 'unknown' values are ignored.
`Value`	`getDefaultArrayProperty()` Returns the value of the default array property.
`Value`	`getDefaultNonArrayProperty()` Returns the value of the default non-array property.
`Value`	`getInternalPrototype()` Returns the value of the internal [[Prototype]] property.
`Value`	`getInternalValue()` Returns the value of the internal [[Value]] property.
`static int`	`getNumberOfMakeWritablePropertiesCalls()` Returns the total number of makeWritableProperties operations.
`static int`	`getNumberOfObjsCreated()` Returns the total number of Obj objects created.
`int`	`getNumberOfProperties()` Returns the size of the properties map.
`Map<String,Value>`	`getProperties()` Returns all properties, excluding the defaults and internal properties.
`Value`	`getProperty(String propertyname)` Returns the value of the given property, considering defaults if necessary.
`Set<String>`	`getPropertyNames()` Returns all property names, excluding the defaults and internal properties.
`ScopeChain`	`getScopeChain()` Returns the value of the internal [[Scope]] property.
`Value`	`getValue(PropertyReference prop)` Returns the designated value.
`int`	`hashCode()` Computes the hash code for this abstract object.
`boolean`	`isNone()` Checks whether all properties have the none value.
`boolean`	`isScopeChainUnknown()` Returns true if internal [[Scope]] property is 'unknown'.
`boolean`	`isSomeNonArrayPropertyUnknown()` Checks whether some non-array property is unknown, including the default.
`boolean`	`isUnknown()` Checks whether all properties have 'unknown' value.
`static Obj`	`makeAbsentModified()` Constructs an abstract object where all properties are absent (but modified) and scope is set to empty.
`static Obj`	`makeNone()` Constructs an abstract object where all properties are none and scope is set to empty.
`static Obj`	`makeUnknown()` Constructs an abstract object where all properties have 'unknown' value.
`String`	`printModified()` Prints the maybe modified properties.
`void`	`remove(Obj obj)` Removes the parts of this object that are also in the given object.
`void`	`replaceNonModifiedParts(Obj other)` Replaces all definitely non-modified properties in this object by the corresponding properties of other.
`void`	`replaceObjectLabel(ObjectLabel oldlabel, ObjectLabel newlabel, Map<ScopeChain,ScopeChain> cache)` Replaces all occurrences of oldlabel by newlabel.
`void`	`replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m, Map<ScopeChain,ScopeChain> cache)` Replaces all object labels according to the given map.
`static void`	`reset()` Resets the global counters.
`void`	`setDefaultArrayProperty(Value v)` Sets the value of the default array property.
`void`	`setDefaultNonArrayProperty(Value v)` Sets the value of the default non-array property.
`void`	`setInternalPrototype(Value v)` Sets the internal [[Prototype]] property.
`void`	`setInternalValue(Value v)` Sets the internal [[Value]] property.
`void`	`setProperties(Map<String,Value> properties)` Sets the property map.
`void`	`setProperty(String propertyname, Value v)` Sets the given property.
`void`	`setScopeChain(ScopeChain scope)` Sets the internal [[Scope]] property.
`void`	`setTo(Obj x)` Sets this object to be a copy of the given.
`void`	`summarize(Summarized s)` Summarizes the object labels in this object.
`String`	`toString()` Produces a string description of this abstract object.
`void`	`trim(Obj obj)` Trims this object according to the given existing object.

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

- Constructor Detail
  - Obj
```
public Obj(Obj x)
```
    Creates a new abstract object as a copy of the given.
- Method Detail
  - addToScopeChain
```
public boolean addToScopeChain(ScopeChain newscope)
```
    Adds to the internal [[Scope]] property.
    
    Returns:
    true if changed
  - clearModified
```
public void clearModified()
```
    Clears modified flags for all values.
  - diff
```
public void diff(Obj old,
        StringBuilder b)
```
    Returns a description of the changes from the old object to this object. It is assumed that the old object is less than this object and that no explicit property has been moved to default_other_property or default_array_property.
  - equals
```
public boolean equals(Object obj)
```
    Checks whether the given abstract object is equal to this one.
    
    Overrides:
    
    equals in class Object
  - getAllObjectLabels
```
public Set<ObjectLabel> getAllObjectLabels()
```
    Returns the set of all object labels used in this abstract object 'unknown' values are ignored.
  - getDefaultArrayProperty
```
public Value getDefaultArrayProperty()
```
    Returns the value of the default array property.
  - getDefaultNonArrayProperty
```
public Value getDefaultNonArrayProperty()
```
    Returns the value of the default non-array property.
  - getInternalPrototype
```
public Value getInternalPrototype()
```
    Returns the value of the internal [[Prototype]] property.
  - getInternalValue
```
public Value getInternalValue()
```
    Returns the value of the internal [[Value]] property.
  - getNumberOfMakeWritablePropertiesCalls
```
public static int getNumberOfMakeWritablePropertiesCalls()
```
    Returns the total number of makeWritableProperties operations.
  - getNumberOfObjsCreated
```
public static int getNumberOfObjsCreated()
```
    Returns the total number of Obj objects created.
  - getNumberOfProperties
```
public int getNumberOfProperties()
```
    Returns the size of the properties map.
  - getProperties
```
public Map<String,Value> getProperties()
```
    Returns all properties, excluding the defaults and internal properties. The map is *not* made writable.
  - getProperty
```
public Value getProperty(String propertyname)
```
    Returns the value of the given property, considering defaults if necessary. Never returns null, may return 'unknown'.
  - getPropertyNames
```
public Set<String> getPropertyNames()
```
    Returns all property names, excluding the defaults and internal properties.
  - getScopeChain
```
public ScopeChain getScopeChain()
```
    Returns the value of the internal [[Scope]] property. Assumed to be non-'unknown'.
  - getValue
```
public Value getValue(PropertyReference prop)
```
    Returns the designated value.
  - hashCode
```
public int hashCode()
```
    Computes the hash code for this abstract object.
    
    Overrides:
    
    hashCode in class Object
  - isNone
```
public boolean isNone()
```
    Checks whether all properties have the none value.
  - isScopeChainUnknown
```
public boolean isScopeChainUnknown()
```
    Returns true if internal [[Scope]] property is 'unknown'.
  - isSomeNonArrayPropertyUnknown
```
public boolean isSomeNonArrayPropertyUnknown()
```
    Checks whether some non-array property is unknown, including the default.
  - isUnknown
```
public boolean isUnknown()
```
    Checks whether all properties have 'unknown' value.
  - makeAbsentModified
```
public static Obj makeAbsentModified()
```
    Constructs an abstract object where all properties are absent (but modified) and scope is set to empty.
  - makeNone
```
public static Obj makeNone()
```
    Constructs an abstract object where all properties are none and scope is set to empty.
  - makeUnknown
```
public static Obj makeUnknown()
```
    Constructs an abstract object where all properties have 'unknown' value.
  - printModified
```
public String printModified()
```
    Prints the maybe modified properties. Internal properties are ignored.
  - remove
```
public void remove(Obj obj)
```
    Removes the parts of this object that are also in the given object. It is assumed that this object subsumes the given object, but the defaults may not cover the same properties.
  - replaceNonModifiedParts
```
public void replaceNonModifiedParts(Obj other)
```
    Replaces all definitely non-modified properties in this object by the corresponding properties of other.
  - replaceObjectLabel
```
public void replaceObjectLabel(ObjectLabel oldlabel,
                      ObjectLabel newlabel,
                      Map<ScopeChain,ScopeChain> cache)
```
    Replaces all occurrences of oldlabel by newlabel. Does not change modified flags. Ignores 'unknown' values.
  - replaceObjectLabels
```
public void replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m,
                       Map<ScopeChain,ScopeChain> cache)
```
    Replaces all object labels according to the given map. Does not change modified flags. Object labels not in the key set of the map are unchanged. Ignores 'unknown' values.
  - reset
```
public static void reset()
```
    Resets the global counters.
  - setDefaultArrayProperty
```
public void setDefaultArrayProperty(Value v)
```
    Sets the value of the default array property.
  - setDefaultNonArrayProperty
```
public void setDefaultNonArrayProperty(Value v)
```
    Sets the value of the default non-array property.
  - setInternalPrototype
```
public void setInternalPrototype(Value v)
```
    Sets the internal [[Prototype]] property.
  - setInternalValue
```
public void setInternalValue(Value v)
```
    Sets the internal [[Value]] property.
  - setProperties
```
public void setProperties(Map<String,Value> properties)
```
    Sets the property map. Also marks the property map as writable.
  - setProperty
```
public void setProperty(String propertyname,
               Value v)
```
    Sets the given property.
  - setScopeChain
```
public void setScopeChain(ScopeChain scope)
```
    Sets the internal [[Scope]] property.
  - setTo
```
public void setTo(Obj x)
```
    Sets this object to be a copy of the given.
  - summarize
```
public void summarize(Summarized s)
```
    Summarizes the object labels in this object.
  - toString
```
public String toString()
```
    Produces a string description of this abstract object.
    
    Overrides:
    
    toString in class Object
  - trim
```
public void trim(Obj obj)
```
    Trims this object according to the given existing object.

Class Obj

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

Obj

Method Detail

addToScopeChain

clearModified

diff

equals

getAllObjectLabels

getDefaultArrayProperty

getDefaultNonArrayProperty

getInternalPrototype

getInternalValue

getNumberOfMakeWritablePropertiesCalls

getNumberOfObjsCreated

getNumberOfProperties

getProperties

getProperty

getPropertyNames

getScopeChain

getValue

hashCode

isNone

isScopeChainUnknown

isSomeNonArrayPropertyUnknown

isUnknown

makeAbsentModified

makeNone

makeUnknown

printModified

remove

replaceNonModifiedParts

replaceObjectLabel

replaceObjectLabels

reset

setDefaultArrayProperty

setDefaultNonArrayProperty

setInternalPrototype

setInternalValue

setProperties

setProperty

setScopeChain

setTo

summarize

toString

trim