equal
deleted
inserted
replaced
54 } |
54 } |
55 |
55 |
56 trait File_Format extends Isabelle_System.Service |
56 trait File_Format extends Isabelle_System.Service |
57 { |
57 { |
58 def format_name: String |
58 def format_name: String |
59 override def toString: String = format_name |
59 override def toString: String = "File_Format(" + format_name + ")" |
60 |
60 |
61 def file_ext: String |
61 def file_ext: String |
62 def detect(name: String): Boolean = name.endsWith("." + file_ext) |
62 def detect(name: String): Boolean = name.endsWith("." + file_ext) |
63 |
63 |
64 |
64 |