CloneSet2194

plugins/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/generatedfile/GeneratedSourceFolderManager.java

plugins/org.eclipse.jdt.apt.core/src/org/eclipse/jdt/apt/core/internal/generatedfile/GeneratedSourceFolderManager.java

                IFolder srcFolder = getFolderPreference();
                if (srcFolder == null) {
                        IStatus status = AptPlugin.createStatus(null, "Could not create generated source folder (" + //$NON-NLS-1$
                                                                       AptConfig.getGenSrcDir(_aptProject.getJavaProject()) + ")"); //$NON-NLS-1$
                        AptPlugin.log(status);
                        return;
                }

                // Ensure that the new folder exists on disk.
                if (createOnDisk(srcFolder)) {
                        // Add it to the classpath.
                        if (addToClasspath(srcFolder)) {
                                // Only if we get this far do we actually set _generatedSourceFolder.
                                synchronized ( this ) {
                                        _generatedSourceFolder = srcFolder;
                                }
                        }
                }

                // In principle we could bail out here, if (_generatedSourceFolder != null).
                // However, this method is an opportunity to detect and fix problems such 
                // as the folder getting deleted without generatedSourceFolderDeleted() 
                // getting called (e.g., without user having done a refresh).
                IFolder srcFolder = getFolder();
                if (srcFolder == null) {
                        IStatus status = AptPlugin.createStatus(null, "Could not create generated source folder (" + //$NON-NLS-1$
                                                                       AptConfig.getGenSrcDir(_aptProject.getJavaProject()) + ")"); //$NON-NLS-1$
                        AptPlugin.log(status);
                        return;
                }

                if (createOnDisk(srcFolder)) {
                        if (isOnClasspath(srcFolder)) {
                                synchronized (this ) {
                                        // Only set _generatedSourceFolder if folder is on disk and on classpath.
                                        _generatedSourceFolder = srcFolder;
                                }
                        }
                }

// In principle we could bail out here, if (_generatedSourceFolder != null).
// However, this method is an opportunity to detect and fix problems such 
// as the folder getting deleted without generatedSourceFolderDeleted() 
// getting called (e.g., without user having done a refresh).
IFolder srcFolder = [[#variable5693fae0]]();
if (srcFolder == null) {
  IStatus status = AptPlugin.createStatus(null, "Could not create generated source folder (" + //$NON-NLS-1$
                                                 AptConfig.getGenSrcDir(_aptProject.getJavaProject()) + ")"); //$NON-NLS-1$
  AptPlugin.log(status);
  return;
}
// Ensure that the new folder exists on disk.
if (createOnDisk(srcFolder)) {
  // Add it to the classpath.
  if ( [[#variable5693fb00]](srcFolder)) {
    // Only if we get this far do we actually set _generatedSourceFolder.
    synchronized (this ) {
      // Only set _generatedSourceFolder if folder is on disk and on classpath.
      _generatedSourceFolder = srcFolder;
    }
  }
}
 

getFolderPreference 

getFolder 

addToClasspath 

isOnClasspath