< prev index next >

src/jdk.jextract/share/classes/com/sun/tools/jextract/Context.java

Print this page




  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 }
< prev index next >