/*

 * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.  Oracle designates this

 * particular file as subject to the "Classpath" exception as provided

 * by Oracle in the LICENSE file that accompanied this code.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 */

package com.sun.tools.javac.code;

import java.util.*;

import javax.lang.model.element.ElementVisitor;

import javax.lang.model.type.TypeVisitor;

import com.sun.tools.javac.code.Symbol.*;

import com.sun.tools.javac.code.Type.*;

import com.sun.tools.javac.jvm.*;

import com.sun.tools.javac.util.*;

import com.sun.tools.javac.util.List;

import static com.sun.tools.javac.code.Flags.*;

import static com.sun.tools.javac.jvm.ByteCodes.*;

import static com.sun.tools.javac.code.TypeTag.*;

/** A class that defines all predefined constants and operators

 *  as well as special classes such as java.lang.Object, which need

 *  to be known to the compiler. All symbols are held in instance

 *  fields. This makes it possible to work in multiple concurrent

 *  projects, which might use different class files for library classes.

 *

 *  <p><b>This is NOT part of any supported API.

 *  If you write code that depends on this, you do so at your own risk.

 *  This code and its internal interfaces are subject to change or

 *  deletion without notice.</b>

 */

public class Symtab {

    /** The context key for the symbol table. */

    protected static final Context.Key<Symtab> symtabKey =

        new Context.Key<Symtab>();

    /** Get the symbol table instance. */

    public static Symtab instance(Context context) {

        Symtab instance = context.get(symtabKey);

        if (instance == null)

            instance = new Symtab(context);

        return instance;

    }

    /** Builtin types.

     */

    public final Type byteType = new Type(BYTE, null);

    public final Type charType = new Type(CHAR, null);

    public final Type shortType = new Type(SHORT, null);

    public final Type intType = new Type(INT, null);

    public final Type longType = new Type(LONG, null);

    public final Type floatType = new Type(FLOAT, null);

    public final Type doubleType = new Type(DOUBLE, null);

    public final Type booleanType = new Type(BOOLEAN, null);

    public final Type botType = new BottomType();

    public final JCNoType voidType = new JCNoType(VOID);

    private final Names names;

    private final ClassReader reader;

    private final Target target;

    /** A symbol for the root package.

     */

    public final PackageSymbol rootPackage;

    /** A symbol for the unnamed package.

     */

    public final PackageSymbol unnamedPackage;

    /** A symbol that stands for a missing symbol.

     */

    public final TypeSymbol noSymbol;

    /** The error symbol.

     */

    public final ClassSymbol errSymbol;

    /** The unknown symbol.

     */

    public final ClassSymbol unknownSymbol;

    /** A value for the errType, with a originalType of noType */

    public final Type errType;

    /** A value for the unknown type. */

    public final Type unknownType;

    /** The builtin type of all arrays. */

    public final ClassSymbol arrayClass;

    public final MethodSymbol arrayCloneMethod;

    /** VGJ: The (singleton) type of all bound types. */

    public final ClassSymbol boundClass;

    /** The builtin type of all methods. */

    public final ClassSymbol methodClass;

    /** Predefined types.

     */

    public final Type objectType;

    public final Type classType;

    public final Type classLoaderType;

    public final Type stringType;

    public final Type stringBufferType;

    public final Type stringBuilderType;

    public final Type cloneableType;

    public final Type serializableType;

    public final Type methodHandleType;

    public final Type methodHandleLookupType;

    public final Type methodTypeType;

    public final Type nativeHeaderType;

    public final Type nativeHeaderType_old;

    public final Type throwableType;

    public final Type errorType;

    public final Type interruptedExceptionType;

    public final Type illegalArgumentExceptionType;

    public final Type exceptionType;

    public final Type runtimeExceptionType;

    public final Type classNotFoundExceptionType;

    public final Type noClassDefFoundErrorType;

    public final Type noSuchFieldErrorType;

    public final Type assertionErrorType;

    public final Type cloneNotSupportedExceptionType;

    public final Type annotationType;

    public final TypeSymbol enumSym;

    public final Type listType;

    public final Type collectionsType;

    public final Type comparableType;

    public final Type arraysType;

    public final Type iterableType;

    public final Type iteratorType;

    public final Type annotationTargetType;

    public final Type overrideType;

    public final Type retentionType;

    public final Type deprecatedType;

    public final Type suppressWarningsType;

    public final Type inheritedType;

