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 }