/*

 * Copyright (c) 2015, 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.

 *

 * 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.

 */

/*

 * @test

 * @bug 8144903

 * @summary Tests for determining the type from the expression

 * @build KullaTesting TestingInputStream

 * @run testng TypeNameTest

 */

import jdk.jshell.Snippet;

import jdk.jshell.VarSnippet;

import org.testng.annotations.Test;

import static jdk.jshell.Snippet.Status.VALID;

import static org.testng.Assert.assertEquals;

@Test

public class TypeNameTest extends KullaTesting {

    public void testReplClassName() {

        assertEval("class C {}");

        VarSnippet sn = (VarSnippet) varKey(assertEval("new C();"));

        assertEquals(sn.typeName(), "C");

    }

    public void testReplNestedClassName() {

        assertEval("class D { static class E {} }");

        VarSnippet sn = (VarSnippet) varKey(assertEval("new D.E();"));

        assertEquals(sn.typeName(), "D.E");

    }

    public void testAnonymousClassName() {

        assertEval("class C {}");

        VarSnippet sn = (VarSnippet) varKey(assertEval("new C() { int x; };"));

        assertEquals(sn.typeName(), "C");

    }

    public void testCapturedTypeName() {

        VarSnippet sn = (VarSnippet) varKey(assertEval("\"\".getClass();"));

        assertEquals(sn.typeName(), "Class<? extends String>");

    }

    public void testArrayTypeOfCapturedTypeName() {

        VarSnippet sn = (VarSnippet) varKey(assertEval("\"\".getClass().getEnumConstants();"));

        assertEquals(sn.typeName(), "String[]");

    }

    public void testJavaLang() {

        VarSnippet sn = (VarSnippet) varKey(assertEval("\"\";"));

        assertEquals(sn.typeName(), "String");

    }

    public void testNotOverEagerPackageEating() {

        VarSnippet sn = (VarSnippet) varKey(assertEval("\"\".getClass().getDeclaredMethod(\"hashCode\");"));

        assertEquals(sn.typeName(), "java.lang.reflect.Method");

    }

    public void testBounds() {

        assertEval("java.util.List<? extends String> list1 = java.util.Arrays.asList(\"\");");

        VarSnippet sn1 = (VarSnippet) varKey(assertEval("list1.iterator().next()"));

        assertEquals(sn1.typeName(), "String");

        assertEval("java.util.List<? super String> list2 = java.util.Arrays.asList(\"\");");

        VarSnippet sn2 = (VarSnippet) varKey(assertEval("list2.iterator().next()"));

        assertEquals(sn2.typeName(), "Object");

        assertEval("java.util.List<?> list3 = java.util.Arrays.asList(\"\");");

        VarSnippet sn3 = (VarSnippet) varKey(assertEval("list3.iterator().next()"));

        assertEquals(sn3.typeName(), "Object");

        assertEval("class Test1<X extends CharSequence> { public X get() { return null; } }");

        Snippet x = varKey(assertEval("Test1<?> test1 = new Test1<>();"));

        VarSnippet sn4 = (VarSnippet) varKey(assertEval("test1.get()"));

        assertEquals(sn4.typeName(), "Object");

        assertEval("class Test2<X extends Number & CharSequence> { public X get() { return null; } }");

        assertEval("Test2<?> test2 = new Test2<>();");

        VarSnippet sn5 = (VarSnippet) varKey(assertEval("test2.get()"));

        assertEquals(sn5.typeName(), "Object");

        assertEval("class Test3<T> { T[][] get() { return null; } }", added(VALID));

        assertEval("Test3<? extends String> test3 = new Test3<>();");

        VarSnippet sn6 = (VarSnippet) varKey(assertEval("test3.get()"));

        assertEquals(sn6.typeName(), "String[][]");

    }

}