    public final Type proprietaryType;

    public final Type systemType;

    public final Type autoCloseableType;

    public final Type trustMeType;

    public final Type lambdaMetafactory;

    public final Type repeatableType;

    public final Type documentedType;

    public final Type elementTypeType;

    public final Type functionalInterfaceType;

    /** The symbol representing the length field of an array.

     */

    public final VarSymbol lengthVar;

    /** The null check operator. */

    public final OperatorSymbol nullcheck;

    /** The symbol representing the final finalize method on enums */

    public final MethodSymbol enumFinalFinalize;

    /** The symbol representing the close method on TWR AutoCloseable type */

    public final MethodSymbol autoCloseableClose;

    /** The predefined type that belongs to a tag.

     */

    public final Type[] typeOfTag = new Type[TypeTag.getTypeTagCount()];

    /** The name of the class that belongs to a basix type tag.

     */

    public final Name[] boxedName = new Name[TypeTag.getTypeTagCount()];

    /** A set containing all operator names.

     */

    public final Set<Name> operatorNames = new HashSet<Name>();

    /** A hashtable containing the encountered top-level and member classes,

     *  indexed by flat names. The table does not contain local classes.

     *  It should be updated from the outside to reflect classes defined

     *  by compiled source files.

     */

    public final Map<Name, ClassSymbol> classes = new HashMap<Name, ClassSymbol>();

    /** A hashtable containing the encountered packages.

     *  the table should be updated from outside to reflect packages defined

     *  by compiled source files.

     */

    public final Map<Name, PackageSymbol> packages = new HashMap<Name, PackageSymbol>();

    public void initType(Type type, ClassSymbol c) {

        type.tsym = c;

        typeOfTag[type.tag.ordinal()] = type;

    }

    public void initType(Type type, String name) {

        initType(

            type,

            new ClassSymbol(

                PUBLIC, names.fromString(name), type, rootPackage));

    }

    public void initType(Type type, String name, String bname) {

        initType(type, name);

            boxedName[type.tag.ordinal()] = names.fromString("java.lang." + bname);

    }

    /** The class symbol that owns all predefined symbols.

     */

    public final ClassSymbol predefClass;

    /** Enter a constant into symbol table.

     *  @param name   The constant's name.

     *  @param type   The constant's type.

     */

    private VarSymbol enterConstant(String name, Type type) {

        VarSymbol c = new VarSymbol(

            PUBLIC | STATIC | FINAL,

            names.fromString(name),

            type,

            predefClass);

        c.setData(type.constValue());

        predefClass.members().enter(c);

        return c;

    }

    /** Enter a binary operation into symbol table.

     *  @param name     The name of the operator.

     *  @param left     The type of the left operand.

     *  @param right    The type of the left operand.

     *  @param res      The operation's result type.

     *  @param opcode   The operation's bytecode instruction.

     */

    private void enterBinop(String name,

                            Type left, Type right, Type res,

                            int opcode) {

        predefClass.members().enter(

            new OperatorSymbol(

                makeOperatorName(name),

                new MethodType(List.of(left, right), res,

                               List.<Type>nil(), methodClass),

                opcode,

                predefClass));

    }

    /** Enter a binary operation, as above but with two opcodes,

     *  which get encoded as

     *  {@code (opcode1 << ByteCodeTags.preShift) + opcode2 }.

     *  @param opcode1     First opcode.

     *  @param opcode2     Second opcode.

     */

    private void enterBinop(String name,

                            Type left, Type right, Type res,

                            int opcode1, int opcode2) {

        enterBinop(

            name, left, right, res, (opcode1 << ByteCodes.preShift) | opcode2);

    }

    /** Enter a unary operation into symbol table.

     *  @param name     The name of the operator.

     *  @param arg      The type of the operand.

     *  @param res      The operation's result type.

     *  @param opcode   The operation's bytecode instruction.

     */

    private OperatorSymbol enterUnop(String name,

                                     Type arg,

                                     Type res,

                                     int opcode) {

        OperatorSymbol sym =

            new OperatorSymbol(makeOperatorName(name),

                               new MethodType(List.of(arg),

                                              res,

                                              List.<Type>nil(),

                                              methodClass),

                               opcode,

                               predefClass);

        predefClass.members().enter(sym);

        return sym;

    }

    /**

     * Create a new operator name from corresponding String representation

     * and add the name to the set of known operator names.

     */

