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

renameMain

parent 5fe784a4

Main.java→Checker.java

+3 −3
Original line number Diff line number Diff line
@@ -6,7 +6,7 @@ import StateMachine.*; 
import DBinterface.DBinterface;

import util.*;



public class Main {

public class Checker {

     public static void main(String[] args) {

        //DirectedGraph<State> graph = new DirectedGraph<>();
@@ -29,6 +29,6 @@ public class Main { 
    }

}



//javac -d bin Main.java **/*.java

//java -cp bin:SQLite/sqlite-jdbc-3.45.2.0.jar:SQLite/slf4j-api-1.7.36.jar:SQLite/slf4j-jdk14-1.7.36.jar Main 

//javac -d bin Checker.java **/*.java

//java -cp bin:SQLite/sqlite-jdbc-3.45.2.0.jar:SQLite/slf4j-api-1.7.36.jar:SQLite/slf4j-jdk14-1.7.36.jar Checker 

//jar cvfm checker.jar manifest.txt -C bin . -C SQLite .

Makefile

+1 −1
Original line number Diff line number Diff line 
dev:

	javac -d bin Main.java **/*.java

	javac -d bin Checker.java **/*.java

	jar cvfm checker.jar manifest.txt -C bin . -C SQLite .

checker.jar

+587 B (13.5 MiB)

File changed.

No diff preview for this file type.

View original file
View changed file

manifest.txt

+1 −1
Original line number Diff line number Diff line 
Main-Class: Main

Main-Class: Checker

Class-Path: SQLite/sqlite-jdbc-3.45.2.0.jar SQLite/slf4j-api-1.7.36.jar SQLite/slf4j-jdk14-1.7.36.jar