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

java.lang.Object
  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()