diff options
author | paltherr <paltherr@epfl.ch> | 2003-12-12 09:58:37 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-12-12 09:58:37 +0000 |
commit | 6eba51241f5769603484171b54072ded1531bf93 (patch) | |
tree | 33d5475ba8512372d1cd24e2fcb0650425a8c742 /sources/scalac/checkers/TreeChecker.java | |
parent | de574928fe8f707ae53c9cd3085c179b49a4414e (diff) | |
download | scala-6eba51241f5769603484171b54072ded1531bf93.tar.gz scala-6eba51241f5769603484171b54072ded1531bf93.tar.bz2 scala-6eba51241f5769603484171b54072ded1531bf93.zip |
- Added method statement and stub method expres...
- Added method statement and stub method expression
Diffstat (limited to 'sources/scalac/checkers/TreeChecker.java')
-rw-r--r-- | sources/scalac/checkers/TreeChecker.java | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/sources/scalac/checkers/TreeChecker.java b/sources/scalac/checkers/TreeChecker.java index 05cd757e7f..0816e5a278 100644 --- a/sources/scalac/checkers/TreeChecker.java +++ b/sources/scalac/checkers/TreeChecker.java @@ -21,6 +21,7 @@ import scalac.ast.Tree.Template; import scalac.ast.Tree.ValDef; import scalac.symtab.Definitions; import scalac.symtab.Symbol; +import scalac.symtab.Type; import scalac.util.Debug; /** @@ -178,6 +179,39 @@ public class TreeChecker { } //######################################################################## + // Private Methods - Checking statements + + /** Checks the statement. Returns true. */ + private boolean statement(Set locals, Tree tree) { + switch (tree) { + + case Empty: + return true; + + case ValDef(_, _, _, Tree rhs): + Symbol symbol = tree.symbol(); + assert symbol != null && symbol.isTerm(): show(tree); + scopeInsertVVariable(symbol, false); + locals.add(symbol); + pushOwner(symbol); + expression(rhs, symbol.type()); + popOwner(); + return true; + + default: + return expression(tree, tree.type()); + } + } + + //######################################################################## + // Private Methods - Checking expressions + + /** Checks the expression. Returns true. */ + private boolean expression(Tree tree, Type expected) { + return true; + } + + //######################################################################## // Private Methods - Declaring symbols /** Do the trees contain the given symbols? */ |