    private Name makeOperatorName(String name) {

        Name opName = names.fromString(name);

        operatorNames.add(opName);

        return opName;

    }

    /** Enter a class into symbol table.

     *  @param s The name of the class.

     */

    private Type enterClass(String s) {

        return reader.enterClass(names.fromString(s)).type;

    }

    public void synthesizeEmptyInterfaceIfMissing(final Type type) {

        final Completer completer = type.tsym.completer;

        if (completer != null) {

            type.tsym.completer = new Completer() {

                public void complete(Symbol sym) throws CompletionFailure {

                    try {

                        completer.complete(sym);

                    } catch (CompletionFailure e) {

                        sym.flags_field |= (PUBLIC | INTERFACE);

                        ((ClassType) sym.type).supertype_field = objectType;

                    }

                }

            };

        }

    }

    public void synthesizeBoxTypeIfMissing(final Type type) {

        ClassSymbol sym = reader.enterClass(boxedName[type.tag.ordinal()]);

        final Completer completer = sym.completer;

        if (completer != null) {

            sym.completer = new Completer() {

                public void complete(Symbol sym) throws CompletionFailure {

                    try {

                        completer.complete(sym);

                    } catch (CompletionFailure e) {

                        sym.flags_field |= PUBLIC;

                        ((ClassType) sym.type).supertype_field = objectType;

                        Name n = target.boxWithConstructors() ? names.init : names.valueOf;

                        MethodSymbol boxMethod =

                            new MethodSymbol(PUBLIC | STATIC,

                                n,

                                new MethodType(List.of(type), sym.type,

                                    List.<Type>nil(), methodClass),

                                sym);

                        sym.members().enter(boxMethod);

                        MethodSymbol unboxMethod =

                            new MethodSymbol(PUBLIC,

                                type.tsym.name.append(names.Value), // x.intValue()

                                new MethodType(List.<Type>nil(), type,

                                    List.<Type>nil(), methodClass),

                                sym);

                        sym.members().enter(unboxMethod);

                    }

                }

            };

        }

    }

    /** Constructor; enters all predefined identifiers and operators

     *  into symbol table.

     */

