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

iType.java

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

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