Examples of JFlexSettings

    private static final char SPACE = ' ';


    @NotNull
    public static Map<CompilerMessageCategory, List<JFlexMessage>> compile(VirtualFile file, Sdk projectSdk) throws IOException, CantRunException {


        JFlexSettings settings = JFlexSettings.getInstance();


        //Earlier code used jflex.bat or jflex.sh. These files are broken after IDEA went open-source and changed
        //its sdk distribution structure. It's better to call JFlex.Main directly, not using any dumb bat or sh files.
        JavaParameters javaParameters = new JavaParameters();
        javaParameters.setJdk(projectSdk);

Examples of org.intellij.lang.jflex.options.JFlexSettings

            }
        }
    }


    public static boolean validateConfiguration(Project project) {
        JFlexSettings settings = JFlexSettings.getInstance();
        File home = new File(settings.JFLEX_HOME);
        if (home.isDirectory() && home.exists()) {
            if (!StringUtil.isEmptyOrSpaces(settings.SKELETON_PATH) && settings.COMMAND_LINE_OPTIONS.indexOf(OPTION_SKEL) == -1) {
                File skel = new File(settings.SKELETON_PATH);
                if (!skel.isFile() || !skel.exists()) {

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.