Examples of org.netbeans.api.scala.platform.ScalaPlatformManager

org.netbeans.api.scala.platform.ScalaPlatformManager
ScalaPlatformManager provides access to list of installed Scala Platforms in the system. It can enumerate them, assign serializable IDs to their instances. It also defines a `default' platform, which represents NetBeans' own runtime environment. @author Radko Najman, Svata Dedic, Tomas Zezula

    public SourceForBinaryQuery.Result findSourceRoots2(URL binaryRoot) {
        SourceForBinaryQuery.Result res = this.cache.get (binaryRoot);
        if (res != null) {
            return res;
        }
        ScalaPlatformManager mgr = ScalaPlatformManager.getDefault();
        for (ScalaPlatform platform : mgr.getInstalledPlatforms()) {
            for (ClassPath.Entry entry : platform.getBootstrapLibraries().entries()) {
                if (entry.getURL().equals (binaryRoot)) {
                    res = new Result(platform);
                    this.cache.put (binaryRoot, res);
                    return res;

View Full Code Here

                    cs.fireChange();
                }
            }
            
        }
        ScalaPlatformManager jpm = ScalaPlatformManager.getDefault();
        ScalaPlatform platforms[] = jpm.getInstalledPlatforms();
        for (int i=0; i<platforms.length; i++) {
            ScalaPlatform jp = platforms[i];
//Not valid assumption: May change in the future result should be returned, since the result is live.            
//            if (jp.getJavadocFolders().size() == 0) {
//                continue;

View Full Code Here

     * for default platform.
     * @return active {@link ScalaPlatform} or null if the project's platform
     * is broken
     */
    public static ScalaPlatform getActivePlatform (final String activePlatformId) {
        final ScalaPlatformManager pm = ScalaPlatformManager.getDefault();
        if (activePlatformId == null) {
            return pm.getDefaultPlatform();
        }
        else {
            ScalaPlatform[] installedPlatforms = pm.getPlatforms(null, new Specification ("std",null));   //NOI18N
            for (int i=0; i<installedPlatforms.length; i++) {
                String antName = (String) installedPlatforms[i].getProperties().get("scala.platform.ant.name");        //NOI18N
                if (antName != null && antName.equals(activePlatformId)) {
                    return installedPlatforms[i];
                }

View Full Code Here

            }
            return antName;
        }
        
        private static boolean platformExists (String antName) {
            ScalaPlatformManager mgr = ScalaPlatformManager.getDefault();
            ScalaPlatform[] platforms = mgr.getInstalledPlatforms();
            for (int i=0; i < platforms.length; i++) {
                if (platforms[i] instanceof J2SEPlatformImpl) {
                    String val = ((J2SEPlatformImpl)platforms[i]).getAntName();
                    if (antName.equals(val)) {
                        return true;

View Full Code Here

        ScalaPlatform[] platforms;
        if (lp != null) {
            platforms = new ScalaPlatform[] {lp};
        }
        else {
            ScalaPlatformManager manager = ScalaPlatformManager.getDefault();
            platforms = manager.getInstalledPlatforms();
        }
        for (int i=0; i<platforms.length; i++) {
            ClassPath bootClassPath = platforms[i].getBootstrapLibraries();
            ClassPath libraryPath = platforms[i].getStandardLibraries();
            ClassPath sourcePath = platforms[i].getSourceFolders();

View Full Code Here

TOP

Related Classes of org.netbeans.api.scala.platform.ScalaPlatformManager

org.netbeans.modules.scala.platform.classpth.PlatformClassPathProvider

org.netbeans.modules.scala.platform.FallbackDefaultScalaPlatform

org.netbeans.modules.scala.platform.queries.PlatformSourceForBinaryQuery

org.netbeans.modules.scala.project.J2SEProjectUtil

org.netbeans.modules.scala.stdplatform.platformdefinition.JavadocForBinaryQueryPlatformImpl

org.netbeans.modules.scala.stdplatform.wizard.DetectPanel$WizardPanel

org.openide.modules.SpecificationVersion

org.openide.util.LookupListener

java.beans.PropertyChangeListener

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.