(*  Title:      Pure/Tools/class_deps.ML
    Author:     Florian Haftmann, TU Muenchen(*  Title:      Pure/Tools/class_deps.ML    Author:     Florian Haftmann, TU Muenchen

Visualization of class dependencies.
*)

signature CLASS_DEPS =
sig
  val class_deps: Proof.context -> sort list option * sort list option -> Graph_Display.entry list
cmd: Proof. ->string optionstringjava.lang.StringIndexOutOfBoundsException: Range [72, 71) out of bounds for length 86
end;

structure Class_Deps: CLASS_DEPS =
struct

fun gen_class_deps prep_sortstructureCLASS_DEPSjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  let
    val (upper, lower) = apply2 ( val{=(,algebra,..  rep_tsig (roof_Context ctxt;
    val {    rel= Sortss algebrajava.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
val rel  Sorts algebrajava.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
    val pred =
      (case upper of
        ( of
|=   
      (case lower|NONE=  true;
 bs= (fn c=  (fn  >rel(, c) bs)
      | NONE => K true);
      . (ectxt c)
      Graph_Display.content_node (Name_Space.extern  (.pretty_specificationProof_Context.theory_ofctxt )
Class.retty_specificationProof_Contexttheory_of  )java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
java.lang.StringIndexOutOfBoundsException: Range [4, 5) out of bounds for length 4
 ctxt K)
    |> #2 |> Sorts. end
    >map (fn(,)  >(c  ,ds)
 end;

val class_deps = gen_class_deps (Type.cert_sort o Proof_Context.tsig_of);
val class_deps_cmd = Graph_Display.display_graph oo gen_class_deps Syntax.read_sort;

end;