State.java Source File

00001 package edu.ksu.cis.bandera.specification.parser;
00002 
00003 /* This file was generated by SableCC (http://www.sablecc.org/). */
00004 
00005 final class State
00006 {
00007     int state;
00008     Object node;
00009 
00010     State(int state, Object node)
00011     {
00012         this.state = state;
00013         this.node = node;
00014     }
00015 }