edu.utep.cs.utjml.rat
Class ArrayValue

java.lang.Object
  edu.utep.cs.utjml.rat.ArrayValue

All Implemented Interfaces:

Denotable

public class ArrayValue
extends Object
implements Denotable

A class to represent array values.

Version:

$Revision: 1.1 $

Author:

Yoonsik Cheon

Constructor Summary

ArrayValue(CType type, Denotable[] values)
Creates an array of given type and value.

Method Summary

static void	assign(Object array, int i, Denotable elem) Unwraps the given denotable, elem, and assigns it to the i-th element of the given array, array.
String	toString() Returns the string representation of this array.
Class	type() Returns the type of this array.
Object	value() Returns the value of this array.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ArrayValue

public ArrayValue(CType type,
                  Denotable[] values)

Creates an array of given type and value.

Method Detail

assign

public static void assign(Object array,
                          int i,
                          Denotable elem)

Unwraps the given denotable, elem, and assigns it to the i-th element of the given array, array.

type

public Class type()

Returns the type of this array.

Specified by:

type in interface Denotable

value

public Object value()

Returns the value of this array.

Specified by:

value in interface Denotable

toString

public String toString()

Returns the string representation of this array.

Specified by:

toString in interface Denotable

Overrides:

toString in class Object