Module JavaFrontend.JClasspath

type file_entry =
  1. | Singleton of IBase.SourceFile.t
  2. | Duplicate of (string list * IBase.SourceFile.t) list

map entry for source files with potential basename collision within the same compiler call

type t = {
  1. classpath_channel : Javalib_pack.Javalib.class_path;
  2. sources : file_entry IStdlib.IStd.String.Map.t;
  3. classes : Javalib_pack.JBasics.ClassSet.t;
}
type source =
  1. | FromVerboseOut of {
    1. verbose_out_file : string;
    }
    (*

    load the list of source files and the list of classes from the javac verbose file

    *)
  2. | FromArguments of {
    1. path : string;
    2. sources : string list;
    }
    (*

    load the list of source files and the list of classes from Config.generated_classes

    *)
val with_classpath : f:(t -> unit) -> source -> unit

load a class path, pass it to f and cleanup after f is done