PropertyReference (TAJS)

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

public class PropertyReference
extends Object

Reference to an object property. Immutable.

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class PropertyReference.Kind
Kind of property being referenced.

Nested Classes
Modifier and Type	Class and Description
`static class`	`PropertyReference.Kind` Kind of property being referenced.

Method Summary

Methods
Modifier and Type	Method and Description
`boolean`	`equals(Object obj)` Indicates whether some other object is equal to this one.
`PropertyReference.Kind`	`getKind()` Returns the kind.
`ObjectLabel`	`getObjectLabel()` Returns the object label.
`String`	`getPropertyName()` Returns the property name (for ordinary properties).
`int`	`hashCode()` Returns the hash code for this object.
`static PropertyReference`	`makeDefaultArrayPropertyReference(ObjectLabel objlabel)` Constructs a reference to a default-array property.
`static PropertyReference`	`makeDefaultNonArrayPropertyReference(ObjectLabel objlabel)` Constructs a reference to a default-nonarray property.
`static PropertyReference`	`makeInternalPrototypePropertyReference(ObjectLabel objlabel)` Constructs a reference to an internal prototype property.
`static PropertyReference`	`makeInternalScopePropertyReference(ObjectLabel objlabel)` Constructs a reference to an internal scope property.
`static PropertyReference`	`makeInternalValuePropertyReference(ObjectLabel objlabel)` Constructs a reference to an internal value property.
`static PropertyReference`	`makeOrdinaryPropertyReference(ObjectLabel objlabel, String propertyname)` Constructs a reference to ordinary property.
`PropertyReference`	`makeRenamed(ObjectLabel new_objlabel)` Constructs a copy of this property reference but with another object label.
`PropertyReference`	`makeSingleton()` Constructs a copy of this property reference but with a singleton object label instead of a summary object label.
`String`	`toString()` Returns a string representation of the object.

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

- Method Detail
  - equals
```
public boolean equals(Object obj)
```
    Indicates whether some other object is equal to this one.
    
    Overrides:
    
    equals in class Object
  - getKind
```
public PropertyReference.Kind getKind()
```
    Returns the kind.
  - getObjectLabel
```
public ObjectLabel getObjectLabel()
```
    Returns the object label.
  - getPropertyName
```
public String getPropertyName()
```
    Returns the property name (for ordinary properties).
  - hashCode
```
public int hashCode()
```
    Returns the hash code for this object.
    
    Overrides:
    
    hashCode in class Object
  - makeDefaultArrayPropertyReference
```
public static PropertyReference makeDefaultArrayPropertyReference(ObjectLabel objlabel)
```
    Constructs a reference to a default-array property.
  - makeDefaultNonArrayPropertyReference
```
public static PropertyReference makeDefaultNonArrayPropertyReference(ObjectLabel objlabel)
```
    Constructs a reference to a default-nonarray property.
  - makeInternalPrototypePropertyReference
```
public static PropertyReference makeInternalPrototypePropertyReference(ObjectLabel objlabel)
```
    Constructs a reference to an internal prototype property.
  - makeInternalScopePropertyReference
```
public static PropertyReference makeInternalScopePropertyReference(ObjectLabel objlabel)
```
    Constructs a reference to an internal scope property.
  - makeInternalValuePropertyReference
```
public static PropertyReference makeInternalValuePropertyReference(ObjectLabel objlabel)
```
    Constructs a reference to an internal value property.
  - makeOrdinaryPropertyReference
```
public static PropertyReference makeOrdinaryPropertyReference(ObjectLabel objlabel,
                                              String propertyname)
```
    Constructs a reference to ordinary property.
  - makeRenamed
```
public PropertyReference makeRenamed(ObjectLabel new_objlabel)
```
    Constructs a copy of this property reference but with another object label.
  - makeSingleton
```
public PropertyReference makeSingleton()
```
    Constructs a copy of this property reference but with a singleton object label instead of a summary object label.
  - toString
```
public String toString()
```
    Returns a string representation of the object.
    
    Overrides:
    
    toString in class Object

Class PropertyReference

Nested Class Summary

Method Summary

Methods inherited from class java.lang.Object

Method Detail

equals

getKind

getObjectLabel

getPropertyName

hashCode

makeDefaultArrayPropertyReference

makeDefaultNonArrayPropertyReference

makeInternalPrototypePropertyReference

makeInternalScopePropertyReference

makeInternalValuePropertyReference

makeOrdinaryPropertyReference

makeRenamed

makeSingleton

toString