diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/backend/icode/analysis/CopyPropagation.scala | 17 | ||||
-rw-r--r-- | src/compiler/scala/tools/nsc/backend/icode/analysis/ProgramPoint.scala | 13 |
2 files changed, 22 insertions, 8 deletions
diff --git a/src/compiler/scala/tools/nsc/backend/icode/analysis/CopyPropagation.scala b/src/compiler/scala/tools/nsc/backend/icode/analysis/CopyPropagation.scala index 242c9e96fe..2c9daba6d3 100644 --- a/src/compiler/scala/tools/nsc/backend/icode/analysis/CopyPropagation.scala +++ b/src/compiler/scala/tools/nsc/backend/icode/analysis/CopyPropagation.scala @@ -1,6 +1,13 @@ -package scala.tools.nsc.backend.icode.analysis; +/* NSC -- new Scala compiler + * Copyright 2005-2006 LAMP/EPFL + * @author Martin Odersky + */ + +// $Id$ + +package scala.tools.nsc.backend.icode.analysis -import scala.collection.mutable.{Map, HashMap}; +import scala.collection.mutable.{Map, HashMap} /** * A modified copy-propagation like analysis. It @@ -8,9 +15,9 @@ import scala.collection.mutable.{Map, HashMap}; * to represent closures. */ abstract class CopyPropagation { - val global: Global; - import global._; - import icodes._; + val global: Global + import global._ + import icodes._ /** Locations can be local variables. */ abstract sealed class Location; diff --git a/src/compiler/scala/tools/nsc/backend/icode/analysis/ProgramPoint.scala b/src/compiler/scala/tools/nsc/backend/icode/analysis/ProgramPoint.scala index a1e68d6043..e1652c71f9 100644 --- a/src/compiler/scala/tools/nsc/backend/icode/analysis/ProgramPoint.scala +++ b/src/compiler/scala/tools/nsc/backend/icode/analysis/ProgramPoint.scala @@ -1,10 +1,17 @@ -package scala.tools.nsc.backend.icode.analysis; +/* NSC -- new Scala compiler + * Copyright 2005-2006 LAMP/EPFL + * @author Martin Odersky + */ + +// $Id$ + +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]; + def predecessors: List[a] + def successors: List[a] } |