Examples of org.python.pydev.debug.ui.launching.FileOrResource


        ILaunchConfiguration conf = null;
        List<ILaunchConfiguration> configurations = super
                        .findExistingLaunchConfigurations(resource);
        if (configurations.isEmpty()) {
            FileOrResource fileOrResource = resource[0];
            if (fileOrResource.resource != null) {
                IProject project = fileOrResource.resource.getProject();
                IFile file = project.getFile(GrinderConstants.GRINDER_PROPERTIES_FILE_NAME);
                propertiesShouldBeSetManually = file == null ? true : !file.exists();
                conf = createDefaultLaunchConfiguration(resource);

    public ILaunchConfiguration createDefaultLaunchConfiguration(FileOrResource[] resource) {


        ILaunchConfiguration conf = super.createDefaultLaunchConfiguration(resource);


        if (!propertiesShouldBeSetManually) {
            FileOrResource fileOrResource = resource[0];
            if (fileOrResource.resource == null) {
                reportError("The grinder.properties cannot be set for a run. "
                                + "Project cannot be located.", null);
            }
            String projName = fileOrResource.resource.getProject().getName();

Related Classes of org.python.pydev.debug.ui.launching.FileOrResource

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.