blob: 19e6b16283175150d8fd71d9adf2a08bf7143418 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* NSC -- new Scala compiler
* Copyright 2005-2012 LAMP/EPFL
* @author Martin Odersky
*/
package scala.tools.nsc
package backend.icode.analysis
/** Program points are locations in the program where we want to
* assert certain properties through data flow analysis, e.g.
* basic blocks.
*/
trait ProgramPoint[a <: ProgramPoint[a]] {
def predecessors: List[a]
def successors: List[a]
def exceptionHandlerStart: Boolean
}
|