public class ObjectProperty
extends java.lang.Object
ObjectLabel
and a Property
.
Immutable.Constructor and Description |
---|
ObjectProperty(ObjectLabel objlabel,
Property property)
Constructs an ObjectProperty.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj)
Indicates whether some other object is equal to this one.
|
Property.Kind |
getKind()
Returns the kind.
|
ObjectLabel |
getObjectLabel()
Returns the object label.
|
Property |
getProperty()
Returns the property.
|
PKey |
getPropertyName()
Returns the property key (for ordinary properties).
|
int |
hashCode()
Returns the hash code for this object.
|
static ObjectProperty |
makeDefaultNumeric(ObjectLabel objlabel)
Constructs an ObjectProperty for a default-numeric property.
|
static ObjectProperty |
makeDefaultOther(ObjectLabel objlabel)
Constructs an ObjectProperty for a default-non-numeric property.
|
static ObjectProperty |
makeInternalPrototype(ObjectLabel objlabel)
Constructs an ObjectProperty for an internal prototype property.
|
static ObjectProperty |
makeInternalScope(ObjectLabel objlabel)
Constructs an ObjectProperty for an internal scope property.
|
static ObjectProperty |
makeInternalValue(ObjectLabel objlabel)
Constructs an ObjectProperty for an internal value property.
|
static ObjectProperty |
makeOrdinary(ObjectLabel objlabel,
PKey propertyname)
Constructs an ObjectProperty for an ordinary property.
|
ObjectProperty |
makeRenamed(ObjectLabel new_objlabel)
Constructs a copy of this ObjectProperty but with another object label.
|
ObjectProperty |
makeSingleton()
Constructs a copy of this ObjectProperty but with a singleton object label instead of a summary object label.
|
java.lang.String |
toString()
Returns a string representation of the object.
|
public ObjectProperty(ObjectLabel objlabel, Property property)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public Property.Kind getKind()
public ObjectLabel getObjectLabel()
public Property getProperty()
public PKey getPropertyName()
public int hashCode()
hashCode
in class java.lang.Object
public static ObjectProperty makeDefaultNumeric(ObjectLabel objlabel)
public static ObjectProperty makeDefaultOther(ObjectLabel objlabel)
public static ObjectProperty makeInternalPrototype(ObjectLabel objlabel)
public static ObjectProperty makeInternalScope(ObjectLabel objlabel)
public static ObjectProperty makeInternalValue(ObjectLabel objlabel)
public static ObjectProperty makeOrdinary(ObjectLabel objlabel, PKey propertyname)
public ObjectProperty makeRenamed(ObjectLabel new_objlabel)
public ObjectProperty makeSingleton()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University