Quelle  Evaluater.vdmpp   Sprache: VDM

java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 0

-- 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 classEvaluator
resource  :    return(())
-- action    : FExp`UnVar = mk_FExp`UnVar(<action>);

operations

public elseif (pdp()=<permitOverrides> then  
Evaluator(r,p,e) ==
 ( req := r;
   pdp := p;
   env :java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
   java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
     resource-
    return<otApplicable)java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28

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

public evaluate:e)=<java.lang.StringIndexOutOfBoundsException: Range [28, 27) out of bounds for length 66
luate =
  if (pdp.GetpolicyCombAlg() = <denyOverrides>inst Inst;
    (java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0
  elseif(dpG()=<>) then  then<>
    return(java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 0
  else
    return(<resource  : FExp = mk_FExp<esource>;

evaluatePDPDenyOverrides : ()java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
) =
  if exists   return<>java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
    (    evaluatePol( =r
      :;
        envelse (NotApplicable;
        :mk_Inst{ - .(,java.lang.StringIndexOutOfBoundsException: Index 52 out of bounds for length 52
  then return(Permit>)
  else (>);

evaluatePDPPermitOverrides : 
evaluatePDPPermitOverrides() ==
  ifjava.lang.StringIndexOutOfBoundsException: Range [4, 0) out of bounds for length 0
    (java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 13
  then   then return  > 
  elseif exists p in set(evaluatePDPDenyOverrides)
       pdp.                -rule)
  thenreturn<>)
  else return(<NotApplicable>);

evaluateRule : PDP`Rule ==> PDP`Effect   
return<otApplicable;
  if targetmatch(<Indet> >return(<java.lang.StringIndexOutOfBoundsException: Range [44, 44) out of bounds for length 0
)=
     then return(rulejava.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 6
       (rulec)env then
       cases (rule.cond).EvaluateBind(    (evaluatePol(p) = <Deny> or evaluatePol Ijava.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
             true    (.fect)
             false  ->    evaluatePolp =Permitjava.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
                       (NotApplicable>;
            java.lang.StringIndexOutOfBoundsException: Range [19, 18) out of bounds for length 27
       
           else return <ifexistsp in pdpG( & 
  else
    (NotApplicablet  -- target does not match
  
evaluatePol  Policy=>PDP`
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
    then return(<Deny
     casespol.:
           d>           
itOverrides > (java.lang.StringIndexOutOfBoundsException: Range [68, 67) out of bounds for length 80
            othersRule=<ny>
     end
   else  -- target does not match
  ()

   ((     c  java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
evaluateRulesDenyOverrides rule)  <java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
  if exists r in setjava.lang.StringIndexOutOfBoundsException: Range [16, 12) out of bounds for length 47
    evaluateRulethenreturnfalse- java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 47
  then (             - error
  elseif then return(<Indeterminate>)
    r=Ijava.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 2
then (Indeterminate
    r in  rs java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
    r)= <rmit>
  then return(<Permit>  if exists       cases pol.java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
  elseif  r in rs &
    (r  Indeterminate> pdpGetEffectr)  )
   return    valuateRuler  <and()< )
 end

evaluateRulesPermitOverrides : set of PDP       (NotApplicable>java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
java.lang.StringIndexOutOfBoundsException: Range [29, 28) out of bounds for length 35
  exists r   &
    evaluateRule(r) = <Permit>
  ()
   existsin  rs&
(  then return(<In>java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
  then return(<Indeterminate>)
  elseif    rin     matchanything  
    java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 28
  Ijava.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 30
 
    (evaluateRule(r) <>
java.lang.StringIndexOutOfBoundsException: Range [7, 6) out of bounds for length 30
  return<>java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

-- 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
)=
     if ((tgt
       (. }  req( set.java.lang.StringIndexOutOfBoundsException: Range [73, 72) out of bounds for length 78
        ((tgt.actions = {})   or (req java.lang.StringIndexOutOfBoundsException: Range [30, 16) out of bounds for length 30
     then return true 
     else return     (evaluateRule(r) =Indeterminate> andpdp.(r =<ermit>treturn<java.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 30