r/org.eclipse.statet.nico.ui/src/org/eclipse/statet/internal/nico/ui/console/InputDocument.java

/*=============================================================================#
 # Copyright (c) 2005, 2020 Stephan Wahlbrink and others.
 # 
 # This program and the accompanying materials are made available under the
 # terms of the Eclipse Public License 2.0 which is available at
 # https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
 # which is available at https://www.apache.org/licenses/LICENSE-2.0.
 # 
 # SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
 # 
 # Contributors:
 #     Stephan Wahlbrink <sw@wahlbrink.eu> - initial API and implementation
 #=============================================================================*/

package org.eclipse.statet.internal.nico.ui.console;

import java.util.regex.Pattern;

import org.eclipse.jface.text.AbstractDocument;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.DefaultLineTracker;
import org.eclipse.jface.text.GapTextStore;

import org.eclipse.statet.ecommons.text.core.util.AbstractFragmentDocument;
import org.eclipse.statet.ecommons.text.core.util.AbstractSynchronizableDocument;


public class InputDocument extends AbstractFragmentDocument {
	
	
	private static class MasterDocument extends AbstractSynchronizableDocument {
		
		public MasterDocument(final Object lockObject) {
			super(lockObject);
			
			setTextStore(new GapTextStore(128, 512, 0.1f));
			setLineTracker(new DefaultLineTracker());
			completeInitialization();
		}
		
	}
	
	
	private static Pattern gLineSeparatorPattern = Pattern.compile("\\r[\\n]?|\\n"); //$NON-NLS-1$
	
	
	public InputDocument() {
		super();
		
		setTextStore(new GapTextStore(128, 512, 0.1f));
		setLineTracker(new DefaultLineTracker());
		completeInitialization();
	}
	
	
	@Override
	protected AbstractDocument createMasterDocument() {
		return new MasterDocument(getLockObject());
	}
	
	@Override
	public void setPrefix(final String text) {
		super.setPrefix(text);
	}
	
	
	protected String checkText(final String text) {
		return gLineSeparatorPattern.matcher(text).replaceAll(""); //$NON-NLS-1$
	}
	
	@Override
	public void set(final String text) {
		super.set(checkText(text));
	}
	
	@Override
	public void set(final String text, final long modificationStamp) {
		super.set(checkText(text), modificationStamp);
	}
	
	@Override
	public void replace(final int offset, final int length, final String text, final long modificationStamp) throws BadLocationException {
		super.replace(offset, length, checkText(text), modificationStamp);
	}
	
// Method above is called in super
//	@Override
//	public void replace(final int offset, final int length, final String text) throws BadLocationException {
//		super.replace(offset, length, checkText(text));
//	}
	
}