/*
 * Copyright 1998 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
 * CA 95054 USA or visit www.sun.com if you need additional information or
 * have any questions.
 */

/*
 * @test
 * @bug 4102566
 * @summary Test access methods for assignment targets.
 * @author William Maddox (maddox)
 *
 * @compile AccessMethodsLHS.java
 * @run main AccessMethodsLHS
 */

public class AccessMethodsLHS {

    static void fail(String msg) throws Exception {
	throw new Exception("FAIL: " + msg);
    }

    static int arg = 123456;

    private int i;
    private double d;

    private void m(int x) throws Exception {
	System.out.println("called AccessMethodsLHS.m");
	if (x != 123456)
	    AccessMethodsLHS.fail("bad argument");
    }

    public static class Bar {
        private int i;
	private double d;
	private String s;

	private void m(int x) throws Exception {
	    System.out.println("called AccessMethodsLHS.Bar.m");
	    if (x != 123456)
		AccessMethodsLHS.fail("bad argument");
	}

	// Static members are permitted in a static inner class.

	static private int si;
	static private double sd;
	static private String ss;

	static private void sm(int x) throws Exception {
	    System.out.println("called AccessMethodsLHS.Bar.sm");
	    if (x != 123456)
		AccessMethodsLHS.fail("bad argument");
	}
    }

    public static class Baz {
        private int i;
	private double d;
	private String s;

	private void m(int x) throws Exception {
	    System.out.println("called Baz.m");
	    if (x != 123456)
		AccessMethodsLHS.fail("bad argument");
	}

	// Compiler rejects static members here correctly.
	
	// static private int si;
	// static private double sd;
	// static private String ss;
    }

    public class Quux {
	void DoIt () throws Exception {
	    m(arg);
	    i = 1;
	    d = 1.0;
	    i += 5;
	    i--;
	}
	void DoMore(AccessMethodsLHS f) throws Exception {
	    f.m(arg);
	}
    }

    public static class Quem {
	void DoIt () {
	    // Illegal static refs to non-static vars
	    // i = 1;
	    // d = 1.0;
	    // i += 5;
	    // i--;
	}
    }

    static int effects = 0;

    static Bar iBar(Bar x) { effects++; return x; }

    static Baz iBaz(Baz x) { effects++; return x; }

    static void checkEffects(int i) throws Exception {
	if (effects != 1) {
	    AccessMethodsLHS.fail("incorrect side-effect behavior (" + effects + "): " + i);
	}
	effects = 0;
    }
 
