it.uniroma3.plasm.editors.util
Class PlasmWhitespaceDetector

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

All Implemented Interfaces:

org.eclipse.jface.text.rules.IWhitespaceDetector

public class PlasmWhitespaceDetector

extends java.lang.Object

implements org.eclipse.jface.text.rules.IWhitespaceDetector

This Detector object checks if a character can be considered a withe space. Requested by PlasmCodeScanner for syntax highlighting.

Author:

EcT(o)PLaSM Group

Constructor Summary

PlasmWhitespaceDetector()

Method Summary

boolean

isWhitespace(char c) Requested by IWhitespaceDetector interface, simply check if the given parameter c is a white space, a tab, a new line or a carriage return character

Methods inherited from class java.lang.Object

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

Constructor Detail

PlasmWhitespaceDetector

public PlasmWhitespaceDetector()

Method Detail

isWhitespace

public boolean isWhitespace(char c)

Requested by IWhitespaceDetector interface, simply check if the given parameter c is a white space, a tab, a new line or a carriage return character

Specified by:

isWhitespace in interface org.eclipse.jface.text.rules.IWhitespaceDetector

Parameters:

c - the character to examine

Returns:

true if c is ' ', '\t', '\n', '\r', false otherwise.