|
|||||||||||
| 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.IWordDetectorc - the character to examine
IWordDetector.isWordStart(char)public boolean isWordPart(char c)
isWordPart in interface org.eclipse.jface.text.rules.IWordDetectorc - the character to check
IWordDetector.isWordPart(char)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||