public class ObjectVal
extends java.lang.Object
Constructor and Description |
---|
ObjectVal(java.lang.String name)
creates a new object value of the given name
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o)
Objects with equal names are equal.
|
java.lang.String |
get(java.lang.String field)
returns the currently associated valut to the specified field
|
java.lang.String |
getArrayValue(int i)
returns the i-th array element
|
java.util.Map<java.lang.Integer,java.lang.String> |
getArrayValues()
returns all values stored in this array
|
java.lang.String |
getFieldUsingSimpleName(java.lang.String name)
the value of the field specified by its short name
|
java.util.Map<java.lang.String,java.lang.String> |
getFieldvalues() |
java.util.Map<java.lang.String,java.lang.String> |
getFunValues()
returns the associated values for the given function names
|
int |
getLength()
returns the length of this array
|
java.lang.String |
getName()
queries the name of this entity
|
Sort |
getSort()
queries the sort of this entity
|
int |
hashCode()
computes the hashcode of this object
|
boolean |
isExactInstance()
queries whether the (exact) dynamic type of this object is known
|
java.lang.String |
put(java.lang.String field,
java.lang.String value)
associated a field to the given value
|
void |
putFunValue(java.lang.String fun,
java.lang.String val)
associate the function name with the given value
|
void |
setArrayValue(int i,
java.lang.String val)
set the i-th array element to the given value
|
void |
setArrayValues(java.util.Map<java.lang.Integer,java.lang.String> newArrayValues)
sets a set of values stored at the indexes of this arrays
|
void |
setExactInstance(boolean exactInstance)
sets the (exact) dynamic type of this object
|
void |
setFieldvalues(java.util.Map<java.lang.String,java.lang.String> fieldvalues) |
void |
setFunValues(java.util.Map<java.lang.String,java.lang.String> newFunValues)
sets a set of values to be associated with the given function names
|
void |
setLength(int length)
sets the length of this array
|
void |
setName(java.lang.String name)
sets the name of this entity
|
void |
setSort(Sort sort)
sets the sort of this object/array/function
|
java.lang.String |
toString()
textual representation of this object
|
public ObjectVal(java.lang.String name)
name
- the Object's namepublic void putFunValue(java.lang.String fun, java.lang.String val)
fun
- the name of the functionval
- the value to be associated with the specified functionpublic void setArrayValue(int i, java.lang.String val)
i
- the array indexval
- the valuepublic java.lang.String getArrayValue(int i)
i
- the index of the array element to be returnedpublic void setExactInstance(boolean exactInstance)
exactInstance
- the exactInstance to setpublic boolean isExactInstance()
public java.util.Map<java.lang.Integer,java.lang.String> getArrayValues()
public java.util.Map<java.lang.String,java.lang.String> getFunValues()
public void setName(java.lang.String name)
name
- the namepublic java.lang.String getName()
public Sort getSort()
public void setSort(Sort sort)
sort
- the sortpublic int getLength()
public void setLength(int length)
length
- the lengthpublic java.util.Map<java.lang.String,java.lang.String> getFieldvalues()
public void setFieldvalues(java.util.Map<java.lang.String,java.lang.String> fieldvalues)
fieldvalues
- the fieldvalues to setpublic java.lang.String get(java.lang.String field)
field
- the field namepublic java.lang.String put(java.lang.String field, java.lang.String value)
field
- the fieldvalue
- the value assigned to the specified fieldpublic java.lang.String getFieldUsingSimpleName(java.lang.String name)
name
- the short name of the fieldpublic java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
o
- the Object to be compared topublic void setArrayValues(java.util.Map<java.lang.Integer,java.lang.String> newArrayValues)
newArrayValues
- the map associated an array element to its valuepublic void setFunValues(java.util.Map<java.lang.String,java.lang.String> newFunValues)
newFunValues
- the map associated function names to their respective valueCopyright © 2003-2019 The KeY-Project.