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 99import liquidjava .diagnostics .warnings .CustomWarning ;
1010import liquidjava .processor .RefinementProcessor ;
1111import liquidjava .processor .context .ContextHistory ;
12+ import liquidjava .specification .Refinement ;
1213import spoon .Launcher ;
1314import spoon .compiler .Environment ;
1415import spoon .processing .ProcessingManager ;
@@ -60,6 +61,9 @@ public static void launch(String... paths) {
6061
6162 Environment env = launcher .getEnvironment ();
6263 env .setNoClasspath (true );
64+ env .setSourceClasspath (
65+ new String [] { new File (Refinement .class .getProtectionDomain ().getCodeSource ().getLocation ().getFile ())
66+ .getAbsolutePath () });
6367 env .setComplianceLevel (8 );
6468
6569 boolean buildSuccess = launcher .getModelBuilder ().build ();
You can’t perform that action at this time.
0 commit comments