Eine aufbereitete Darstellung der Quelle

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

products/Sources/formale Sprachen/C/Gnome/testsuite/svg/parser/   (Gnome Linux Desktop Version 4.23.2©)  Datei vom 30.5.2026 mit Größe 597 B image not shown  

Bilddatei

ROOT.scala


products/Sources/formale Sprachen/Isabelle/Pure/ROOT.scala

/* Title: Pure/ROOT.scala Author: Makarius UUID: 0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3 Root of isabelle package. */ package object isabelle { val ERROR = Exn.ERROR val error = Exn.error _ def cat_error(msgs: String*): Nothing = Exn.cat_error(msgs:_*) def using[A <: AutoCloseable, B](a: A)(f: A => B): B = Library.using(a)(f) def using_option[A <: AutoCloseable, B](opt: Option[A])(f: A => B): Option[B] = Library.using_option(opt)(f) def using_optional[A <: AutoCloseable, B](opt: Option[A])(f: Option[A] => B): B = Library.using_optional(opt)(f) val space_explode = Library.space_explode _ val split_lines = Library.split_lines _ val cat_lines = Library.cat_lines _ val terminate_lines = Library.terminate_lines _ val quote = Library.quote _ val commas = Library.commas _ val commas_quote = Library.commas_quote _ val proper_bool = Library.proper_bool _ val proper_string = Library.proper_string _ def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list) def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body) def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body) }

                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators

Jenseits des Üblichen ....

Besucher

Besucher
Statistik
#Sources=1126864
#Domains=1897691