tArrayTest.java

/*
 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
 *
 *  This file is licensed to You under the Eclipse Public License (EPL);
 *  You may not use this file except in compliance with the License. You
 *  may obtain a copy of the License at
 *
 *      http://www.opensource.org/licenses/eclipse-1.0.php
 *
 *  See the COPYRIGHT.txt file distributed with this work for information
 *  regarding copyright ownership.
 */
package jikesRVM.core.reflect;

import java.lang.reflect.Array;

import org.junit.Test;

import gov.nasa.jpf.util.test.TestJPF;

public class tArrayTest extends TestJPF {
	static String[] JPF_CONFIGURATION = new String[] { "+nhandler.delegateUnhandledNative", "+search.class=.search.RandomSearch", "+choice=MapChoice" };

	@Test
	public void main() throws Exception {
		if (verifyNoPropertyViolation(JPF_CONFIGURATION)) {
			tArray.main(null);
		}
	}
}

class tArray {

	private int i;

	tArray(int i) {
		this.i = i;
	}

	public String toString() {
		return "tArray " + i;
	}

	public static void main(String[] args) throws Exception {
		Class<?> elementType = Class.forName("jikesRVM.core.reflect.tArray");
		int length = 10;
		Object[] array = (Object[]) Array.newInstance(elementType, length);

		for (int i = 0, n = array.length; i < n; ++i)
			array[i] = new tArray(i);

		for (int i = 0, n = array.length; i < n; ++i) {
			System.out.println(i + ": " + array[i]);
			TestJPF.assertEquals("tArray " + i, array[i].toString());
		}
	}
}