    001    package escjava.prover;
    002
    003    public class HarveyResponse extends ProverResponse {
    004
    005        // placeholder for factory for building ProverResponses
    006        static public ProverResponse factory(int return_code) {
    007            switch(return_code){
    008
    009            case 1 :
    010                return ProverResponse.OK;
    011            case -1 :
    012                return ProverResponse.FAIL;
    013            case -2 :
    014                return ProverResponse.SYNTAX_ERROR;
    015            default : //positive attitude
    016                return ProverResponse.OK;
    017            }
    018        }
    019
    020    }