diff options
author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-25 06:42:01 +0000 |
---|---|---|
committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2006-11-25 06:42:01 +0000 |
commit | 54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8 (patch) | |
tree | c2b2b7149101962c24acf634b15fa903a1cfbad6 /test/pending/res/bug837/DataFlowAnalysis.scala | |
parent | fb4eff863874a884a017d4b98120bf337ffad8f5 (diff) | |
download | scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.tar.gz scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.tar.bz2 scala-54bb9363cd8dd0ea7cb1be4ffe8c7cdbf9eb8cf8.zip |
Residents tests for pending bugs that fit into ...
Residents tests for pending bugs that fit into testing infrastructure.
Diffstat (limited to 'test/pending/res/bug837/DataFlowAnalysis.scala')
-rw-r--r-- | test/pending/res/bug837/DataFlowAnalysis.scala | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/pending/res/bug837/DataFlowAnalysis.scala b/test/pending/res/bug837/DataFlowAnalysis.scala new file mode 100644 index 0000000000..0197f5fbbf --- /dev/null +++ b/test/pending/res/bug837/DataFlowAnalysis.scala @@ -0,0 +1,17 @@ +package test; +import scala.collection.mutable._; +trait CompleteLattice { + trait Elem; +} +trait DataFlowAnalysis[L <: CompleteLattice] { + type P; + val lattice : L; + val out: Map[P, lattice.Elem] = new HashMap; +} +abstract class Liveness { + object livenessLattice extends CompleteLattice; + final class LivenessAnalysis extends DataFlowAnalysis[livenessLattice.type] { + type P = String; + val lattice = livenessLattice; + } +}
\ No newline at end of file |