Package org.erlide.dialyzer.builder

Examples of org.erlide.dialyzer.builder.DialyzerPreferences

323
324
325
326
327
328
329
330
        button.addSelectionListener(selectionListener);
        return button;
    }

    protected boolean hasProjectSpecificOptions(final IProject project) {
        final DialyzerPreferences p = DialyzerPreferences.get(project);
        return p.hasOptionsAtLowestScope();
    }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
47
48
49
        final IProject project = getProject();
        if (project == null) {
            monitor.done();
            return null;
        }
        DialyzerPreferences prefs = null;
        prefs = DialyzerPreferences.get(project);
        if (prefs == null || !prefs.getDialyzeOnCompile()) {
            return null;
        }
        final IErlElementLocator model = ErlangEngine.getInstance().getModel();
        final Set<IErlModule> modules = DialyzerUtils.collectModulesFromResource(model,
                project);
View Full Code Here
TOP

Related Classes of org.erlide.dialyzer.builder.DialyzerPreferences

  • org.eclipse.core.runtime.IPath
  • org.eclipse.core.runtime.Path
  • org.eclipse.core.runtime.preferences.IPreferencesService
  • org.erlide.dialyzer.internal.builder.DialyzerBuilder
  • org.erlide.dialyzer.ui.prefs.DialyzerPreferencePage
  • java.io.File
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.