Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Cast.java

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 interface Cast
00006 {
00007     Object cast(Object o);
00008 }

Generated at Thu Feb 7 06:41:49 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001