enum Temperature {
   TOO_HOT,
   TOO_COLD,
   JUST_RIGHT
}

@Managed
interface Item {
   void setName(String n); String getName()

   void setQuantity(int q); int getQuantity()

   void setPrice(float p); float getPrice()

   void setTemperature(Temperature t)
   Temperature getTemperature()

   void setDataFile(File f); File getDataFile()
}

class ItemRules extends RuleSource {
   @Model

        write = isWrite(unixNumeric);
        execute = isExecute(unixNumeric);
    }

    @Override
    public boolean getRead() {
        return read;
    }

    @Override
    public boolean getWrite() {
        return write;
    }

    @Override
    public boolean getExecute() {
        return execute;
    }

     * See {@link ConfigurableFilePermissions#unix(String)} for details,
     * returned value is equivalent to one of the three octal digits.
     */
    protected int toUnixNumeric() {
        return (getRead() ? 4 : 0) + (getWrite() ? 2 : 0) + (getExecute() ? 1 : 0);
    }

    protected static boolean isRead(int unixNumeric) {
        return (unixNumeric & 4) >> 2 == 1;
    }

    protected static boolean isRead(String unixSymbolic) {

     * <p>
     * Write access is the capability to modify or remove the contents of a file,
     * or to add or remove files to/from a directory.
     */
    boolean getWrite();

    /**
     * Describes if a certain class of users has execute access to a file or directory.
     * <p>
     * Execute access is the capability to run a file as a program; executing a directory

        assertEquals("READ permission incorrect", read, permission.getRead());
        assertEquals("WRITE permission incorrect", write, permission.getWrite());
        assertEquals("EXECUTE permission incorrect", execute, permission.getExecute());
    }

    private static void assertInvalidUnixPermission(String unixPermission, String errorMessage) {
        try {