jack.plugin.edit
Class JavaScanner

java.lang.Object
  jack.plugin.edit.JavaScanner

Direct Known Subclasses:

BCScanner

public class JavaScanner

extends java.lang.Object

A simple scanner for Java and JML

Constructor Summary

JavaScanner()

Method Summary

java.lang.String[]	getFgKeywords()
int	getLength() Returns the ending location of the current token in the document.
int	getStartOffset() Returns the starting location of the current token in the document.
int	nextToken() Returns the next lexical token in the document.
void	setRange(java.lang.String text)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaScanner

public JavaScanner()

Method Detail

getFgKeywords

public java.lang.String[] getFgKeywords()

getLength

public final int getLength()

Returns the ending location of the current token in the document.

getStartOffset

public final int getStartOffset()

Returns the starting location of the current token in the document.

nextToken

public int nextToken()

Returns the next lexical token in the document.

setRange

public void setRange(java.lang.String text)