---

TokenIndex.java

package edu.ksu.cis.bandera.specification.parser;

/* This file was generated by SableCC (http://www.sablecc.org/). */

import edu.ksu.cis.bandera.specification.node.*;
import edu.ksu.cis.bandera.specification.analysis.*;

class TokenIndex extends AnalysisAdapter
{
    int index;

    public void caseEOF(EOF node)
    {
        index = 31;
    }
    public void caseTAnd(TAnd node)
    {
        index = 6;
    }
    public void caseTAssertion(TAssertion node)
    {
        index = 28;
    }
    public void caseTAssertions(TAssertions node)
    {
        index = 25;
    }
    public void caseTColon(TColon node)
    {
        index = 10;
    }
    public void caseTComma(TComma node)
    {
        index = 18;
    }
    public void caseTDocumentationComment(TDocumentationComment node)
    {
        index = 0;
    }
    public void caseTDot(TDot node)
    {
        index = 9;
    }
    public void caseTDoubleQuote(TDoubleQuote node)
    {
        index = 19;
    }
    public void caseTEnable(TEnable node)
    {
        index = 24;
    }
    public void caseTForall(TForall node)
    {
        index = 26;
    }
    public void caseTGreater(TGreater node)
    {
        index = 4;
    }
    public void caseTId(TId node)
    {
        index = 30;
    }
    public void caseTImply(TImply node)
    {
        index = 5;
    }
    public void caseTImport(TImport node)
    {
        index = 23;
    }
    public void caseTInstance(TInstance node)
    {
        index = 3;
    }
    public void caseTLBrace(TLBrace node)
    {
        index = 14;
    }
    public void caseTLBracket(TLBracket node)
    {
        index = 12;
    }
    public void caseTLess(TLess node)
    {
        index = 1;
    }
    public void caseTLessEqual(TLessEqual node)
    {
        index = 2;
    }
    public void caseTLParen(TLParen node)
    {
        index = 16;
    }
    public void caseTMinus(TMinus node)
    {
        index = 22;
    }
    public void caseTNot(TNot node)
    {
        index = 8;
    }
    public void caseTNumber(TNumber node)
    {
        index = 29;
    }
    public void caseTOr(TOr node)
    {
        index = 7;
    }
    public void caseTPlus(TPlus node)
    {
        index = 21;
    }
    public void caseTPredicate(TPredicate node)
    {
        index = 27;
    }
    public void caseTRBrace(TRBrace node)
    {
        index = 15;
    }
    public void caseTRBracket(TRBracket node)
    {
        index = 13;
    }
    public void caseTRParen(TRParen node)
    {
        index = 17;
    }
    public void caseTSemicolon(TSemicolon node)
    {
        index = 11;
    }
    public void caseTStar(TStar node)
    {
        index = 20;
    }
}

---