edu.wis.jtlv.env.core.smv.schema
Class SMVParsingInfo

java.lang.Object
  extended by edu.wis.jtlv.env.core.smv.schema.SMVParsingInfo

public class SMVParsingInfo
extends java.lang.Object


Field Summary
 int column_no
           
 int row_no
           
 
Constructor Summary
SMVParsingInfo(org.antlr.runtime.IntStream an_input)
           
 
Method Summary
 org.antlr.runtime.IntStream get_input()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

row_no

public int row_no

column_no

public int column_no
Constructor Detail

SMVParsingInfo

public SMVParsingInfo(org.antlr.runtime.IntStream an_input)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

get_input

public org.antlr.runtime.IntStream get_input()