|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectit.uniroma3.plasm.editors.util.PlasmWordDetector
A PLaSM word detector for common words.
Constructor Summary | |
PlasmWordDetector()
|
Method Summary | |
boolean |
isWordPart(char c)
Checks if the given character c is a valid PLaSM internal word character |
boolean |
isWordStart(char c)
Checks if a character is a valid PLaSM word initial character. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public PlasmWordDetector()
Method Detail |
public boolean isWordStart(char c)
isWordStart
in interface org.eclipse.jface.text.rules.IWordDetector
c
- the character to examine
IWordDetector.isWordStart(char)
public boolean isWordPart(char c)
isWordPart
in interface org.eclipse.jface.text.rules.IWordDetector
c
- the character to check
IWordDetector.isWordPart(char)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |