---

TUnsignedShiftRight.java

package edu.ksu.cis.bandera.specification.predicate.node;

/* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */

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

public final class TUnsignedShiftRight extends Token
{
    public TUnsignedShiftRight()
    {
        super.setText(">>>");
    }
    public TUnsignedShiftRight(int line, int pos)
    {
        super.setText(">>>");
        setLine(line);
        setPos(pos);
    }
    public void apply(Switch sw)
    {
        ((Analysis) sw).caseTUnsignedShiftRight(this);
    }
    public Object clone()
    {
      return new TUnsignedShiftRight(getLine(), getPos());
    }
    public void setText(String text)
    {
        throw new RuntimeException("Cannot change TUnsignedShiftRight text.");
    }
}

---