Java Database.getInt Exemples

Exemple #1

Fichier : PDOMCPPTemplateTypeParameter.java Projet : beefeather/clear-sources-cpp-roger

 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;
     }
   }
 }

Exemple #2

Fichier : PDOMFile.java Projet : PARAG00991/cdt

 @Override
 public int getSizeAndEncodingHashcode() throws CoreException {
   Database db = fLinkage.getDB();
   return db.getInt(record + SIZE_AND_ENCODING_HASH);
 }