package scg.protocol;

import scg.Claim;
import scg.InstanceI;
import scg.ProtocolI;
import scg.ProtocolSpec;
import scg.ProvideResponse;
import scg.Response;
import scg.SolutionI;
import scg.SolveResponse;
import edu.neu.ccs.demeterf.lib.*;

public class ForAllExists implements ProtocolI{

	private static ProtocolSpec PROTOCOL_SPEC;
	static{
		try{
			PROTOCOL_SPEC = ProtocolSpec.parse( 
			"instance from Bob " +
			"solution of 0 from Alice "
			);
		}catch(Exception ex){
			ex.printStackTrace();
		}
	}

	/**
	 * @author: Rashmi, Anush
	 
	public double getResult(Claim claim, List<Response> replies){
		double claimedQuality = claim.getQuality();
		if(replies.length() == 2){
			ProvideResponse provideResponse = (ProvideResponse)replies.lookup(0);
			
			InstanceI i = (InstanceI)provideResponse.getInstance();
			
			SolveResponse solveResponse = (SolveResponse)replies.lookup(1);
			SolutionI solution = solveResponse.getSolution();
			
			if(i.valid(solution)== 1){
				if(i.quality(solution) <= claimedQuality){
					return 1; //Refutation fails. Alice wins
				}
			}
		}
		return 0; //Draw
	}*/
	
	@Override
	/**
	 * @author Terminator 
	 * Implements the getResult method provided by AnushRashmi 
	 * as per the new getResult method of ProtocolI
	 */
	public double getResult(Claim claim, SolutionI[] solutions,
			InstanceI[] instances) {
		double claimedQuality = claim.getQuality();
		if(solutions.length == 1 && instances.length == 1){
			InstanceI i = instances[0];
			SolutionI solution = solutions[0];
			// Deleted the check for valid method assuming that it is done in Admin
			if(i.quality(solution) <= claimedQuality){
				return 1; //Refutation fails. Alice wins
			}
			else{
				return -1; //Refutation success. Bob wins
			}
		}
		return 0; //Draw
	}
	
	public ProtocolSpec getProtocolSpec(){
		return ForAllExists.PROTOCOL_SPEC; 
	}	

	/* Singleton instance*/
	private static ForAllExists instance = new ForAllExists();
	public ForAllExists() {}
	public static ForAllExists getInstance(){
		return instance;
	}
	
    /** Parse an instance of ForAllExists from the given String */
    public static ForAllExists parse(String inpt) throws scg.ParseException{
        return instance;
    }
    /** Parse an instance of ForAllExists from the given Stream */
    public static ForAllExists parse(java.io.InputStream inpt) throws scg.ParseException{
        return instance;
    }
    /** Parse an instance of ForAllExists from the given Reader */
    public static ForAllExists parse(java.io.Reader inpt) throws scg.ParseException{
        return instance;
    }
		
	@Override
	public String toString() {
		return "";
	}
	
	 // return true iff the strengthenedClaim is stronger than the old claim
	public boolean strengthenP(Claim oldClaim, Claim strengthenedClaim){
		return strengthenedClaim.getQuality() > oldClaim.getQuality();
	}
	
	public double getStrengthenedClaimQuality(double quality, double minStrengthening) {
		return quality + minStrengthening;
	}
}