/* Title: Pure/ML/ml_syntax.scala Author: Makarius Concrete ML syntax for basic values. package isabelleobject ML_Syntax {/* numbers */ private def signed(s: String): String =if (s(0) == '-' ) "~" + s.substring(1) else sdef 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 =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("\\<" )) selse UTF8.bytes(s).iterator.map(print_byte).mkStringdef print_string_bytes(str: String): String =def print_string_symbols(str: String): String =/* 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 =quality 100%
¤ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
