38 39 public Context(List<Path> sources, Options options, Log log, Filters filters) { 40 this.sources = sources; 41 this.options = options; 42 this.log = log; 43 this.filters = filters; 44 } 45 46 public static Context createDefault() { 47 return new Context( 48 List.of(), 49 Options.createDefault(), 50 Log.createDefault(), 51 Filters.createDefault() 52 ); 53 } 54 55 public static Path getBuiltinHeadersDir() { 56 return Paths.get(System.getProperty("java.home"), "conf", "jextract"); 57 } 58 } | 38 39 public Context(List<Path> sources, Options options, Log log, Filters filters) { 40 this.sources = sources; 41 this.options = options; 42 this.log = log; 43 this.filters = filters; 44 } 45 46 public static Context createDefault() { 47 return new Context( 48 List.of(), 49 Options.createDefault(), 50 Log.createDefault(), 51 Filters.createDefault() 52 ); 53 } 54 55 public static Path getBuiltinHeadersDir() { 56 return Paths.get(System.getProperty("java.home"), "conf", "jextract"); 57 } 58 59 public static Path getBuiltinHeaderFile() { 60 return getBuiltinHeadersDir().resolve("builtin$.h"); 61 } 62 } |