JML

org.multijava.mjc
Class ParsingController.InputState

java.lang.Object
  extended byantlr.LexerSharedInputState
      extended byorg.multijava.mjc.ParsingController.InputState
Enclosing class:
ParsingController

static class ParsingController.InputState
extends antlr.LexerSharedInputState

This nested class is a hack to expose the line and column fields of LexerSharedInputState for reading.


Field Summary
private  File file
           
 
Fields inherited from class antlr.LexerSharedInputState
column, filename, guessing, input, line, tokenStartColumn, tokenStartLine
 
Constructor Summary
ParsingController.InputState(Reader r, File file)
           
 
Method Summary
 int column()
           
 File file()
           
 int line()
           
 
Methods inherited from class antlr.LexerSharedInputState
reset
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

file

private final File file
Constructor Detail

ParsingController.InputState

public ParsingController.InputState(Reader r,
                                    File file)
Method Detail

line

public int line()

column

public int column()

file

public File file()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.