it.uniroma3.plasm.editors.util
Class PlasmOperatorDetector

java.lang.Object
  it.uniroma3.plasm.editors.util.PlasmOperatorDetector

All Implemented Interfaces:

org.eclipse.jface.text.rules.IWordDetector

public class PlasmOperatorDetector

extends java.lang.Object

implements org.eclipse.jface.text.rules.IWordDetector

Defines the detector by which WordRule determines whether a given character is valid as part of a word in the current context. This implementation of the interface IWordDetector stores all PLaSM operators. Since it applies only on single character operators, the isWordPart method return always false.

Author:

EcT(o)PLaSM Group

See Also:

IWordDetector

Constructor Summary

PlasmOperatorDetector()

Method Summary

boolean	isWordPart(char c) Implements the isWordPart method from IWordDetector interface.
boolean	isWordStart(char c) Implements the isWordStart method from IWordDetector interface.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PlasmOperatorDetector

public PlasmOperatorDetector()

Method Detail

isWordStart

public boolean isWordStart(char c)

Implements the isWordStart method from IWordDetector interface. Checks if a character is valid as a first character of a PLaSM operator.

Specified by:

isWordStart in interface org.eclipse.jface.text.rules.IWordDetector

Parameters:

c - the character to be checked

Returns:

true if the given character c is a PLaSM operator

See Also:

IWordDetector.isWordStart(char)

isWordPart

public boolean isWordPart(char c)

Implements the isWordPart method from IWordDetector interface. Since PLaSM operators are single character words, this method is requested to return always false.

Specified by:

isWordPart in interface org.eclipse.jface.text.rules.IWordDetector

Parameters:

c - the character to be checked

Returns:

false

See Also:

IWordDetector.isWordPart(char)