class Evaluator

-- Evaluator is the "top level" class.  It receives an access control
-- request and returns a response.

instance variables

pdp : PDP;       -- an object of class PDP --- Policy Decision Point
env : Env;       -- an object of class Env
req : Request;   -- a request 
inst: Inst;

types 

Inst :: map FExp`UnId to FExp`Id

values

requester : FExp`UnId = mk_FExp`UnId(<requester>);
resource  : FExp`UnId = mk_FExp`UnId(<resource>);
-- action    : FExp`UnVar = mk_FExp`UnVar(<action>);

operations

public Evaluator: Request * PDP * Env ==> Evaluator
Evaluator(r,p,e) ==
 ( req := r;
   pdp := p;
   env := e;
   inst := mk_Inst({requester |-> req.GetSubject(), 
     resource |-> req.GetResource()})
 );

-- evaluate operates on the request that is part of Evaluator state. 

public evaluate: () ==> PDP`Effect
evaluate() ==
  if (pdp.GetpolicyCombAlg() = <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
evaluatePDPDenyOverridesjava.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
  .GetpolicyCombAlg =permitOverrides)java.lang.StringIndexOutOfBoundsException: Index 60 out of bounds for length 60
-- Evaluator is the "top level" -- request and returns a java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

 (NotApplicable>;

evaluatePDPDenyOverrides : () ==> PDP`Effect 
evaluatePDPDenyOverrides() ==
  java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
    (valuatePol(  D>orevaluatePol)=Indeterminate 
  then( java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
:
    evaluatePolreturnjava.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 0
  then return(Permit>java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  else (NotApplicable)

requesterelse
java.lang.StringIndexOutOfBoundsException: Range [4, 2) out of bounds for length 28
  if exists p in set pdp.Getpolicies-- action    : FExp`UnVar = mk_FExp`UnVar(<action>);
    (evaluatePol(p) = <Permit valuatePDPDenyOverrides() ==
  then(<Permit)
  elseif exists p in set pdp.Getpolicies() & 
    p    eq:=;
    : ;
 else returnjava.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 31

evaluateRule `RulethenreturnPermit>java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 21
  if
     if c =nil
     nreturn(rule.effect)
     else  if (rule.cond).wfExpr  thenreturn olicyCombAlg( <denyOverrides> then  
       cases (rule.cond).EvaluateBind(req,env):
                -return(.effect,
             false        then java.lang.StringIndexOutOfBoundsException: Range [31, 13) out of bounds for length 31
            -> (Indeterminate
            others- error
       end
           else d evaluatePDPDenyOverrides( =
  else
    return  if existspinset .etpolicies()&     if (rule.ond.wfExpr(env) then
 
evaluatePol  `Policy =>PDP`
 ptrue-returnfjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
   if targetmatchpol.) 
     cases pol.ruleCombAlg:
rn<NotApplicable);
evaluatePDPPermitOverrides : () ==> others -> error
            java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 10
     java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
   lse  -- target does not match
     return

evaluateRulesDenyOverrides : set iftargetmatch(then return(<Deny>
evaluateRulesDenyOverrides<enyOverrides   
  if exists r in>->return(valuateRulesPermitOverrides(pol.rules)),
(  ejava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
then<>
  
 evaluateRule(.  java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
  returnI)
  elseif exists r in set rs &
    evaluateRule..(req,env)java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47
   java.lang.StringIndexOutOfBoundsException: Range [13, 11) out of bounds for length 47
    then return(others>error
           else return <NotApplicable>> 
  java.lang.StringIndexOutOfBoundsException: Range [13, 6) out of bounds for length 30
      (evaluateRule(r) = <ndeterminate>java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2

elseifexistsrinsetrs&
evaluateRulesPermitOverridesif     evaluateRule( =e>
   rin     pol.uleCombAlg:
    ) =<java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
   exists set&
  elseif     (evaluateRule()=<Indeterminate> and pdp.GetEffect(r =<Permit> )
    e() = Indeterminate>and pdp.GetEffect()=<Permit>)
  then return(<else return     
     ret(;
    evaluateRule(r) = <Deny>
  then:setofjava.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 35
    returnPermit)
elseif exists r inset  & 
  >)
  else return(<  then return(<Denyreturn(D)

-- targetmatch has been adapted.  If any of the sets in the target of 
-- the (rule|policy) is empty then they match anything.  

targetmatch : PDP`TargetevaluateRule(r) = <Deny>
targetmatch() =
  then(>
        ((tgt.resources   java.lang.StringIndexOutOfBoundsException: Range [9, 8) out of bounds for length 29
        ((     return(<ndeterminate>)
     then else (<otApplicable>;
     elsereturn ;


end Evaluator