File: grantDirAndTree.policy

package info (click to toggle)
openjdk-11 11.0.16%2B8-1~deb10u1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 784,576 kB
  • sloc: java: 5,128,021; xml: 1,192,224; cpp: 1,124,021; ansic: 422,433; javascript: 155,577; sh: 17,084; objc: 13,327; python: 4,522; asm: 3,570; makefile: 2,858; awk: 351; sed: 172; perl: 114; jsp: 24; csh: 3
file content (5 lines) | stat: -rw-r--r-- 230 bytes parent folder | download | duplicates (26) 
1
2
3
4
5
 
// policy file that grants read access to source directory and all descendants
grant {
    permission java.io.FilePermission "${test.src}", "read";
    permission java.io.FilePermission "${test.src}${file.separator}-", "read";
};