Package org.erlide.dialyzer.builder

Examples of org.erlide.dialyzer.builder.DialyzerPreferences


        button.addSelectionListener(selectionListener);
        return button;
    }

    protected boolean hasProjectSpecificOptions(final IProject project) {
        final DialyzerPreferences p = DialyzerPreferences.get(project);
        return p.hasOptionsAtLowestScope();
    }
View Full Code Here


        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

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.