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    }