Package edu.umd.cfar.lamp.viper.util.reader

Class Summary
CountingStringTokenizer This class extends the StringTokenizer to also maintain a character index of each new token for error reporting.
VReader This class offers a "Preprocessor" to ViPER data files, removing comments and expanding #includes.