• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/synthesize/Double.java@d7d932236fee (annotated)

test/tools/javac/synthesize/Double.java

Sun, 04 Nov 2012 10:59:42 +0000

author

mcimadamore

date

Sun, 04 Nov 2012 10:59:42 +0000

changeset 1393

d7d932236fee

parent 0

959103a6100f

permissions

-rw-r--r--

7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith

aoqi@0	1	package java.lang;
aoqi@0	2
aoqi@0	3	public class Double extends Number
aoqi@0	4	{
aoqi@0	5	public static Double valueOf(double v) {
aoqi@0	6	return new Double(v);
aoqi@0	7	}
aoqi@0	8
aoqi@0	9	public Double(double v) {
aoqi@0	10	value = v;
aoqi@0	11	}
aoqi@0	12
aoqi@0	13	public double doubleValue() {
aoqi@0	14	return value;
aoqi@0	15	}
aoqi@0	16
aoqi@0	17	private double value;
aoqi@0	18	}