|
/* Title: Pure/General/long_name.scala
Author: Makarius
Long names.
*/
package isabelle
object Long_Name
{
val separator = "."
val separator_char = '.'
def is_qualified(name: String): Boolean = name.contains(separator_char)
def implode(names: List[String]): String = names.mkString(separator)
def explode(name: String): List[String] = space_explode(separator_char, name)
def qualify(qual: String, name: String): String =
if (qual == "" || name == "") name
else qual + separator + name
def qualifier(name: String): String =
if (name == "") ""
else implode(explode(name).dropRight(1))
def base_name(name: String): String =
if (name == "") ""
else explode(name).last
}
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.24Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
