KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > polyglot > ext > jl > types > UnknownType_c


1 package polyglot.ext.jl.types;
2
3 import polyglot.types.*;
4 import polyglot.util.*;
5 import polyglot.types.Package;
6 import java.io.*;
7
8 /**
9  * An unknown type. This is used as a place-holder until types are
10  * disambiguated.
11  */
12 public class UnknownType_c extends Type_c implements UnknownType
13 {
14     /** Used for deserializing types. */
15     protected UnknownType_c() { }
16     
17     /** Creates a new type in the given a TypeSystem. */
18     public UnknownType_c(TypeSystem ts) {
19         super(ts);
20     }
21
22     public boolean isCanonical() {
23         return false;
24     }
25
26     public String JavaDoc translate(Resolver c) {
27     throw new InternalCompilerError("Cannot translate an unknown type.");
28     }
29
30     public String JavaDoc toString() {
31     return "<unknown>";
32     }
33 }
34
Popular Tags