NodeCast.java Source File

00001 package edu.ksu.cis.bandera.specification.node;
00002 
00003 /* This file was generated by SableCC (http://www.sablecc.org/). */
00004 
00005 public class NodeCast implements Cast
00006 {
00007     public final static NodeCast instance = new NodeCast();
00008 
00009     private NodeCast()
00010     {
00011     }
00012     public Object cast(Object o)
00013     {
00014         return (Node) o;
00015     }
00016 }