Module Name.Java

val from_string : string -> t

Create a typename from a Java classname in the form "package.class"

val is_class : t -> bool

is_class name holds if name names a Java class

val get_java_class_name_opt : t -> JavaClassName.t option

Return underlying JavaClassName if name is java class

val get_java_class_name_exn : t -> JavaClassName.t

Ensure name is a java class name and return underlying JavaClassName

val is_external : t -> bool

return true if the typename is in the .inferconfig list of external classes

val is_anonymous_inner_class_name_opt : t -> bool option

return None if it is not a Java class