jack.plugin.edit
Class BCScanner

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

public class BCScanner

extends JavaScanner

A simple scanner for Java and JML

Constructor Summary

BCScanner()

Method Summary

java.lang.String[]

getFgKeywords()

Methods inherited from class jack.plugin.edit.JavaScanner

getLength, getStartOffset, nextToken, setRange

Methods inherited from class java.lang.Object

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

Constructor Detail

BCScanner

public BCScanner()

Method Detail

getFgKeywords

public java.lang.String[] getFgKeywords()

Overrides:

getFgKeywords in class JavaScanner