webidor/src/main/java/cz/xelfi/quoridor/webidor/User.java
changeset 171 524c7f359c4e
parent 143 4eb88f05c207
child 178 4b78d4f028b3
     1.1 --- a/webidor/src/main/java/cz/xelfi/quoridor/webidor/User.java	Sat Nov 07 15:23:14 2009 +0100
     1.2 +++ b/webidor/src/main/java/cz/xelfi/quoridor/webidor/User.java	Wed Dec 23 07:59:16 2009 +0100
     1.3 @@ -28,6 +28,8 @@
     1.4  
     1.5  import java.util.ArrayList;
     1.6  import java.util.List;
     1.7 +import java.util.Set;
     1.8 +import java.util.TreeSet;
     1.9  import javax.xml.bind.annotation.XmlAccessType;
    1.10  import javax.xml.bind.annotation.XmlAccessorType;
    1.11  import javax.xml.bind.annotation.XmlAttribute;
    1.12 @@ -46,6 +48,7 @@
    1.13      private String id;
    1.14      @XmlElement(name="property")
    1.15      private List<Property> properties;
    1.16 +    private transient Set<String> permissions;
    1.17  
    1.18      User() {
    1.19      }
    1.20 @@ -61,6 +64,13 @@
    1.21          properties.add(new Property(name, value));
    1.22      }
    1.23  
    1.24 +    public void addPermission(String permission) {
    1.25 +        if (permissions == null) {
    1.26 +            permissions = new TreeSet<String>();
    1.27 +        }
    1.28 +        permissions.add(permission);
    1.29 +    }
    1.30 +
    1.31      public String getProperty(String name) {
    1.32          if (properties == null) {
    1.33              return null;
    1.34 @@ -73,6 +83,13 @@
    1.35          return null;
    1.36      }
    1.37  
    1.38 +    public boolean hasPermission(String permission) {
    1.39 +        if (permissions == null) {
    1.40 +            return false;
    1.41 +        }
    1.42 +        return permissions.contains(permission);
    1.43 +    }
    1.44 +
    1.45      public String getId() {
    1.46          return id;
    1.47      }