forked from liquid-java/liquidjava
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMain.java
More file actions
30 lines (20 loc) · 991 Bytes
/
Main.java
File metadata and controls
30 lines (20 loc) · 991 Bytes
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
package liquidjava;
import example.Simple;
import java.util.List;
import liquidjava.infer.InducedRefinementsParser;
import liquidjava.utils.Processor;
/** Main class for the Repair system */
public class Main {
public static void main(String[] args) throws Exception {
List<String> refinements = (new Processor()).getRefinement(new Simple());
List<String> inducedRefinements = InducedRefinementsParser.parseRefinements("output3");
System.out.println(refinements);
System.out.println(inducedRefinements);
String finalRefinement = "";
if (!refinements.isEmpty()) {
finalRefinement += String.join(" && ", refinements);
if (!refinements.isEmpty()) finalRefinement += " && " + String.join(" && ", inducedRefinements);
} else if (!inducedRefinements.isEmpty()) finalRefinement = String.join(" && ", inducedRefinements);
System.out.println(finalRefinement);
}
}