Operation: create

BEGIN TEST CASE 9

COMMENT

El directorio-padre de p existe y está abierto para escritura pero no por el solicitante.

STATE PARAMETER s:SFSstate :=

[groups	:=	G3,
primaryGrp	:=	PG3,
subjectSC	:=	SSC2,
AllGrp	:=	AG,
RootGrp	:=	RG,
SecAdmGrp	:=	SAG,
objectSC	:=	OSC2,
acl	:=	ACL2,
secmat	:=	{o1 :-> [ActReaders := {u1}, ActWriters := {}], o2 :-> [ActReaders := {}, ActWriters := {u1}], o3 :-> [ActReaders := {u1}, ActWriters := {u1}], barra :-> [ActReaders := {u1, u2}, ActWriters := {u1, u2}]},
files	:=	F2,
directories	:=	D2]

PARAMETER u:SUBJECT

PARAMETER p:OBJNAME

PARAMETER perms₁:PERMS

END TEST CASE