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 class NoCast implements Cast 00006 { 00007 public final static NoCast instance = new NoCast(); 00008 00009 private NoCast() 00010 { 00011 } 00012 public Object cast(Object o) 00013 { 00014 return o; 00015 } 00016 }