Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
package mp.Controller;
import java.io.File;
import java.io.IOException;
import com.fasterxml.jackson.databind.ObjectMapper;
public class PathSettings{
public String pathToExecutable = null;
public String pathToInitFile = null;
public String pathToMergeFile = null;
public String pathToConvertFile = null;
public String pathToPython = null;
public PathSettings(){
}
public PathSettings(String exe, String init, String merge, String convert, String python){
pathToExecutable = exe;
pathToInitFile = init;
pathToMergeFile = merge;
pathToConvertFile = convert;
pathToPython = python;
}
public PathSettings(PathSettings other){
pathToExecutable = other.pathToExecutable;
pathToInitFile = other.pathToInitFile;
pathToMergeFile = other.pathToMergeFile;
pathToConvertFile = other.pathToConvertFile;
pathToPython = other.pathToPython;
}
public static PathSettings readFromJSON(File jsonFile){
ObjectMapper mapper = new ObjectMapper();
try{
return mapper.readValue(jsonFile,PathSettings.class);
}
catch(IOException e){
e.printStackTrace();
}
return null;
}
public void writeJSON(File jsonFile){
ObjectMapper mapper = new ObjectMapper();
try{
mapper.writeValue(jsonFile, this);
}
catch(IOException e){
e.printStackTrace();
}
}
public boolean equals(Object other){
if (this == other)
return true;
if (this == null || other == null)
return false;
if (other instanceof PathSettings){
PathSettings otherS = (PathSettings)other;
return pathToConvertFile.equals(otherS.pathToConvertFile) && pathToExecutable.equals(otherS.pathToExecutable)
&& pathToInitFile.equals(otherS.pathToInitFile) && pathToMergeFile.equals(otherS.pathToMergeFile)
&& pathToPython.equals(otherS.pathToPython);
}
else
return false;
}
}