Commit ba2c46d5 authored by Florian Rabe's avatar Florian Rabe

no message

parent 6835f6f2
......@@ -6,9 +6,8 @@ import modules._
import symbols._
import libraries._
import frontend._
import info.kwarc.mmt.api.uom.RealizedType
import info.kwarc.mmt.lf._
import lf._
object CommonSymbols {
......@@ -117,6 +116,13 @@ class SFOLTheoryAdapter(controller: Controller, path: MPath) {
case _ => false
}
}
// TODO FR
def getLiterals: List[uom.RealizedType] = ???
def getLiterals = {
val rules = RuleSet.collectRules(controller, Context(path))
rules.get(classOf[RealizedType]) flatMap {rt =>
rt.synType match {
case TypedTerms.tm(a) => List((a, rt.semType))
case _ => Nil
}
}
}
}
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment