Skip to content

Commit 7f08362

Browse files
alcidesalcides
committed
Added Formatter
1 parent f9a8da3 commit 7f08362

File tree

67 files changed

+7247
-7037
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

67 files changed

+7247
-7037
lines changed

‎liquidjava-verifier/src/main/java/liquidjava/api/CommandLineLauncher.java‎

Lines changed: 48 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -9,64 +9,64 @@
99
import spoon.support.QueueProcessingManager;
1010

1111
public class CommandLineLauncher {
12-
public static void main(String[] args) {
13-
String allPath = "../liquidjava-example/src/main/java/test/project";
12+
public static void main(String[] args) {
13+
String allPath = "../liquidjava-example/src/main/java/test/project";
1414

15-
// String allPath = "C://Regen/test-projects/src/Main.java";
16-
// In eclipse only needed this:"../liquidjava-example/src/main/java/"
17-
// In VSCode needs:
18-
// "../liquidjava/liquidjava-umbrella/liquidjava-example/src/main/java/liquidjava/test/project";
19-
String file = args.length == 0 ? allPath : args[0];
20-
ErrorEmitter ee = launch(file);
21-
if (ee.foundError()) {
22-
System.out.println(ee.getFullMessage());
23-
System.exit(ee.getErrorStatus());
24-
} else {
25-
System.out.println("Analysis complete!");
26-
}
15+
// String allPath = "C://Regen/test-projects/src/Main.java";
16+
// In eclipse only needed this:"../liquidjava-example/src/main/java/"
17+
// In VSCode needs:
18+
// "../liquidjava/liquidjava-umbrella/liquidjava-example/src/main/java/liquidjava/test/project";
19+
String file = args.length == 0 ? allPath : args[0];
20+
ErrorEmitter ee = launch(file);
21+
if (ee.foundError()) {
22+
System.out.println(ee.getFullMessage());
23+
System.exit(ee.getErrorStatus());
24+
} else {
25+
System.out.println("Analysis complete!");
2726
}
27+
}
2828

29-
public static void launchTest(String file) {
30-
ErrorEmitter ee = launch(file);
31-
if (ee.foundError()) {
32-
System.out.println(ee.getFullMessage());
33-
System.exit(ee.getErrorStatus());
34-
} else {
35-
System.out.println("Analysis complete!");
36-
}
29+
public static void launchTest(String file) {
30+
ErrorEmitter ee = launch(file);
31+
if (ee.foundError()) {
32+
System.out.println(ee.getFullMessage());
33+
System.exit(ee.getErrorStatus());
34+
} else {
35+
System.out.println("Analysis complete!");
3736
}
37+
}
3838

39-
public static ErrorEmitter launch(String file) {
40-
Launcher launcher = new Launcher();
41-
System.out.println("File path in launch before spoon:" + file);
42-
launcher.addInputResource(file);
43-
launcher.getEnvironment().setNoClasspath(true);
44-
// optional
45-
// launcher.getEnvironment().setSourceClasspath(
46-
// "lib1.jar:lib2.jar".split(":"));
47-
launcher.getEnvironment().setComplianceLevel(8);
39+
public static ErrorEmitter launch(String file) {
40+
Launcher launcher = new Launcher();
41+
System.out.println("File path in launch before spoon:" + file);
42+
launcher.addInputResource(file);
43+
launcher.getEnvironment().setNoClasspath(true);
44+
// optional
45+
// launcher.getEnvironment().setSourceClasspath(
46+
// "lib1.jar:lib2.jar".split(":"));
47+
launcher.getEnvironment().setComplianceLevel(8);
4848

49-
System.out.println("before run");
50-
launcher.run();
49+
System.out.println("before run");
50+
launcher.run();
5151

52-
System.out.println("after run");
52+
System.out.println("after run");
5353

54-
final Factory factory = launcher.getFactory();
55-
final ProcessingManager processingManager = new QueueProcessingManager(factory);
54+
final Factory factory = launcher.getFactory();
55+
final ProcessingManager processingManager = new QueueProcessingManager(factory);
5656

57-
ErrorEmitter ee = new ErrorEmitter();
58-
final RefinementProcessor processor = new RefinementProcessor(factory, ee);
59-
processingManager.addProcessor(processor);
57+
ErrorEmitter ee = new ErrorEmitter();
58+
final RefinementProcessor processor = new RefinementProcessor(factory, ee);
59+
processingManager.addProcessor(processor);
6060

61-
System.out.println("before process");
61+
System.out.println("before process");
6262

63-
// To only search the last package - less time spent
64-
CtPackage v = factory.Package().getAll().stream().reduce((first, second) -> second).orElse(null);
65-
if (v != null)
66-
processingManager.process(v);
67-
// To search all previous packages
68-
// processingManager.process(factory.Package().getRootPackage());
63+
// To only search the last package - less time spent
64+
CtPackage v =
65+
factory.Package().getAll().stream().reduce((first, second) -> second).orElse(null);
66+
if (v != null) processingManager.process(v);
67+
// To search all previous packages
68+
// processingManager.process(factory.Package().getRootPackage());
6969

70-
return ee;
71-
}
70+
return ee;
71+
}
7272
}

‎liquidjava-verifier/src/main/java/liquidjava/api/tests/TestAbstract.java‎

Lines changed: 24 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -6,36 +6,35 @@
66
import liquidjava.api.CommandLineLauncher;
77

88
public abstract class TestAbstract {
9-
String testPath = "../liquidjava-example/src/test/java/liquidjava/";
9+
String testPath = "../liquidjava-example/src/test/java/liquidjava/";
1010

11-
protected void testCorrect(String filename) {
12-
try {
13-
CommandLineLauncher.launchTest(filename);
14-
} catch (SecurityException e) {
15-
fail();
16-
}
11+
protected void testCorrect(String filename) {
12+
try {
13+
CommandLineLauncher.launchTest(filename);
14+
} catch (SecurityException e) {
15+
fail();
1716
}
17+
}
1818

19-
protected void testWrong(String filename) {
20-
try {
21-
CommandLineLauncher.launchTest(filename);
22-
} catch (SecurityException e) {
23-
return;
24-
}
25-
fail();
19+
protected void testWrong(String filename) {
20+
try {
21+
CommandLineLauncher.launchTest(filename);
22+
} catch (SecurityException e) {
23+
return;
2624
}
25+
fail();
26+
}
2727

28-
class MySecurityManager extends SecurityManager {
29-
// Handles exit(1) when the refinements are not respected
30-
@Override
31-
public void checkExit(int status) {
32-
if (status == 1 || status == 2)
33-
throw new SecurityException("subtyping");
34-
}
28+
class MySecurityManager extends SecurityManager {
29+
// Handles exit(1) when the refinements are not respected
30+
@Override
31+
public void checkExit(int status) {
32+
if (status == 1 || status == 2) throw new SecurityException("subtyping");
33+
}
3534

36-
@Override
37-
public void checkPermission(Permission perm) {
38-
// Allow other activities by default
39-
}
35+
@Override
36+
public void checkPermission(Permission perm) {
37+
// Allow other activities by default
4038
}
39+
}
4140
}

‎liquidjava-verifier/src/main/java/liquidjava/api/tests/TestClasses.java‎

Lines changed: 110 additions & 110 deletions
Original file line numberDiff line numberDiff line change
@@ -4,114 +4,114 @@
44

55
public class TestClasses extends TestAbstract {
66

7-
@Test
8-
public void correctEmail1() {
9-
testCorrect(testPath + "/classes/email1");
10-
}
11-
12-
@Test
13-
public void correctStateFromSuperclass() {
14-
testCorrect(testPath + "/classes/state_from_superclass_correct");
15-
}
16-
17-
@Test
18-
public void correctStateCases() {
19-
testCorrect(testPath + "/classes/state_multiple_cases");
20-
}
21-
22-
@Test
23-
public void correctSimpleCarTest() {
24-
testCorrect(testPath + "/classes/car1");
25-
}
26-
27-
@Test
28-
public void correctCheckRefinementsSupertype() {
29-
testCorrect(testPath + "/classes/refs_from_superclasses_correct");
30-
}
31-
32-
@Test
33-
public void correctArrayListSize() {
34-
testCorrect(testPath + "/classes/arraylist_correct");
35-
}
36-
37-
@Test
38-
public void correctTrafficLights1() {
39-
testCorrect(testPath + "/classes/traffic_light_1");
40-
}
41-
42-
@Test
43-
public void correctOrderGift() {
44-
testCorrect(testPath + "/classes/order_gift_correct");
45-
}
46-
47-
@Test
48-
public void correctIterator() {
49-
testCorrect(testPath + "/classes/iterator_correct");
50-
}
51-
52-
// @Test
53-
// public void correctInputReaderCharArrayLongerNameEve() {
54-
// testCorrect(testPath+"/classes/input_reader_correct");
55-
// }
56-
//
57-
58-
@Test
59-
public void errorInputReader() {
60-
testWrong(testPath + "/classes/input_reader_error");
61-
}
62-
63-
@Test
64-
public void errorInputReader2() {
65-
testWrong(testPath + "/classes/input_reader_error2");
66-
}
67-
68-
@Test
69-
public void errorStatesSameSet() {
70-
testWrong(testPath + "/classes/state_multiple_error");
71-
}
72-
73-
@Test
74-
public void errorConstructorWithFromCase() {
75-
testWrong(testPath + "/classes/MyStreamReader.java");
76-
}
77-
78-
@Test
79-
public void errorEmail2() {
80-
testWrong(testPath + "/classes/email2");
81-
}
82-
83-
@Test
84-
public void errorEmail3() {
85-
testWrong(testPath + "/classes/email3");
86-
}
87-
88-
@Test
89-
public void errorRefsFromInterface() {
90-
testWrong(testPath + "/classes/refs_from_interface_error");
91-
}
92-
93-
@Test
94-
public void errorRefsFromSuperclass() {
95-
testWrong(testPath + "/classes/refs_from_superclass_error");
96-
}
97-
98-
@Test
99-
public void errorOrderGiftError() {
100-
testWrong(testPath + "/classes/order_gift_error");
101-
}
102-
103-
@Test
104-
public void errorGhostState() {
105-
testWrong(testPath + "/classes/ErrorGhostState.java");
106-
}
107-
108-
@Test
109-
public void errorSocket() {
110-
testWrong(testPath + "/classes/socket_error");
111-
}
112-
113-
@Test
114-
public void errorIterator() {
115-
testWrong(testPath + "/classes/iterator_error");
116-
}
7+
@Test
8+
public void correctEmail1() {
9+
testCorrect(testPath + "/classes/email1");
10+
}
11+
12+
@Test
13+
public void correctStateFromSuperclass() {
14+
testCorrect(testPath + "/classes/state_from_superclass_correct");
15+
}
16+
17+
@Test
18+
public void correctStateCases() {
19+
testCorrect(testPath + "/classes/state_multiple_cases");
20+
}
21+
22+
@Test
23+
public void correctSimpleCarTest() {
24+
testCorrect(testPath + "/classes/car1");
25+
}
26+
27+
@Test
28+
public void correctCheckRefinementsSupertype() {
29+
testCorrect(testPath + "/classes/refs_from_superclasses_correct");
30+
}
31+
32+
@Test
33+
public void correctArrayListSize() {
34+
testCorrect(testPath + "/classes/arraylist_correct");
35+
}
36+
37+
@Test
38+
public void correctTrafficLights1() {
39+
testCorrect(testPath + "/classes/traffic_light_1");
40+
}
41+
42+
@Test
43+
public void correctOrderGift() {
44+
testCorrect(testPath + "/classes/order_gift_correct");
45+
}
46+
47+
@Test
48+
public void correctIterator() {
49+
testCorrect(testPath + "/classes/iterator_correct");
50+
}
51+
52+
// @Test
53+
// public void correctInputReaderCharArrayLongerNameEve() {
54+
// testCorrect(testPath+"/classes/input_reader_correct");
55+
// }
56+
//
57+
58+
@Test
59+
public void errorInputReader() {
60+
testWrong(testPath + "/classes/input_reader_error");
61+
}
62+
63+
@Test
64+
public void errorInputReader2() {
65+
testWrong(testPath + "/classes/input_reader_error2");
66+
}
67+
68+
@Test
69+
public void errorStatesSameSet() {
70+
testWrong(testPath + "/classes/state_multiple_error");
71+
}
72+
73+
@Test
74+
public void errorConstructorWithFromCase() {
75+
testWrong(testPath + "/classes/MyStreamReader.java");
76+
}
77+
78+
@Test
79+
public void errorEmail2() {
80+
testWrong(testPath + "/classes/email2");
81+
}
82+
83+
@Test
84+
public void errorEmail3() {
85+
testWrong(testPath + "/classes/email3");
86+
}
87+
88+
@Test
89+
public void errorRefsFromInterface() {
90+
testWrong(testPath + "/classes/refs_from_interface_error");
91+
}
92+
93+
@Test
94+
public void errorRefsFromSuperclass() {
95+
testWrong(testPath + "/classes/refs_from_superclass_error");
96+
}
97+
98+
@Test
99+
public void errorOrderGiftError() {
100+
testWrong(testPath + "/classes/order_gift_error");
101+
}
102+
103+
@Test
104+
public void errorGhostState() {
105+
testWrong(testPath + "/classes/ErrorGhostState.java");
106+
}
107+
108+
@Test
109+
public void errorSocket() {
110+
testWrong(testPath + "/classes/socket_error");
111+
}
112+
113+
@Test
114+
public void errorIterator() {
115+
testWrong(testPath + "/classes/iterator_error");
116+
}
117117
}

0 commit comments

Comments
 (0)