Commit a55c0afe authored by Seyed Reza Sajjadinasab's avatar Seyed Reza Sajjadinasab
Browse files

makeTokenUpdaterConservetive

parent 886965e8

CheckerCorrector/Checker.java

+6 −1
Original line number Diff line number Diff line
@@ -25,10 +25,15 @@ public class Checker { 
        JsonMaker jsonMaker = JsonMaker.create();



        if(argPars.isValidateUpdates()){

            

            SwingUtilities.invokeLater(new Runnable() {

                @Override

                public void run() {

                    new WordRoleUpdater();

                    String dbName = "SQLite/newdatabase.db";

                    if(argPars.isCheckFile()){

                        dbName = argPars.getFileName();

                    }

                    new WordRoleUpdater(dbName);

                }

            });

        }else if(argPars.isUpdateToken()){

CheckerCorrector/DBinterface/DBinterface.java

+3 −1
Original line number Diff line number Diff line
@@ -268,12 +268,14 @@ public class DBinterface { 
                            cntMiss ++;

                        }

                }

                if(cntMiss>2)

                    return 0;

                    //System.out.print("After token: "+tokens[i]+"| ");

                    //////System.out.println();

            }

            

            //System.out.println("\nMISS: "+cntMiss);

            if(cntMiss<3 && cntMiss>0 && !missFlag.get(missFlag.size()-1)){

            if(cntMiss>0 && !missFlag.get(missFlag.size()-1)){

                List<State> actions = new ArrayList<>();



                for(String token: tokens){

CheckerCorrector/GUI/WordRoleUpdater.java

+3 −2
Original line number Diff line number Diff line
@@ -9,7 +9,7 @@ import java.util.HashMap; 
import java.util.Map;



public class WordRoleUpdater extends JFrame {

    private static final String DB_URL = "jdbc:sqlite:./SQLite/newdatabase.db";

    private String DB_URL = "jdbc:sqlite:./";

    private static final String TABLE_NAME = "word_roles";

    private static final int POPUP_WIDTH = 300;

    private static final int POPUP_HEIGHT = 200;
@@ -29,7 +29,8 @@ public class WordRoleUpdater extends JFrame { 
    private JButton backButton;

    private JButton nextButton;



    public WordRoleUpdater() {

    public WordRoleUpdater(String DB_URL_suffix) {

        DB_URL = DB_URL.concat(DB_URL_suffix);

        try {

            connection = DriverManager.getConnection(DB_URL);

            loadWordRoles();