| 
|||||||||||
| 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 | ||||||||||