iType.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.examine;
00002 
00003 import gov.nasa.arc.ase.jpf.*;
00004 import gov.nasa.arc.ase.jpf.jvm.*;
00005 
00006 public interface iType {
00007 
00008 public   int       getArrayDimension();
00009 public   String    getTypeName();
00010 public   boolean   isArray();
00011 }