diff options
| author | paltherr <paltherr@epfl.ch> | 2003-10-28 12:25:52 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-10-28 12:25:52 +0000 |
| commit | 0e7948f04270aac4f7ced45c590c24f70d59830d (patch) | |
| tree | 42bbd56fa03787a647ea08e916eb19d97a646047 | |
| parent | 093023c65303c9ec347d719aad9014829cc49ea6 (diff) | |
| download | scala-0e7948f04270aac4f7ced45c590c24f70d59830d.tar.gz scala-0e7948f04270aac4f7ced45c590c24f70d59830d.tar.bz2 scala-0e7948f04270aac4f7ced45c590c24f70d59830d.zip | |
- Added method memberStabilizedType
| -rw-r--r-- | sources/scalac/symtab/Type.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index c2b88fdf70..9802005bd8 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -1198,6 +1198,14 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { return sym.type().asSeenFrom(this, sym.owner()); } + /** The stabilized type of `sym', seen as a member of this type. + */ + public Type memberStabilizedType(Symbol sym) { + return sym.isStable() && this.isStable() + ? Type.singleTypeMethod(this, sym) + : this.memberType(sym); + } + /** The low bound of `sym', seen as a member of this type. */ public Type memberLoBound(Symbol sym) { |