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 PPropositionDefinition extends Node
00006 {
00007 public abstract TId getId(); // robbyjo's patch
00008 }
1.2.10 written by Dimitri van Heesch,
© 1997-2001