Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  class_deps.ML

  Sprache: SML
 

(*  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;

Messung V0.5 in Prozent
C=81 H=93 G=86

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=277311
#Domains=752002