1 module java.lang.reflect.Package;
2 
3 import java.lang.all;
4 import java.lang.Class;
5 import java.lang.String;
6 
7 class Package {
8     String getImplementationTitle(){
9         implMissing(__FILE__,__LINE__);
10         return null;
11     }
12     String getImplementationVendor(){
13         implMissing(__FILE__,__LINE__);
14         return null;
15     }
16     String getImplementationVersion(){
17         implMissing(__FILE__,__LINE__);
18         return null;
19     }
20     String getName(){
21         implMissing(__FILE__,__LINE__);
22         return null;
23     }
24     static Package getPackage(String name){
25         implMissing(__FILE__,__LINE__);
26         return null;
27     }
28     static Package[] getPackages(){
29         implMissing(__FILE__,__LINE__);
30         return null;
31     }
32     String getSpecificationTitle(){
33         implMissing(__FILE__,__LINE__);
34         return null;
35     }
36     String getSpecificationVendor(){
37         implMissing(__FILE__,__LINE__);
38         return null;
39     }
40     String getSpecificationVersion(){
41         implMissing(__FILE__,__LINE__);
42         return null;
43     }
44     public override hash_t toHash(){
45         implMissingSafe(__FILE__,__LINE__);
46         return 0;
47     }
48     bool isCompatibleWith(String desired){
49         implMissing(__FILE__,__LINE__);
50         return false;
51     }
52     //bool isSealed(){
53     //    implMissing(__FILE__,__LINE__);
54     //    return false;
55     //}
56     //bool isSealed(URL url){
57     //    implMissing(__FILE__,__LINE__);
58     //    return false;
59     //}
60     override
61     String toString(){
62         implMissing(__FILE__,__LINE__);
63         return null;
64     }
65 }