Method: isVdmIdentifierStart(char)

1: /*
2: * #%~
3: * org.overture.ide.ui
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.ide.ui.editor.syntax;
23:
24: import org.eclipse.jface.text.rules.IWordDetector;
25:
26: public class VdmWordDetector implements IWordDetector {
27:
28:         /*
29:          * (non-Javadoc) Method declared on IWordDetector.
30:          */
31:         public boolean isWordPart(char character) {
32:                 return Character.isJavaIdentifierPart(character);
33:         }
34:
35:         /*
36:          * (non-Javadoc) Method declared on IWordDetector.
37:          */
38:         public boolean isWordStart(char character) {
39:                 return Character.isJavaIdentifierStart(character)
40:                                 || isVdmIdentifierStart(character);
41:         }
42:
43:         private boolean isVdmIdentifierStart(char character) {
44:                 boolean isIdentifier = false;
45:•                switch (character) {
46:                 case '#':
47:                 //case '<':
48:                         isIdentifier = true;
49:                 
50:                         
51:                 default:
52:
53:                 }
54:                 return isIdentifier;
55:         }
56:
57: }