// Decompiled by Jad v1.5.8e2. Copyright 2001 Pavel Kouznetsov.
// Jad home page: http://kpdus.tripod.com/jad.html
// Decompiler options: packimports(3) space 
// Source File Name:   IUndoVisitor.java

package model;


public interface IUndoVisitor
{

  public abstract void noTokenCase();

  public abstract void tokenCase(int i);
}