File tree Expand file tree Collapse file tree 1 file changed +4
-0
lines changed
liquidjava-verifier/src/main/java/liquidjava/api Expand file tree Collapse file tree 1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change 88import liquidjava .diagnostics .warnings .CustomWarning ;
99import liquidjava .processor .RefinementProcessor ;
1010import liquidjava .processor .context .ContextHistory ;
11+ import liquidjava .specification .Refinement ;
1112import picocli .CommandLine ;
1213import spoon .Launcher ;
1314import spoon .compiler .Environment ;
@@ -66,6 +67,9 @@ public static void launch(String... paths) {
6667
6768 Environment env = launcher .getEnvironment ();
6869 env .setNoClasspath (true );
70+ env .setSourceClasspath (
71+ new String [] { new File (Refinement .class .getProtectionDomain ().getCodeSource ().getLocation ().getFile ())
72+ .getAbsolutePath () });
6973 env .setComplianceLevel (8 );
7074
7175 boolean buildSuccess = launcher .getModelBuilder ().build ();
You can’t perform that action at this time.
0 commit comments