dk.brics.tajs.analysis.nativeobjects.concrete

Class ConcreteArray

java.lang.Object

dk.brics.tajs.analysis.nativeobjects.concrete.ConcreteArray

All Implemented Interfaces:

ConcreteValue

public class ConcreteArray
extends java.lang.Object
implements ConcreteValue

Constructor Summary

Constructors

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.

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConcreteArray

public ConcreteArray(java.util.List<ConcreteValue> array,
                     java.util.Map<PKey,ConcreteValue> extraProperties)

Creates an array of concrete values, with some extra properties. NB: the extra properties are *not* represented in the toSourceCode result!

Method Detail

accept

public <T> T accept(ConcreteValueVisitor<T> v)

Specified by:

accept in interface ConcreteValue

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

get

public ConcreteValue get(int i)

getExtraProperties

public java.util.Map<PKey,ConcreteValue> getExtraProperties()

getLength

public int getLength()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toSourceCode

public java.lang.String toSourceCode()

Description copied from interface: ConcreteValue

Converts this value to its source code representative.

Specified by:

toSourceCode in interface ConcreteValue

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object