module java.lang.reflect.Package;

import java.lang.all;
import java.lang.Class;
import java.lang.String;

class Package {
    String getImplementationTitle(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getImplementationVendor(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getImplementationVersion(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getName(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    static Package getPackage(String name){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    static Package[] getPackages(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getSpecificationTitle(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getSpecificationVendor(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    String getSpecificationVersion(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
    public override hash_t toHash(){
        implMissing(__FILE__,__LINE__);
        return 0;
    }
    bool isCompatibleWith(String desired){
        implMissing(__FILE__,__LINE__);
        return false;
    }
    //bool isSealed(){
    //    implMissing(__FILE__,__LINE__);
    //    return false;
    //}
    //bool isSealed(URL url){
    //    implMissing(__FILE__,__LINE__);
    //    return false;
    //}
    String toString(){
        implMissing(__FILE__,__LINE__);
        return null;
    }
}