UTJML

edu.utep.cs.utjml.tgen
Class ArrayValue

java.lang.Object
  extended by edu.utep.cs.utjml.tgen.ArrayValue
All Implemented Interfaces:
Denotable

public class ArrayValue
extends Object
implements Denotable

A class to represent array values.

Version:
$Revision: 1.6 $
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

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.