WhenExceptionalPDP.java

package eu.aniketos.pdplib;

import org.jdom.Element;

import security.iit.pdp.EnvException;
import security.iit.pdp.VarEnvironment;
import security.iit.pdp.PDP.WHEN;

import eu.aniketos.spec.When;
import eu.aniketos.spec.Exceptional;
import eu.aniketos.spec.Declaration;
import eu.aniketos.spec.BaseType;

public class WhenExceptionalPDP extends WhenPDP {
	public Exceptional exceptional;
	
	public WhenExceptionalPDP(Element e){
		exceptional=new Exceptional(e);
	}

	public WhenExceptionalPDP(When whenTmp){
		exceptional = new Exceptional(whenTmp.identifier,whenTmp.parameters);
		//exceptional.identifier=whenTmp.identifier;
		//exceptional.parameters=whenTmp.parameters; 
	}
	
    public Element toElement(){
    	return exceptional.toElement();
    }
    
    /**
     * check if the method passed to the PDP matches the method represented in this exceptional tag
     */
	@Override
	public boolean matchWhen(VarEnvironment env, WHEN when, String signature, Object[] params, Object returnz)throws EnvException {
		//if it is not an exceptional call, return false
		//if method signatures don't match, return false
		//if number of parameters doesn't match, return false
		if(when!=WHEN.EXCEPTIONAL || !signature.equals(exceptional.identifier.identifier) || (params!=null && params.length!= exceptional.parameters.size()) ||
				(params==null && exceptional.parameters.size()!=0)){
			System.out.println("WHEN doesn't match");
			return false;
		}
		if(params!=null){
			for(int i=0;i<params.length;i++){
				String par1 = exceptional.parameters.get(i).type.t;
				//if parameters match, continue and insert current parameter in the environment
				if(params[i] instanceof Integer && par1.equals(BaseType.INT)){
					System.out.println("parameter "+i+" match, bind it");
					env.parBind(exceptional.parameters.get(i).identifier.identifier, params[i]);
					continue;
				}
				if(params[i] instanceof Boolean && par1.equals(BaseType.BOOL)){
					System.out.println("parameter "+i+" match, bind it");
					env.parBind(exceptional.parameters.get(i).identifier.identifier, params[i]);
					continue;
				}
				if(params[i] instanceof String && par1.equals(BaseType.STRING)){
					System.out.println("parameter "+i+" match, bind it");
					env.parBind(exceptional.parameters.get(i).identifier.identifier, params[i]);
					continue;
				}
				if(params[i] instanceof Double && par1.equals(BaseType.REAL)){
					System.out.println("parameter "+i+" match, bind it");
					env.parBind(exceptional.parameters.get(i).identifier.identifier, params[i]);
					continue;
				}
				System.out.println("parameter "+i+" doesn't match , return false and remove parameters");
				//else, return false and flush parameters just inserted
				env.flushParHash();
				return false;
			}
		}
		
		System.out.println("WHEN match");
		return true;
	} 
   
}