public class ConcreteArray extends java.lang.Object implements ConcreteValue
Constructor and Description |
---|
ConcreteArray(java.util.List<ConcreteValue> array,
java.util.Map<PKey,ConcreteValue> extraProperties)
Creates an array of concrete values, with some extra properties.
|
Modifier and Type | Method and Description |
---|---|
<T> T |
accept(ConcreteValueVisitor<T> v) |
boolean |
equals(java.lang.Object o) |
ConcreteValue |
get(int i) |
java.util.Map<PKey,ConcreteValue> |
getExtraProperties() |
int |
getLength() |
int |
hashCode() |
java.lang.String |
toSourceCode()
Converts this value to its source code representative.
|
java.lang.String |
toString() |
public ConcreteArray(java.util.List<ConcreteValue> array, java.util.Map<PKey,ConcreteValue> extraProperties)
public <T> T accept(ConcreteValueVisitor<T> v)
accept
in interface ConcreteValue
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public ConcreteValue get(int i)
public java.util.Map<PKey,ConcreteValue> getExtraProperties()
public int getLength()
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toSourceCode()
ConcreteValue
toSourceCode
in interface ConcreteValue
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University