instance variables 

 java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
policyCombAlg : CombAlg; 

operations

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

types

public Action =FExp`;
public Subject =FExp`;
publicResource=FExp`java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 
)=
 
purepublic : ( =  of
             Rule
            ruleCombAlg : CombAlg;
 
public Rule :: target : [Target]  
               effect : Effect
  cond: [Exp]

public Effect = <Permit> |returnr;
              
public Target :: java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 7
                resources : set of Resource
                  actions : set of Action;

public Action = FExp`Id;
public Subject = FExp`Id;
public Resource = FExp`Id;

operations

pure public GetpolicyCombAlg: () ==> CombAlg
GetpolicyCombAlg() ==
  return policyCombAlg;

pure public Getpolicies: () ==> set of Policy
Getpolicies() ==
  return policies;

pure public GetEffect: Rule ==> Effect
GetEffect(r) ==
  return r.effect;

end PDP