blob: a1e68d6043a5c9a3a58158e1454948c8d48234d6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
package scala.tools.nsc.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];
}
|