package edu.umd.cs.findbugs;

import java.util.Iterator;
import java.util.NoSuchElementException;

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

public class BugInstanceTest extends TestCase {
	static {
		// Load detector plugins
		DetectorFactoryCollection.instance();
	}
	
	BugInstance b;
	
	//@Override
	protected void setUp() throws Exception {
		b = new BugInstance("NP_NULL_DEREF", Detector.NORMAL_PRIORITY);
		b.setProperty("A", "a");
		b.setProperty("B", "b");
		b.setProperty("C", "c");
	}
	
	public void testPropertyIterator() {
		checkPropertyIterator(b.propertyIterator(),
				new String[]{"A","B","C"}, new String[]{"a","b","c"});
	}
	
	public void testRemoveThroughIterator1() {
		removeThroughIterator(b.propertyIterator(), "A");
		checkPropertyIterator(b.propertyIterator(), new String[]{"B","C"}, new String[]{"b","c"});
	}
	
	public void testRemoveThroughIterator2() {
		removeThroughIterator(b.propertyIterator(), "B");
		checkPropertyIterator(b.propertyIterator(), new String[]{"A","C"}, new String[]{"a","c"});
	}
	
	public void testRemoveThroughIterator3() {
		removeThroughIterator(b.propertyIterator(), "C");
		checkPropertyIterator(b.propertyIterator(), new String[]{"A","B"}, new String[]{"a","b"});
	}
	
	public void testIterateTooFar() {
		Iterator<BugProperty> iter = b.propertyIterator();
		get(iter);
		get(iter);
		get(iter);
		noMore(iter);
	}
	
	public void testMultipleRemove() {
		Iterator<BugProperty> iter = b.propertyIterator();
		iter.next();
		iter.remove();
		try {
			iter.remove();
			Assert.assertTrue(false);
		} catch (IllegalStateException e) {
			// Good.
		}
	}
	
	public void testRemoveBeforeNext() {
		Iterator<BugProperty> iter = b.propertyIterator();
		try {
			iter.remove();
			Assert.assertTrue(false);
		} catch (IllegalStateException e) {
			// Good
		}
	}

	private void get(Iterator<BugProperty> iter) {
		try {
			iter.next();
			// Good
		} catch (NoSuchElementException e) {
			Assert.assertTrue(false);
		}
	}

	private void noMore(Iterator<BugProperty> iter) {
		try {
			iter.next();
			Assert.assertTrue(false);
		} catch (NoSuchElementException e) {
			// Good
		}
	}

	private void checkPropertyIterator(Iterator<BugProperty> iter, String[] names, String[] values) {
		if (names.length != values.length)
			throw new IllegalArgumentException();
		for (int i = 0; i < names.length; ++i) {
			Assert.assertTrue(iter.hasNext());
			String name = names[i];
			String value = values[i];
			checkProperty(iter.next(), name, value);
		}
		Assert.assertFalse(iter.hasNext());
	}
	
	private void checkProperty(BugProperty property, String name, String value) {
		Assert.assertEquals(property.getName(), name);
		Assert.assertEquals(property.getValue(), value);
	}
	
	private void removeThroughIterator(Iterator<BugProperty> iter, String name) {
		while (iter.hasNext()) {
			BugProperty prop = iter.next();
			if (prop.getName().equals(name))
				iter.remove();
		}
	}
}

@@ -1819,32 +1819,395 @@
 %09%09// Good%0A%09%09%7D%0A%09%7D
+%0A%09%0A%09public void testRemoveAndAdd() %7B%0A%09%09removeThroughIterator(b.propertyIterator(), %22C%22);%0A%09%09b.setProperty(%22D%22, %22d%22);%0A%09%09checkPropertyIterator(b.propertyIterator(),%0A%09%09%09%09new String%5B%5D%7B%22A%22,%22B%22,%22D%22%7D, new String%5B%5D%7B%22a%22,%22b%22,%22d%22%7D);%0A%09%09b.setProperty(%22E%22, %22e%22);%0A%09%09checkPropertyIterator(b.propertyIterator(),%0A%09%09%09%09new String%5B%5D%7B%22A%22,%22B%22,%22D%22,%22E%22%7D, new String%5B%5D%7B%22a%22,%22b%22,%22d%22,%22e%22%7D);%0A%09%7D
 %0A%0A%09private void 

Test removing at end of properties and then adding new properties, to ensure tail is updated correctly.