}
public int getKeyword(int pos, boolean strict) {
+ // Pre condition
+ if (elem == null) {
+ return ScilabLexerConstants.DEFAULT;
+ }
+
Element line = elem.getElement(elem.getElementIndex(pos));
int end = line.getEndOffset();
int tok = -1;
/**
* This class is a scanner generated by
* <a href="http://www.jflex.de/">JFlex</a> 1.6.1
- * from the specification file <tt>../../../../jflex/function.jflex</tt>
+ * from the specification file <tt>modules/scinotes/src/java/jflex/function.jflex</tt>
*/
public final class FunctionScanner {
/**
* This class is a scanner generated by
* <a href="http://www.jflex.de/">JFlex</a> 1.6.1
- * from the specification file <tt>../../../../jflex/indentation.jflex</tt>
+ * from the specification file <tt>modules/scinotes/src/java/jflex/indentation.jflex</tt>
*/
public final class IndentScanner {
/**
* This class is a scanner generated by
* <a href="http://www.jflex.de/">JFlex</a> 1.6.1
- * from the specification file <tt>../../../../jflex/matchingblock.jflex</tt>
+ * from the specification file <tt>modules/scinotes/src/java/jflex/matchingblock.jflex</tt>
*/
public final class MatchingBlockScanner {
/**
* This class is a scanner generated by
* <a href="http://www.jflex.de/">JFlex</a> 1.6.1
- * from the specification file <tt>../../../../jflex/scilab.jflex</tt>
+ * from the specification file <tt>modules/scinotes/src/java/jflex/scilab.jflex</tt>
*/
public final class ScilabLexer extends ScilabLexerConstants {
}
public int getKeyword(int pos, boolean strict) {
+ // Pre condition
+ if (elem == null) {
+ return ScilabLexerConstants.DEFAULT;
+ }
+
Element line = elem.getElement(elem.getElementIndex(pos));
int end = line.getEndOffset();
int tok = -1;