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 }