private void readParamID() {
   if (fCachedParamID == -1) {
     try {
       final Database db = getDB();
       fCachedParamID = db.getInt(record + PARAMETERID);
     } catch (CoreException e) {
       CCorePlugin.log(e);
       fCachedParamID = Integer.MAX_VALUE;
     }
   }
 }
Esempio n. 2
0
 @Override
 public int getSizeAndEncodingHashcode() throws CoreException {
   Database db = fLinkage.getDB();
   return db.getInt(record + SIZE_AND_ENCODING_HASH);
 }