cfgrecognition.loader.SootClasspath.java Source code

Introduction

Here is the source code for cfgrecognition.loader.SootClasspath.java

Source

/* Soot - a Java Optimization Framework
 * Copyright (C) 2003 Jennifer Lhotak
 *
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation; either
 * version 2.1 of the License, or (at your option) any later version.
 *
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 * Boston, MA 02111-1307, USA.
 * 
 * Addition:
 * This class is taken as is from package Soot's Eclipse plugin ca.mcgill.sable.soot.launching.
 * The only thing that is changed here is instead of using SootPlugin we are using PSFPlugin.
 */

package cfgrecognition.loader;

import java.io.File;
import java.net.MalformedURLException;
import java.net.URI;
import java.net.URISyntaxException;
import java.net.URL;
import java.util.HashSet;
import java.util.Set;

import org.eclipse.core.resources.IWorkspace;
import org.eclipse.jdt.core.IClasspathEntry;
import org.eclipse.jdt.core.IJavaProject;
import org.eclipse.jdt.core.JavaModelException;

import astrecognition.*;

/**
 * Determines the soot-classpath for running Soot
 */
public class SootClasspath {

    private String separator = File.pathSeparator;
    protected URL[] urls = new URL[0];

    public void initialize(IJavaProject javaProject) {
        this.urls = projectClassPath(javaProject);
    }

    public static URL[] projectClassPath(IJavaProject javaProject) {
        IWorkspace workspace = Activator.getWorkspaceRoot().getWorkspace();
        IClasspathEntry[] cp;
        try {
            cp = javaProject.getResolvedClasspath(true);
            Set<URL> urls = new HashSet<URL>();
            String uriString = workspace.getRoot().getFile(javaProject.getOutputLocation()).getLocationURI()
                    .toString() + "/";
            urls.add(new URI(uriString).toURL());
            for (IClasspathEntry entry : cp) {
                File file = entry.getPath().toFile();
                URL url = file.toURI().toURL();
                urls.add(url);
            }
            URL[] array = new URL[urls.size()];
            urls.toArray(array);
            return array;
        } catch (JavaModelException e) {
            e.printStackTrace();
            return new URL[0];
        } catch (MalformedURLException e) {
            e.printStackTrace();
            return new URL[0];
        } catch (URISyntaxException e) {
            e.printStackTrace();
            return new URL[0];
        }
    }

    /**
     * This is an addition to the original SootClasspath class where
     * bug due to '\\' in the path string has been resolved.
     *  
     * @param javaProject The JavaProject to be analyzed.
     * @return An array of {@link URL}s corresponding to the classpath of the supplied project.
     */
    public static URL[] projectClassPath2(IJavaProject javaProject) {
        IWorkspace workspace = Activator.getWorkspaceRoot().getWorkspace();
        IClasspathEntry[] cp;
        try {
            cp = javaProject.getResolvedClasspath(true);
            Set<URL> urls = new HashSet<URL>();
            String uriString = workspace.getRoot().getFile(javaProject.getOutputLocation()).getLocationURI()
                    .toString() + "/";
            urls.add(new URI(uriString).toURL());
            for (IClasspathEntry entry : cp) {
                File file = entry.getPath().toFile();
                if (file.getPath().startsWith("\\")) {
                    file = workspace.getRoot().getLocation().append(file.getPath()).toFile();
                }
                URL url = file.toURI().toURL();
                urls.add(url);
            }
            URL[] array = new URL[urls.size()];
            urls.toArray(array);
            return array;
        } catch (JavaModelException e) {
            e.printStackTrace();

            return new URL[0];
        } catch (MalformedURLException e) {
            e.printStackTrace();
            return new URL[0];
        } catch (URISyntaxException e) {
            e.printStackTrace();
            return new URL[0];
        }
    }

    public String getSootClasspath() {
        return urlsToString(urls);
    }

    public static String urlsToString(URL[] urls) {
        StringBuffer cp = new StringBuffer();
        for (URL url : urls) {
            cp.append(url.getPath());
            cp.append(File.pathSeparator);
        }

        // Note this is a fix for windows that does not allow space in the class path
        String finalPath = cp.toString();
        return finalPath.replaceAll("%20", " ");
    }

    /**
     * Returns the separator.
     * @return String
     */
    public String getSeparator() {
        return separator;
    }
}