class Testvalues "Anne" ));"Bob" ));"Charlie" ));"Dave" ));"Eric" ));"Fred" ));"write" ));"read" ));"create" ));"signoff" ));"lab_results_signed" ));"results_analysis_signed" ));set of PDP`Subject = {Anne,Bob}; set of PDP`Subject = {Bob,Charlie,Dave};set of PDP`Subject = {Anne,Dave};set of PDP`Subject = {Bob,Charlie};set of PDP`Subject = {Eric, Fred}; set of PDP`Subject = {Fred};"lab_results" ));"results_analysis" ));"sc_assess" ));"doc1" ));"doc2" ));"signed" ));new FExp(mk_FExp`Unary(<NOT >,mk_FExp`boolLiteral(<TRUE >)));new FExp(mk_FExp`Unary(<NOT >,mk_FExp`boolLiteral(<FALSE >)));new FExp(mk_FExp`Unary(<NOT >,mk_FExp`intLiteral(<ONE>)));-- on Project One, lab results can be created only by a lab -- technician, and can be read by anybody on the project. These are -- project-wide. nil );-- The project policy for the lab_results document is the combination -- of these. -- one policy for each exzpression that we test -- New policy -- Only a lab manager can sign these results off. nil );-- Also, after signoff, no one can write to the lab_results file. new FExp(mk_FExp`ArrayLookup(signed,resource)));-- New policy -- From company 2, assessor_role writes the scale assessment. nil );-- From company 2, anyone can read the scale assessment. nil );new PDP({lab_results_project_policy_no,lab_results_creator_policy,scale_assess_policy},new PDP({lab_results_project_policy_nt,lab_results_creator_policy,scale_assess_policy},new PDP({lab_results_project_policy_nf,lab_results_creator_policy,scale_assess_policy},new PDP({lab_results_project_policy_nf,lab_results_creator_policy}, <permitOverrides>);new PDP({lab_results_creator_policy,scale_assess_policy}, <permitOverrides>);operations public Run: () ==> PDP`Effect-- ( dcl pdp : PDP := gold_policy_no; -- ( dcl pdp : PDP := gold_policy_nt; -- ( dcl pdp : PDP := gold_policy_nf; -- ( dcl pdp : PDP := gold_policy_project_results; dcl pdp : PDP := gold_policy_results_scale;dcl s : FExp := new FExp(mk_token("signed" ));dcl lr : FExp := new FExp(mk_token("lab_results" ));dcl req : Request := new Request(Anne,lab_results,{create});dcl env : Env := new Env({s.GetExp() |-> {lr.GetExp() |-> <B>}},true }}); dcl eval : Evaluator := new Evaluator(req ,pdp,env);return eval.evaluate()end Testquality 93%
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
