Reference


1   //
2   // Copyright (C) 2005 United States Government as represented by the
3   // Administrator of the National Aeronautics and Space Administration
4   // (NASA).  All Rights Reserved.
5   // 
6   // This software is distributed under the NASA Open Source Agreement
7   // (NOSA), version 1.3.  The NOSA has been approved by the Open Source
8   // Initiative.  See the file NOSA-1.3-JPF at the top of the distribution
9   // directory tree for the complete NOSA document.
10  // 
11  // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12  // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13  // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14  // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15  // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16  // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17  // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18  //
19  package gov.nasa.jpf.jvm;
20  
21  /**
22   * yet another abstraction of something that can be referenced.
23   * <2do> streamline, could be just ElementInfo
24   */
25  public interface Reference {
26    boolean getBooleanField (String   fname, String   referenceType);
27  
28    byte getByteField (String   fname, String   referenceType);
29  
30    char getCharField (String   fname, String   referenceType);
31  
32    double getDoubleField (String   fname, String   referenceType);
33  
34    float getFloatField (String   fname, String   referenceType);
35  
36    int getIntField (String   fname, String   referenceType);
37  
38    long getLongField (String   fname, String   referenceType);
39  
40    Reference getObjectField (String   fname, String   referenceType);
41  
42    short getShortField (String   fname, String   referenceType);
43  
44    String   getStringField (String   fname, String   referenceType);
45  
46    boolean instanceOf (String   classname);
47  }
48
A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame
Popular Tags