bottomtypetest.java

来自「一个查找java程序里bug的程序的源代码,该程序本身也是java写的,对提高j」· Java 代码 · 共 43 行

package edu.umd.cs.findbugs.ba.type;

import junit.framework.Assert;
import junit.framework.TestCase;

public class BottomTypeTest extends TestCase {
	private BottomType bottom;

	protected void setUp() {
		bottom = new BottomType();
	}

	public void testGetSignature() {
		Assert.assertEquals(bottom.getSignature(), SpecialTypeSignatures.BOTTOM_TYPE_SIGNATURE);
	}

	public void testNotReferenceType() {
		Assert.assertFalse(bottom.isReferenceType());
	}

	public void testNotBasicType() {
		Assert.assertFalse(bottom.isBasicType());
	}

	public void testNotValidArrayElementType() {
		Assert.assertFalse(bottom.isValidArrayElementType());
	}

	public void testNotValidArrayBaseType() {
		Assert.assertFalse(bottom.isValidArrayBaseType());
	}

	public void testEquals() {
		BottomType otherBottom = new BottomType();
		TopType top = new TopType();

		Assert.assertEquals(bottom, otherBottom);
		Assert.assertFalse(bottom.equals(top));
	}
}

// vim:ts=4