java.lang.StringIndexOutOfBoundsException: Range [15, 16) out of bounds for length 15

-- 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 |java.lang.StringIndexOutOfBoundsException: Range [16, 6) out of bounds for length 6
 :    valuatePolp)  <eny  (p)  <>)
req(=java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
inst:Instjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11

types 

Inst :: map FExp`   p.etpolicyCombAlg  permitOverridesjava.lang.StringIndexOutOfBoundsException: Range [0, 59) out of bounds for length 23

  return<>;

java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
`UnId= `UnId(resource)java.lang.StringIndexOutOfBoundsException: Index 49 out of bounds for length 49
-- action    : FExp`UnVar = mk_FExp`UnVar(<action>);

operations

public Evaluator: Request *     p)= Permitjava.lang.StringIndexOutOfBoundsException: Range [25, 24) out of bounds for length 29
java.lang.StringIndexOutOfBoundsException: Range [45, 19) out of bounds for length 19
  ;
pdp :p;
    elsereturn<>)
inst : (requester|>reqGetSubject) 
      :PDP    return<))
  return(NotApplicable)

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

publicrule.ond nil 
     the java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
(= )thenjava.lang.StringIndexOutOfBoundsException: Index 54 out of bounds for length 54
    return()java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
elseif(.etpolicyCombAlgtrue    ruleeffect)
    return(Denyjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  else
    (<>)java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28

evaluatePDPDenyOverrides : ()             >error
 java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
  if    pdpG) &else if (ondwfExprenv then
    (p) =<ndeterminate>
  :PDP`= PDP`Effect
  elseif exists  true-return(ule.fect)
    ()=<ermit>
  then return(<   (.target then
  <>;

java.lang.StringIndexOutOfBoundsException: Range [27, 26) out of bounds for length 47
evaluatePDPPermitOverrides(othersend
    setpdp.etpolicies( & 
    (evaluatePol(p) = <Permitend
  return<>lse  -- target does not match
evaluatePol :PDP` = `Effect
    java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
  >)
  else      .uleCombAlg

 rin >(java.lang.StringIndexOutOfBoundsException: Range [68, 67) out of bounds for length 80
    evaluate() = <java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
 return<eny>java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 21
     ifrule.nd=nil 
     then return(rule.effect)
     else  if(.cond. then (ndeterminate>java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
lecond)EvaluateBindreq:
             true   -> return(rule.effect),
               >return(<NotApplicable>),
            <Indet> -> return(<Indeterminate>),
            -
       end
           < 
  else
    return java.lang.StringIndexOutOfBoundsException: Range [2, 1) out of bounds for length 30
  
evaluatePol : PDP`Policy ==  return<java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
evaluatePol(pol) ==
   if     evaluateRule() Pjava.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
      .:
           <evaluateRule(r=Permit>
           <permitOverrides> -> return(evaluateRulesPermitOverrides(pol.rules))  then  exists    &java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
            others -then ()=  r   )
     
   java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0
     return<>java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29

evaluateRulesDenyOverrides  set of PDP`evaluateRulesPermitOverrides(rs) ==
evaluateRulesDenyOverrides  if  r in set rs &
  ifthen return(Permit>java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
    evaluateRule(r)    evaluateRuledeterminate)
  then return<eny>java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
   elseif existsr in setrs& then they anything.  
    (targetmatchtgt)=
  then return(ndeterminate)
  elseif exists r in set rs &
 Permit>
  then thenreturn<java.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 30
  elseif exists r in set rs & else falsejava.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
    (evaluateRule(r) = <java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  then return(<Indeterminate>)
  else return(<NotApplicabletargetmatch(tgt =

 (tgtresources ={) or(.GetResource) in  tgtresources)) and
evaluateRulesPermitOverrides(rs) ==
  if exists r in set rs &
    evaluateRule(r) = <Permit>
  then return(<Permit>)
  elseif exists r in set rs & 
 <  GetEffect)=<ermit )
  then(<ndeterminate>)
  elseif exists r in set rs & 
    evaluateRule(r) = <Deny>
  then return(<Deny>)
  elseif 
    (evaluateRule(r) = <Indeterminate> and pdp.GetEffectendEvaluator
  then return(<Indeterminate>)
  else return(<NotApplicable>);

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

targetmatch : PDP`Target ==> bool
targetmatch(tgt) ==
     if ((tgt.subjects  = {}) or (req.GetSubject() in set tgt.subjects)) and
        ((tgt.resources = {}) or (req.GetResource() in set tgt.resources)) and
        ((tgt.actions = {})   or (req.GetActions() inter tgt.actions) <> {}) 
     then return true 
     else return false;


end Evaluator