blob: 1fa1e36799c7d4d42dd0133e55982afe4e165786 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* NSC -- new Scala compiler
* Copyright 2005-2009 LAMP/EPFL
* @author Martin Odersky
*/
// $Id$
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
}
|