blob: 4e4026f5268ac5bc8fcc28954dea9e8b3a87ecbd (
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-2013 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
}
|