| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/orders/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 605 B |
|
Quellcode-Bibliothek ml_syntax.scala Sprache: Scala |
|||||||||
|
/* Title: Pure/ML/ml_syntax.scala
Author: Makarius Concrete ML syntax for basic values. */ package isabelle object ML_Syntax { /* numbers */ private def signed(s: String): String = if (s(0) == '-') "~" + s.substring(1) else s def print_int(x: Int): String = signed(Value.Int(x)) def print_long(x: Long): String = signed(Value.Long(x)) def print_double(x: Double): String = signed(Value.Double(x)) /* string */ private def print_byte(c: Byte): String = c match { case 34 => "\\\"" case 92 => "\\\\" case 9 => "\\t" case 10 => "\\n" case 12 => "\\f" case 13 => "\\r" case _ => if (c < 0) "\\" + Value.Int(256 + c) else if (c < 32) new String(Array[Char](92, 94, (c + 64).toChar)) else if (c < 127) Symbol.ascii(c.toChar) else "\\" + Value.Int(c) } private def print_symbol(s: Symbol.Symbol): String = if (s.startsWith("\\<")) s else UTF8.bytes(s).iterator.map(print_byte).mkString def print_string_bytes(str: String): String = quote(UTF8.bytes(str).iterator.map(print_byte).mkString) def print_string_symbols(str: String): String = quote(Symbol.iterator(str).map(print_symbol).mkString) /* pair */ def print_pair[A, B](f: A => String, g: B => String)(pair: (A, B)): String = "(" + f(pair._1) + ", " + g(pair._2) + ")" /* list */ def print_list[A](f: A => String)(list: List[A]): String = "[" + commas(list.map(f)) + "]" /* properties */ def print_properties(props: Properties.T): String = print_list(print_pair(print_string_bytes, print_string_bytes))(props) } ¤ 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.0.13Bemerkung: (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28