00001 package edu.ksu.cis.bandera.specification.predicate.node; 00002 00003 /* This file was generated by SableCC (http://www.sable.mcgill.ca/sablecc/). */ 00004 00005 public abstract class PPostfixExp extends Node 00006 { 00007 }