    static public void main(String args[]) throws Exception {

        Bar b = new Bar();
	Baz c = new Baz();

        System.out.println("testing assignment");

	AccessMethodsLHS f = new AccessMethodsLHS();

	Quux q1 = f.new Quux();
	q1.DoIt();
	q1.DoMore(f);

	Quem q2 = new Quem();
	q2.DoIt();

	// *** Static class, Non-static members ***

	b.m(arg);

	// Integer (1 word)

	b.i = 5;
	System.out.println(b.i);
	if (b.i != 5)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(b.i);


	if ((b.i += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(b.i);

	if (b.i != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.i);

	b.s = "foo";
	if (!(b.s += "bar").equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign result");
	System.out.println(b.s);

	if (!b.s.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect");
	System.out.println(b.s);

	b.s = "foo";
	b.s += "bar";
	if (!b.s.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect (novalue)");
	System.out.println(b.s);

	b.i = 0;
	b.i++;
	if (b.i != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.i);

	b.i = 5;
	if (b.i++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	if (b.i != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.i);

	b.i = 1;
	--b.i;
	if (b.i != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.i = 5;
	if (--b.i != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (b.i != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.i);

	// Double (2 word)

	b.d = 5.0;
	System.out.println(b.d);
	if (b.d != 5.0)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(b.d);

	if ((b.d += 10) != 15.0)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(b.d);

	if (b.d != 15.0)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.d);

	b.d = 0.0;
	b.d++;
	if (b.d != 1.0)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.d);

	b.d = 5.0;
	if (b.d++ != 5.0)
	    AccessMethodsLHS.fail("post-increment result");
	if (b.d != 6.0)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.d);

	b.d = 1.0;
	--b.d;
	if (b.d != 0.0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.d = 5.0;
	if (--b.d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (b.d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.d);

	// Integer (1 word) with side-effects in object reference

	iBar(b).i = 5;
	checkEffects(1);
	System.out.println(b.i);
	if (b.i != 5)
	    AccessMethodsLHS.fail("simple assignment");

	System.out.println(b.i);

	if ((iBar(b).i += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	checkEffects(2);
	System.out.println(b.i);

	if (b.i != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.i);

	b.i = 0;
	iBar(b).i++;
	checkEffects(3);
	if (b.i != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.i);

	b.i = 5;
	if (iBar(b).i++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	checkEffects(4);
	if (b.i != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.i);

	b.i = 1;
	--iBar(b).i;
	checkEffects(5);
	if (b.i != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.i = 5;
	if (--iBar(b).i != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	checkEffects(6);
	if (b.i != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.i);


	// *** Static class, Static members ***

	Bar.sm(arg);

	// Integer (1 word)

	Bar.si = 5;
	System.out.println(Bar.si);
	if (Bar.si != 5)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(Bar.si);

	if ((Bar.si += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(Bar.si);

	if (Bar.si != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(Bar.si);

	Bar.ss = "foo";
	if (!(Bar.ss += "bar").equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign result");
	System.out.println(Bar.ss);

	if (!Bar.ss.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect");
	System.out.println(Bar.ss);

	Bar.ss = "foo";
	Bar.ss += "bar";
	if (!Bar.ss.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect (novalue)");
	System.out.println(Bar.ss);

	Bar.si = 0;
	Bar.si++;
	if (Bar.si != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(Bar.si);

	Bar.si = 5;
	if (Bar.si++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	if (Bar.si != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(Bar.si);

	Bar.si = 1;
	--Bar.si;
	if (Bar.si != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	Bar.si = 5;
	if (--Bar.si != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (Bar.si != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(Bar.si);

	// Double (2 word)

	Bar.sd = 5.0;
	System.out.println(Bar.sd);
	if (Bar.sd != 5.0)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(Bar.sd);

	if ((Bar.sd += 10) != 15.0)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(Bar.sd);

	if (Bar.sd != 15.0)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(Bar.sd);

	Bar.sd = 0.0;
	Bar.sd++;
	if (Bar.sd != 1.0)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(Bar.sd);

	Bar.sd = 5.0;
	if (Bar.sd++ != 5.0)
	    AccessMethodsLHS.fail("post-increment result");
	if (Bar.sd != 6.0)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(Bar.sd);

	Bar.sd = 1.0;
	--Bar.sd;
	if (Bar.sd != 0.0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	Bar.sd = 5.0;
	if (--Bar.sd != 4.0)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (Bar.sd != 4.0)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(Bar.sd);


	// *** Static class, Static members (invoked via object reference) ***

	b.sm(arg);

	iBar(b).sm(arg);
	checkEffects(101);

	// Integer (1 word)

	b.si = 5;
	System.out.println(b.si);
	if (b.si != 5)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(b.si);

	if ((b.si += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(b.si);

	if (b.si != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.si);

	b.ss = "foo";
	if (!(b.ss += "bar").equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign result");
	System.out.println(b.ss);

	if (!b.ss.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect");
	System.out.println(b.ss);

	b.ss = "foo";
	b.ss += "bar";
	if (!b.ss.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect (novalue)");
	System.out.println(b.ss);

	b.si = 0;
	b.si++;
	if (b.si != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.si);

	b.si = 5;
	if (b.si++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	if (b.si != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.si);

	b.si = 1;
	--b.si;
	if (b.si != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.si = 5;
	if (--b.si != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (b.si != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.si);

	// Double (2 word)

	b.sd = 5.0;
	System.out.println(b.sd);
	if (b.sd != 5.0)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(b.sd);

	if ((b.sd += 10) != 15.0)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(b.sd);

	if (b.sd != 15.0)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.sd);

	b.sd = 0.0;
	b.sd++;
	if (b.sd != 1.0)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.sd);

	b.sd = 5.0;
	if (b.sd++ != 5.0)
	    AccessMethodsLHS.fail("post-increment result");
	if (b.sd != 6.0)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.sd);

	b.sd = 1.0;
	--b.sd;
	if (b.sd != 0.0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.sd = 5.0;
	if (--b.sd != 4.0)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (b.sd != 4.0)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.sd);

	// Integer (1 word) with side-effects in object reference

	iBar(b).si = 5;
	checkEffects(7);
	System.out.println(b.si);
	if (b.si != 5)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(b.si);

	if ((iBar(b).si += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	checkEffects(8);
	System.out.println(b.si);

	if (b.si != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(b.si);

	iBar(b).si = 0;
	checkEffects(9);
	iBar(b).si++;
	checkEffects(10);
	if (b.si != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(b.si);

	b.si = 5;
	if (iBar(b).si++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	checkEffects(11);
	if (b.si != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(b.si);

	b.si = 1;
	--iBar(b).si;
	checkEffects(12);
	if (b.si != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	b.si = 5;
	if (--iBar(b).si != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	checkEffects(13);
	if (b.si != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(b.si);


	// *** Non-static class, Non-static members ***

	c.m(arg);

	iBaz(c).m(arg);
	checkEffects(102);

	// Integer (1 word)

	c.i = 5;
	System.out.println(c.i);
	if (c.i != 5)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(c.i);

	if ((c.i += 10) != 15)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(c.i);

	if (c.i != 15)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(c.i);

	c.s = "foo";
	if (!(c.s += "bar").equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign result");
	System.out.println(c.s);

	if (!c.s.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect");
	System.out.println(c.s);

	c.s = "foo";
	c.s += "bar";
	if (!c.s.equals("foobar"))
	    AccessMethodsLHS.fail("concat-assign effect (novalue)");
	System.out.println(c.s);

	c.i = 0;
	c.i++;
	if (c.i != 1)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(c.i);

	c.i = 5;
	if (c.i++ != 5)
	    AccessMethodsLHS.fail("post-increment result");
	if (c.i != 6)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(c.i);

	c.i = 1;
	--c.i;
	if (c.i != 0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	c.i = 5;
	if (--c.i != 4)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (c.i != 4)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(c.i);

	// Double (2 word)

	c.d = 5.0;
	System.out.println(c.d);
	if (c.d != 5.0)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(c.d);

	if ((c.d += 10) != 15.0)
	    AccessMethodsLHS.fail("add-assign result");
	System.out.println(c.d);

	if (c.d != 15.0)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(c.d);

	c.d = 0.0;
	c.d++;
	if (c.d != 1.0)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(c.d);

	c.d = 5.0;
	if (c.d++ != 5.0)
	    AccessMethodsLHS.fail("post-increment result");
	if (c.d != 6.0)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(c.d);

	c.d = 1.0;
	--c.d;
	if (c.d != 0.0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	c.d = 5.0;
	if (--c.d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement result");
	if (c.d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(c.d);

	// Double (2 word) with side-effects in object reference

	iBaz(c).d = 5.0;
	checkEffects(14);
	System.out.println(c.d);
	if (c.d != 5.0)
	    AccessMethodsLHS.fail("simple assignment");
	System.out.println(c.d);

	if ((iBaz(c).d += 10) != 15.0)
	    AccessMethodsLHS.fail("add-assign result");
	checkEffects(15);
	System.out.println(c.d);

	if (c.d != 15.0)
	    AccessMethodsLHS.fail("add-assign effect");
	System.out.println(c.d);

	c.d = 0.0;
	iBaz(c).d++;
	checkEffects(16);
	if (c.d != 1.0)
	    AccessMethodsLHS.fail("post-increment effect");
	System.out.println(c.d);

	c.d = 5.0;
	if (iBaz(c).d++ != 5.0)
	    AccessMethodsLHS.fail("post-increment result");
	checkEffects(17);
	if (c.d != 6.0)
	    AccessMethodsLHS.fail("post-increment effect (embedded)");
	System.out.println(c.d);

	c.d = 1.0;
	--iBaz(c).d;
	checkEffects(18);
	if (c.d != 0.0)
	    AccessMethodsLHS.fail("pre-decrement effect");

	c.d = 5.0;
	if (--iBaz(c).d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement result");
	checkEffects(19);
	if (c.d != 4.0)
	    AccessMethodsLHS.fail("pre-decrement effect (embedded)");
	System.out.println(c.d);

	// All done.

        System.out.println("done");
    }
}