Class DisjunctionRoles

    • Field Detail

      • left

        private final Roles left
      • right

        private final Roles right
    • Constructor Detail

      • DisjunctionRoles

        DisjunctionRoles​(Roles left,
                         Roles right)
    • Method Detail

      • contains

        public boolean contains​(String roleName)
        Description copied from interface: Roles
        Determine if this collection contains the given role name.
        Specified by:
        contains in interface Roles
        roleName - the role name
        true if the role is contained in this collection, false otherwise
      • isEmpty

        public boolean isEmpty()
        Description copied from interface: Roles
        Determine whether this roles collection is empty.
        Specified by:
        isEmpty in interface Roles
        true if the collection is empty, false otherwise