Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'extraplugins/marte/org.eclipse.papyrus.parsers/src/org/eclipse/papyrus/parsers/texteditor/WhitespaceDetector.java')
-rw-r--r--extraplugins/marte/org.eclipse.papyrus.parsers/src/org/eclipse/papyrus/parsers/texteditor/WhitespaceDetector.java43
1 files changed, 0 insertions, 43 deletions
diff --git a/extraplugins/marte/org.eclipse.papyrus.parsers/src/org/eclipse/papyrus/parsers/texteditor/WhitespaceDetector.java b/extraplugins/marte/org.eclipse.papyrus.parsers/src/org/eclipse/papyrus/parsers/texteditor/WhitespaceDetector.java
deleted file mode 100644
index 4fb72cdb56c..00000000000
--- a/extraplugins/marte/org.eclipse.papyrus.parsers/src/org/eclipse/papyrus/parsers/texteditor/WhitespaceDetector.java
+++ /dev/null
@@ -1,43 +0,0 @@
-/*****************************************************************************
- * Copyright (c) 2008 CEA LIST.
- *
- *
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors:
- * Remi Schnekenburger (CEA LIST) Remi.Schnekenburger@cea.fr - Initial API and implementation
- *
- *****************************************************************************/
-package org.eclipse.papyrus.parsers.texteditor;
-
-import org.eclipse.jface.text.rules.IWhitespaceDetector;
-
-/**
- * Basic whitespace detector for the scanner.<BR>
- * It defines the class by which WhitespaceRule determines whether a given character is to be
- * considered whitespace in the current context.
- *
- * @author Remi SCHNEKENBURGER
- * @see org.eclipse.jface.text.rules.IWhitespaceDetector
- */
-public class WhitespaceDetector implements IWhitespaceDetector {
-
- /*
- * (non-Javadoc)
- *
- * @see org.eclipse.jface.text.rules.IWhitespaceDetector#isWhitespace(char)
- */
- /**
- *
- *
- * @param character
- *
- * @return
- */
- public boolean isWhitespace(char character) {
- return Character.isWhitespace(character);
- }
-}

Back to the top