<commit_before>/*
 * ResolveCompiler.java
 * ---------------------------------
 * Copyright (c) 2021
 * RESOLVE Software Research Group
 * School of Computing
 * Clemson University
 * All rights reserved.
 * ---------------------------------
 * This file is subject to the terms and conditions defined in
 * file 'LICENSE.txt', which is part of this source code package.
 */
package edu.clemson.cs.rsrg.init;

import edu.clemson.cs.rsrg.init.file.ModuleType;
import edu.clemson.cs.rsrg.init.file.ResolveFile;
import edu.clemson.cs.rsrg.init.file.ResolveFileBasicInfo;
import edu.clemson.cs.rsrg.init.flag.Flag;
import edu.clemson.cs.rsrg.init.flag.FlagDependencies;
import edu.clemson.cs.rsrg.init.output.OutputListener;
import edu.clemson.cs.rsrg.misc.Utilities;
import edu.clemson.cs.rsrg.prover.CongruenceClassProver;
import edu.clemson.cs.rsrg.statushandling.SystemStdHandler;
import edu.clemson.cs.rsrg.statushandling.StatusHandler;
import edu.clemson.cs.rsrg.statushandling.exception.CompilerException;
import edu.clemson.cs.rsrg.statushandling.exception.FlagDependencyException;
import edu.clemson.cs.rsrg.statushandling.exception.MiscErrorException;
import edu.clemson.cs.rsrg.translation.targets.CTranslator;
import edu.clemson.cs.rsrg.translation.targets.JavaTranslator;
import edu.clemson.cs.rsrg.typeandpopulate.Populator;
import edu.clemson.cs.rsrg.typeandpopulate.symboltables.MathSymbolTableBuilder;
import edu.clemson.cs.rsrg.vcgeneration.VCGenerator;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.util.*;

/**
 * <p>
 * This class takes care of all argument processing and creates a
 * {@link CompileEnvironment} for the
 * current job.
 * </p>
 *
 * @author <NAME>
 * @author <NAME>
 * @version 1.0
 */
public class ResolveCompiler {

    // ===========================================================
    // Constant Fields
    // ===========================================================

    /**
     * <p>
     * This indicates the current compiler version.
     * </p>
     */
    public static final String COMPILER_VERSION = "Summer 2020";

    // ===========================================================
    // Member Fields
    // ===========================================================

    /**
     * <p>
     * This stores all the arguments received by the RESOLVE compiler.
     * </p>
     */
    private final String[] myCompilerArgs;

    /**
     * <p>
     * This stores all the file names specified in the argument list.
     * </p>
     */
    private final List<String> myArgumentFileList;

    // ===========================================================
    // Objects<commit_msg>Update compiler version<commit_after>/*
 * ResolveCompiler.java
 * ---------------------------------
 * Copyright (c) 2021
 * RESOLVE Software Research Group
 * School of Computing
 * Clemson University
 * All rights reserved.
 * ---------------------------------
 * This file is subject to the terms and conditions defined in
 * file 'LICENSE.txt', which is part of this source code package.
 */
package edu.clemson.cs.rsrg.init;

import edu.clemson.cs.rsrg.init.file.ModuleType;
import edu.clemson.cs.rsrg.init.file.ResolveFile;
import edu.clemson.cs.rsrg.init.file.ResolveFileBasicInfo;
import edu.clemson.cs.rsrg.init.flag.Flag;
import edu.clemson.cs.rsrg.init.flag.FlagDependencies;
import edu.clemson.cs.rsrg.init.output.OutputListener;
import edu.clemson.cs.rsrg.misc.Utilities;
import edu.clemson.cs.rsrg.prover.CongruenceClassProver;
import edu.clemson.cs.rsrg.statushandling.SystemStdHandler;
import edu.clemson.cs.rsrg.statushandling.StatusHandler;
import edu.clemson.cs.rsrg.statushandling.exception.CompilerException;
import edu.clemson.cs.rsrg.statushandling.exception.FlagDependencyException;
import edu.clemson.cs.rsrg.statushandling.exception.MiscErrorException;
import edu.clemson.cs.rsrg.translation.targets.CTranslator;
import edu.clemson.cs.rsrg.translation.targets.JavaTranslator;
import edu.clemson.cs.rsrg.typeandpopulate.Populator;
import edu.clemson.cs.rsrg.typeandpopulate.symboltables.MathSymbolTableBuilder;
import edu.clemson.cs.rsrg.vcgeneration.VCGenerator;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.util.*;

/**
 * <p>
 * This class takes care of all argument processing and creates a
 * {@link CompileEnvironment} for the
 * current job.
 * </p>
 *
 * @author <NAME>
 * @author <NAME>
 * @version 1.0
 */
public class ResolveCompiler {

    // ===========================================================
    // Constant Fields
    // ===========================================================

    /**
     * <p>
     * This indicates the current compiler version.
     * </p>
     */
    public static final String COMPILER_VERSION = "Summer 2021";

    // ===========================================================
    // Member Fields
    // ===========================================================

    /**
     * <p>
     * This stores all the arguments received by the RESOLVE compiler.
     * </p>
     */
    private final String[] myCompilerArgs;

    /**
     * <p>
     * This stores all the file names specified in the argument list.
     * </p>
     */
    private final List<String> myArgumentFileList;

    // ===========================================================
    // Objects
{'fraction_non_alphanumeric': 0.23234200743494424, 'fraction_numerical': 0.0037174721189591076, 'mean_word_length': 3.610968294772922, 'pattern_counts': {'":': 0, '<': 25, '<?xml version=': 0, '>': 25, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '372066', 'n_tokens_mistral': 1667, 'n_tokens_neox': 1588, 'n_words': 331}