    protected Symtab(Context context) throws CompletionFailure {

        context.put(symtabKey, this);

        names = Names.instance(context);

        target = Target.instance(context);

        // Create the unknown type

        unknownType = new Type(UNKNOWN, null) {

            @Override

            public <R, P> R accept(TypeVisitor<R, P> v, P p) {

                return v.visitUnknown(this, p);

            }

        };

        // create the basic builtin symbols

        rootPackage = new PackageSymbol(names.empty, null);

        final JavacMessages messages = JavacMessages.instance(context);

        unnamedPackage = new PackageSymbol(names.empty, rootPackage) {

                public String toString() {

                    return messages.getLocalizedString("compiler.misc.unnamed.package");

                }

            };

        noSymbol = new TypeSymbol(0, names.empty, Type.noType, rootPackage) {

            public <R, P> R accept(ElementVisitor<R, P> v, P p) {

                return v.visitUnknown(this, p);

            }

        };

        noSymbol.kind = Kinds.NIL;

        // create the error symbols

        errSymbol = new ClassSymbol(PUBLIC|STATIC|ACYCLIC, names.any, null, rootPackage);

        errType = new ErrorType(errSymbol, Type.noType);

        unknownSymbol = new ClassSymbol(PUBLIC|STATIC|ACYCLIC, names.fromString("<any?>"), null, rootPackage);

        unknownSymbol.members_field = new Scope.ErrorScope(unknownSymbol);

        unknownSymbol.type = unknownType;

        // initialize builtin types

        initType(byteType, "byte", "Byte");

        initType(shortType, "short", "Short");

        initType(charType, "char", "Character");

        initType(intType, "int", "Integer");

        initType(longType, "long", "Long");

        initType(floatType, "float", "Float");

        initType(doubleType, "double", "Double");

        initType(booleanType, "boolean", "Boolean");

        initType(voidType, "void", "Void");

        initType(botType, "<nulltype>");

        initType(errType, errSymbol);

        initType(unknownType, unknownSymbol);

        // the builtin class of all arrays

        arrayClass = new ClassSymbol(PUBLIC|ACYCLIC, names.Array, noSymbol);

        // VGJ

        boundClass = new ClassSymbol(PUBLIC|ACYCLIC, names.Bound, noSymbol);

        boundClass.members_field = new Scope.ErrorScope(boundClass);

        // the builtin class of all methods

        methodClass = new ClassSymbol(PUBLIC|ACYCLIC, names.Method, noSymbol);

        methodClass.members_field = new Scope.ErrorScope(boundClass);

        // Create class to hold all predefined constants and operations.

        predefClass = new ClassSymbol(PUBLIC|ACYCLIC, names.empty, rootPackage);

        Scope scope = new Scope(predefClass);

        predefClass.members_field = scope;

        // Enter symbols for basic types.

        scope.enter(byteType.tsym);

        scope.enter(shortType.tsym);

        scope.enter(charType.tsym);

        scope.enter(intType.tsym);

        scope.enter(longType.tsym);

        scope.enter(floatType.tsym);

        scope.enter(doubleType.tsym);

        scope.enter(booleanType.tsym);

        scope.enter(errType.tsym);

        // Enter symbol for the errSymbol

        scope.enter(errSymbol);

        classes.put(predefClass.fullname, predefClass);

        reader = ClassReader.instance(context);

        reader.init(this);

        // Enter predefined classes.

        objectType = enterClass("java.lang.Object");

        classType = enterClass("java.lang.Class");

        stringType = enterClass("java.lang.String");

        stringBufferType = enterClass("java.lang.StringBuffer");

        stringBuilderType = enterClass("java.lang.StringBuilder");

        cloneableType = enterClass("java.lang.Cloneable");

        throwableType = enterClass("java.lang.Throwable");

        serializableType = enterClass("java.io.Serializable");

        methodHandleType = enterClass("java.lang.invoke.MethodHandle");

        methodHandleLookupType = enterClass("java.lang.invoke.MethodHandles$Lookup");

        methodTypeType = enterClass("java.lang.invoke.MethodType");

        errorType = enterClass("java.lang.Error");

        illegalArgumentExceptionType = enterClass("java.lang.IllegalArgumentException");

        interruptedExceptionType = enterClass("java.lang.InterruptedException");

        exceptionType = enterClass("java.lang.Exception");

        runtimeExceptionType = enterClass("java.lang.RuntimeException");

        classNotFoundExceptionType = enterClass("java.lang.ClassNotFoundException");

        noClassDefFoundErrorType = enterClass("java.lang.NoClassDefFoundError");

        noSuchFieldErrorType = enterClass("java.lang.NoSuchFieldError");

        assertionErrorType = enterClass("java.lang.AssertionError");

        cloneNotSupportedExceptionType = enterClass("java.lang.CloneNotSupportedException");

        annotationType = enterClass("java.lang.annotation.Annotation");

        classLoaderType = enterClass("java.lang.ClassLoader");

        enumSym = reader.enterClass(names.java_lang_Enum);

        enumFinalFinalize =

            new MethodSymbol(PROTECTED|FINAL|HYPOTHETICAL,

                             names.finalize,

                             new MethodType(List.<Type>nil(), voidType,

                                            List.<Type>nil(), methodClass),

                             enumSym);

        listType = enterClass("java.util.List");

        collectionsType = enterClass("java.util.Collections");

        comparableType = enterClass("java.lang.Comparable");

        arraysType = enterClass("java.util.Arrays");

        iterableType = target.hasIterable()

            ? enterClass("java.lang.Iterable")

            : enterClass("java.util.Collection");

        iteratorType = enterClass("java.util.Iterator");

        annotationTargetType = enterClass("java.lang.annotation.Target");

        overrideType = enterClass("java.lang.Override");

        retentionType = enterClass("java.lang.annotation.Retention");

        deprecatedType = enterClass("java.lang.Deprecated");

        suppressWarningsType = enterClass("java.lang.SuppressWarnings");

        inheritedType = enterClass("java.lang.annotation.Inherited");

        repeatableType = enterClass("java.lang.annotation.Repeatable");

        documentedType = enterClass("java.lang.annotation.Documented");

        elementTypeType = enterClass("java.lang.annotation.ElementType");

        systemType = enterClass("java.lang.System");

        autoCloseableType = enterClass("java.lang.AutoCloseable");

        autoCloseableClose = new MethodSymbol(PUBLIC,

                             names.close,

                             new MethodType(List.<Type>nil(), voidType,

                                            List.of(exceptionType), methodClass),

                             autoCloseableType.tsym);

        trustMeType = enterClass("java.lang.SafeVarargs");

        nativeHeaderType = enterClass("java.lang.annotation.Native");