1/*
2 * Copyright (c) 2016, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 */
23
24/**
25 *
26 * @test
27 * @bug 8167646
28 * @summary Better invalid FilePermission
29 * @library /test/lib
30 * @build jdk.test.lib.Asserts
31 * @run main Invalid
32 */
33
34import jdk.test.lib.Asserts;
35
36import java.io.FilePermission;
37
38public class Invalid {
39
40    public static void main(String args[]) throws Exception {
41
42        // Allmighty
43        FilePermission af = new FilePermission("<<ALL FILES>>", "read");
44
45        // Normal
46        FilePermission fp = new FilePermission("a", "read");
47
48        // Invalid
49        FilePermission fp1 = new FilePermission("a\000", "read");
50        FilePermission fp2 = new FilePermission("a\000", "read");
51        FilePermission fp3 = new FilePermission("b\000", "read");
52
53        // Invalid equals to itself
54        Asserts.assertEQ(fp1, fp1);
55
56        // and not equals to anything else, including other invalid ones
57        Asserts.assertNE(fp, fp1);
58        Asserts.assertNE(fp1, fp);
59        Asserts.assertNE(fp1, fp2);
60        Asserts.assertNE(fp1, fp3);
61
62        // Invalid implies itself
63        Asserts.assertTrue(fp1.implies(fp1));
64
65        // <<ALL FILES>> implies invalid
66        Asserts.assertTrue(af.implies(fp1));
67
68        // and not implies or implied by anything else, including other
69        // invalid ones
70        Asserts.assertFalse(fp.implies(fp1));
71        Asserts.assertFalse(fp1.implies(fp));
72        Asserts.assertFalse(fp1.implies(fp2));
73        Asserts.assertFalse(fp1.implies(fp3));
74    }
75}
76