Ignore:
Timestamp:
06/04/19 14:29:49 (5 years ago)
Author:
bln4
Message:

Permission is now a triple rather than a pair. The new second bit is not yet used but will be used for group level permissions.

gazumpts

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/expeditee/gui/FrameUtils.java

    r1393 r1402  
    7171import org.expeditee.items.JSItem;
    7272import org.expeditee.items.Line;
    73 import org.expeditee.items.PermissionPair;
     73import org.expeditee.items.PermissionTriple;
    7474import org.expeditee.items.Picture;
    7575import org.expeditee.items.Text;
     
    491491                }
    492492
    493                 final PermissionPair framePermissions = toDisplay.getPermission();
     493                final PermissionTriple framePermissions = toDisplay.getPermission();
    494494                if (framePermissions != null
    495                                 && framePermissions.getPermission(toDisplay.getOwner()) == UserAppliedPermission.denied) {
     495                                && framePermissions.getPermission(toDisplay.getOwner(), new ArrayList<String>()) == UserAppliedPermission.denied) {
    496496                        MessageBay.errorMessage("Insufficient permissions to navigate to frame: " + toDisplay.getName());
    497497                        return;
     
    10201020                                                        String level = new AttributeValuePair(i.getText()).getValue();
    10211021                                                        // default permission (if none is specified)
    1022                                                         PermissionPair permissionLevel = new PermissionPair(level,
     1022                                                        PermissionTriple permissionLevel = new PermissionTriple(level,
    10231023                                                                        UserAppliedPermission.followLinks);
    10241024
     
    10291029                                                                if (existingOverlay == null) {
    10301030                                                                        Overlay newOverlay = new Overlay(overlayFrame,
    1031                                                                                         permissionLevel.getPermission(overlayFrame.getOwner()));
     1031                                                                                        permissionLevel.getPermission(overlayFrame.getOwner(), new ArrayList<String>()));
    10321032                                                                        i.setOverlay(newOverlay);
    10331033                                                                        overlays.add(newOverlay);
Note: See TracChangeset for help on using the changeset viewer.