equal
deleted
inserted
replaced
76 |
76 |
77 |
77 |
78 |
78 |
79 /** Symbol interpretation **/ |
79 /** Symbol interpretation **/ |
80 |
80 |
81 class Interpretation { |
81 class Interpretation(isabelle_system: IsabelleSystem) { |
82 |
82 |
83 private var symbols = new HashMap[String, HashMap[String, String]] |
83 private var symbols = new HashMap[String, HashMap[String, String]] |
84 private var decoder: Recoder = null |
84 private var decoder: Recoder = null |
85 private var encoder: Recoder = null |
85 private var encoder: Recoder = null |
86 |
86 |
123 } |
123 } |
124 } |
124 } |
125 } |
125 } |
126 |
126 |
127 private def read_symbols(path: String) = { |
127 private def read_symbols(path: String) = { |
128 val file = new File(IsabelleSystem.platform_path(path)) |
128 val file = new File(isabelle_system.platform_path(path)) |
129 if (file.canRead) { |
129 if (file.canRead) { |
130 for (line <- Source.fromFile(file).getLines) read_line(line) |
130 for (line <- Source.fromFile(file).getLines) read_line(line) |
131 } |
131 } |
132 } |
132 } |
133 |
133 |