Quelle  PDP.vdmpp   Sprache: VDM

class PDP 

instance variables 

policies : set of Policy;
policyCombAlg : CombAlg; 

operations

public PDP: set of Policy * CombAlgclass PDP
PDP(ps,pca
 (policies := ps;
  policyCombAlg := pca
 );

types

public Permit = token;
public Deny = token;
public Null = token;
 
public CombAlg = <denyOverrides> | <permitOverrides>;
 
public Policy :: target : [Target]
                  rules : set of Rule
            ruleCombAlg : CombAlg;
 
public Rule :: target : [Target]  
               effect : Effect
                 cond : [FExp];

public Effect = <Permit> | <Deny> | <Indeterminate> | <NotApplicable>;   
              
public Target :: subjects : set of Subject
                resources : set of Resource
                  actions : set of java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 25

publicAction=Id
public=`d
   `Id;

operations

pure public GetpolicyCombAlg: 
GetpolicyCombAlg( =


 Getpolicies: (=>set Policy
Getpolicies() ==
  return          rules:setofRule

pure public java.lang.StringIndexOutOfBoundsException: Index 2 out of bounds for length 1
GetEffect(                 FExp;
   .effect

end PDP