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

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

mercurial