net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/batch/FileSystem.java

   1 /*******************************************************************************
   2  * Copyright (c) 2000, 2004 IBM Corporation and others.
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Common Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/cpl-v10.html
   7  *
   8  * Contributors:
   9  *     IBM Corporation - initial API and implementation
  10  *******************************************************************************/
  11 package net.sourceforge.phpdt.internal.compiler.batch;
  12
  13 import java.io.File;
  14
  15 import net.sourceforge.phpdt.core.compiler.CharOperation;
  16 import net.sourceforge.phpdt.internal.compiler.env.INameEnvironment;
  17 import net.sourceforge.phpdt.internal.compiler.env.NameEnvironmentAnswer;
  18 import net.sourceforge.phpdt.internal.compiler.util.SuffixConstants;
  19
  20 public class FileSystem implements INameEnvironment, SuffixConstants {
  21         Classpath[] classpaths;
  22
  23         String[] knownFileNames;
  24
  25         interface Classpath {
  26                 NameEnvironmentAnswer findClass(char[] typeName,
  27                                 String qualifiedPackageName, String qualifiedBinaryFileName);
  28
  29                 boolean isPackage(String qualifiedPackageName);
  30
  31                 /**
  32                  * This method resets the environment. The resulting state is equivalent
  33                  * to a new name environment without creating a new object.
  34                  */
  35                 void reset();
  36         }
  37
  38         /*
  39          * classPathNames is a collection is Strings representing the full path of
  40          * each class path initialFileNames is a collection is Strings, the trailing
  41          * '.java' will be removed if its not already.
  42          */
  43
  44         public FileSystem(String[] classpathNames, String[] initialFileNames,
  45                         String encoding) {
  46                 this(classpathNames, initialFileNames, encoding, null);
  47         }
  48
  49         public FileSystem(String[] classpathNames, String[] initialFileNames,
  50                         String encoding, int[] classpathDirectoryModes) {
  51                 int classpathSize = classpathNames.length;
  52                 this.classpaths = new Classpath[classpathSize];
  53                 String[] pathNames = new String[classpathSize];
  54                 int problemsOccured = 0;
  55                 for (int i = 0; i < classpathSize; i++) {
  56                         // try {
  57                         File file = new File(convertPathSeparators(classpathNames[i]));
  58                         if (file.isDirectory()) {
  59                                 if (file.exists()) {
  60                                         if (classpathDirectoryModes == null) {
  61                                                 this.classpaths[i] = new ClasspathDirectory(file,
  62                                                                 encoding);
  63                                         } else {
  64                                                 this.classpaths[i] = new ClasspathDirectory(file,
  65                                                                 encoding, classpathDirectoryModes[i]);
  66                                         }
  67                                         pathNames[i] = ((ClasspathDirectory) this.classpaths[i]).path;
  68                                 }
  69                         } else {
  70                                 String lowercaseClasspathName = classpathNames[i].toLowerCase();
  71                                 // if (lowercaseClasspathName.endsWith(SUFFIX_STRING_jar)
  72                                 // || lowercaseClasspathName.endsWith(SUFFIX_STRING_zip)) {
  73                                 // this.classpaths[i] = this.getClasspathJar(file); // will
  74                                 // throw an IOException if file does not exist
  75                                 // pathNames[i] = classpathNames[i].substring(0,
  76                                 // classpathNames[i].lastIndexOf('.'));
  77                                 // }
  78                         }
  79                         // } catch (IOException e) {
  80                         // this.classpaths[i] = null;
  81                         // }
  82                         if (this.classpaths[i] == null)
  83                                 problemsOccured++;
  84                 }
  85                 if (problemsOccured > 0) {
  86                         Classpath[] newPaths = new Classpath[classpathSize
  87                                         - problemsOccured];
  88                         String[] newNames = new String[classpathSize - problemsOccured];
  89                         for (int i = 0, current = 0; i < classpathSize; i++)
  90                                 if (this.classpaths[i] != null) {
  91                                         newPaths[current] = this.classpaths[i];
  92                                         newNames[current++] = pathNames[i];
  93                                 }
  94                         classpathSize = newPaths.length;
  95                         this.classpaths = newPaths;
  96                         pathNames = newNames;
  97                 }
  98
  99                 this.knownFileNames = new String[initialFileNames.length];
 100                 for (int i = initialFileNames.length; --i >= 0;) {
 101                         String fileName = initialFileNames[i];
 102                         String matchingPathName = null;
 103                         if (fileName.lastIndexOf(".") != -1) //$NON-NLS-1$
 104                                 fileName = fileName.substring(0, fileName.lastIndexOf('.')); // remove
 105                                                                                                                                                                 // trailing
 106                                                                                                                                                                 // ".java"
 107
 108                         fileName = convertPathSeparators(fileName);
 109                         for (int j = 0; j < classpathSize; j++)
 110                                 if (fileName.startsWith(pathNames[j]))
 111                                         matchingPathName = pathNames[j];
 112                         if (matchingPathName == null)
 113                                 this.knownFileNames[i] = fileName; // leave as is...
 114                         else
 115                                 this.knownFileNames[i] = fileName.substring(matchingPathName
 116                                                 .length());
 117                 }
 118         }
 119
 120         public void cleanup() {
 121                 for (int i = 0, max = this.classpaths.length; i < max; i++)
 122                         this.classpaths[i].reset();
 123         }
 124
 125         private String convertPathSeparators(String path) {
 126                 return File.separatorChar == '/' ? path.replace('\\', '/') : path
 127                                 .replace('/', '\\');
 128         }
 129
 130         // private NameEnvironmentAnswer findClass(String qualifiedTypeName, char[]
 131         // typeName){
 132         // for (int i = 0, length = this.knownFileNames.length; i < length; i++)
 133         // if (qualifiedTypeName.equals(this.knownFileNames[i]))
 134         // return null; // looking for a file which we know was provided at the
 135         // beginning of the compilation
 136         //
 137         // String qualifiedBinaryFileName = qualifiedTypeName + SUFFIX_STRING_class;
 138         // String qualifiedPackageName =
 139         // qualifiedTypeName.length() == typeName.length
 140         // ? "" //$NON-NLS-1$
 141         // : qualifiedBinaryFileName.substring(0, qualifiedTypeName.length() -
 142         // typeName.length - 1);
 143         // String qp2 = File.separatorChar == '/' ? qualifiedPackageName :
 144         // qualifiedPackageName.replace('/', File.separatorChar);
 145         // if (qualifiedPackageName == qp2) {
 146         // for (int i = 0, length = this.classpaths.length; i < length; i++) {
 147         // NameEnvironmentAnswer answer = this.classpaths[i].findClass(typeName,
 148         // qualifiedPackageName, qualifiedBinaryFileName);
 149         // if (answer != null) return answer;
 150         // }
 151         // } else {
 152         // String qb2 = qualifiedBinaryFileName.replace('/', File.separatorChar);
 153         // for (int i = 0, length = this.classpaths.length; i < length; i++) {
 154         // Classpath p = this.classpaths[i];
 155         // NameEnvironmentAnswer answer = (p instanceof ClasspathJar)
 156         // ? p.findClass(typeName, qualifiedPackageName, qualifiedBinaryFileName)
 157         // : p.findClass(typeName, qp2, qb2);
 158         // if (answer != null) return answer;
 159         // }
 160         // }
 161         // return null;
 162         // }
 163         public NameEnvironmentAnswer findType(char[][] compoundName) {
 164                 // if (compoundName != null)
 165                 // return findClass(
 166                 // new String(CharOperation.concatWith(compoundName, '/')),
 167                 // compoundName[compoundName.length - 1]);
 168                 return null;
 169         }
 170
 171         public NameEnvironmentAnswer findType(char[] typeName, char[][] packageName) {
 172                 // if (typeName != null)
 173                 // return findClass(
 174                 // new String(CharOperation.concatWith(packageName, typeName, '/')),
 175                 // typeName);
 176                 return null;
 177         }
 178
 179         // public ClasspathJar getClasspathJar(File file) throws IOException {
 180         // return new ClasspathJar(new ZipFile(file), true);
 181         // }
 182         public boolean isPackage(char[][] compoundName, char[] packageName) {
 183                 String qualifiedPackageName = new String(CharOperation.concatWith(
 184                                 compoundName, packageName, '/'));
 185                 String qp2 = File.separatorChar == '/' ? qualifiedPackageName
 186                                 : qualifiedPackageName.replace('/', File.separatorChar);
 187                 if (qualifiedPackageName == qp2) {
 188                         for (int i = 0, length = this.classpaths.length; i < length; i++)
 189                                 if (this.classpaths[i].isPackage(qualifiedPackageName))
 190                                         return true;
 191                 }
 192                 // else {
 193                 // for (int i = 0, length = this.classpaths.length; i < length; i++) {
 194                 // Classpath p = this.classpaths[i];
 195                 // if ((p instanceof ClasspathJar) ? p.isPackage(qualifiedPackageName) :
 196                 // p.isPackage(qp2))
 197                 // return true;
 198                 // }
 199                 // }
 200                 return false;
 201         }
 202 }