First | Previous test case | Next test case | Last | Test case index | Constants | Operations

Operation: create

BEGIN TEST CASE 11
COMMENT
El archivo ya existe como directorio.
STATE PARAMETER s:SFSstate :=
[groups := G3,
primaryGrp := PG3,
subjectSC := SSC2,
AllGrp := AG,
RootGrp := RG,
SecAdmGrp := SAG,
objectSC := OSC2,
acl := ACL2,
secmat := {},
files :=
{o :-> fc1,
o1 :-> fc1,
o2 :-> fc1,
o3 :-> fc1},
directories :=
{barra :-> < o.1, o1.1, o2.1, o3.1, p>,
(p,Directory) :-> < >}]
PARAMETER u:SUBJECT
PARAMETER p:OBJNAME
PARAMETER perms1:PERMS
END TEST CASE