src/Pure/Thy/sessions.scala
changeset 65566 94c514ea2846
parent 65561 741b1d3930c0
child 65580 66351f79c295
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun Apr 23 22:00:15 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun Apr 23 23:06:50 2017 +0200
     1.3 @@ -448,6 +448,9 @@
     1.4      def build_topological_order: List[Info] =
     1.5        build_graph.topological_order.map(apply(_))
     1.6  
     1.7 +    def imports_ancestors(name: String): List[String] =
     1.8 +      imports_graph.all_preds(List(name)).tail.reverse
     1.9 +
    1.10      def imports_topological_order: List[Info] =
    1.11        imports_graph.topological_order.map(apply(_))
    1.12