org.eclipse.text.tests/src/org/eclipse/text/tests/PositionUpdatingCornerCasesTest.java

/*******************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
package org.eclipse.text.tests;

import junit.awtui.TestRunner;
import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.BadPositionCategoryException;
import org.eclipse.jface.text.Document;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.Position;



public class PositionUpdatingCornerCasesTest extends TestCase {
	
	private Document fDocument;
	
	
	public PositionUpdatingCornerCasesTest(String name) {
		super(name);
	}
	
	
	public static void main(String args[]) {
		String a[] = { "org.eclipse.jface.text.test.PositionUpdatingCornerCasesTest"};
		TestRunner.main(a);
	}

	protected void checkPositions(Position[] expected) {
	
		try {
			
			Position[] actual= fDocument.getPositions(IDocument.DEFAULT_CATEGORY);
			assertTrue("invalid number of positions", actual.length == expected.length);
	
			for (int i= 0; i < expected.length; i++) {
				assertEquals(print(actual[i]) + " != " + print(expected[i]), expected[i], actual[i]);
			}
			
		} catch (BadPositionCategoryException x) {
			assertTrue("BadPositionCategoryException thrown", false);
		}
		
	}
	
	protected String print(Position p) {
		return "[" + p.getOffset() + "," + p.getLength() + "]";
	}
	
	protected void setUp() {
		
		fDocument= new Document("x-x-x-x-x-x-x-x-x-x-x");
	
		try {
			fDocument.addPosition(new Position( 0, 0));
			fDocument.addPosition(new Position( 0, 1));
			fDocument.addPosition(new Position( 5, 0));
			fDocument.addPosition(new Position( 5, 3));
		} catch (BadLocationException x) {
			assertTrue("initilization failed", false);
		}
	}
	
	public static Test suite() {
		return new TestSuite(PositionUpdatingCornerCasesTest.class); 
	}
	
	protected void tearDown () {
		fDocument= null;
	}
	
	public void testInsert() {
	
		try {
	
			fDocument.replace(0, 0, "yy");
		
		} catch (BadLocationException x) {
			assertTrue("BadLocationException thrown", false);
		}
		
		Position[] positions= new Position[] {
			new Position( 2, 1),
			new Position( 2, 0),
			new Position( 7, 3),
			new Position( 7, 0)
		};
	
		checkPositions(positions);
	}	
}