PAExprSwitch.java Source File

00001 package edu.ksu.cis.bandera.jext;
00002 
00003 /**
00004  * Insert the type's description here.
00005  * Creation date: (4/11/01 2:36:48 AM)
00006  * @author: Roby Joehanes
00007  */
00008 public interface PAExprSwitch extends BanderaExprSwitch {
00009     public void caseHookExpr(HookExpr v);
00010     public void caseLogicalNotExpr(LogicalNotExpr v);
00011 }