blob: 1cb5cfb0513239e1893418a4fe5469435239bb9b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/* NSC -- new Scala compiler
* Copyright 2005-2010 LAMP/EPFL
* @author Martin Odersky
*/
// $Id$
package scala.tools.nsc
package backend
import scala.tools.nsc.ast._
import scala.collection.mutable.Stack
/**
* Simple implementation of a worklist algorithm. A processing
* function is applied repeatedly to the first element in the
* worklist, as long as the stack is not empty.
*
* The client class should mix-in this class and initialize the
* worklist field and define the <code>processElement</code> method.
* Then call the <code>run</code> method providing a function that
* initializes the worklist.
*
* @author Martin Odersky
* @version 1.0
* @see <a href="icode/Linearizers.html" target="contentFrame">scala.tools.nsc.backend.icode.Linearizers</a>
*/
trait WorklistAlgorithm {
type Elem
type WList = Stack[Elem]
val worklist: WList
/**
* Run the iterative algorithm until the worklist
* remains empty. The initializer is run once before
* the loop starts and should initialize the worklist.
*
* @param initWorklist ...
*/
def run(initWorklist: => Unit) = {
initWorklist
while (!(worklist.length == 0))
processElement(dequeue);
}
/**
* Process the current element from the worklist.
*/
def processElement(e: Elem): Unit
/**
* Remove and return the first element to be processed from the worklist.
*/
def dequeue: Elem
}
|