Examples of IMarking

Examples of com.google.enterprise.connector.filenet4.filewrap.IMarking

48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
    Iterator<? extends IMarking> markings = this.markings.iterator();

    LOGGER.log(Level.FINER, "Authorizing user :[" + user.get_Name()
        + "] for Marking Sets");
    while (markings.hasNext()) {
      IMarking marking = markings.next();

      LOGGER.log(Level.FINEST,
          "Authorizing user: {0} [Marking: {1}, Constraint Mask: {2}]",
          new Object[] {user.get_Name(), marking.get_MarkingValue(),
                        marking.get_ConstraintMask()});

      Permissions perms = new Permissions(marking.get_Permissions());
      if (!perms.authorizeMarking(user, marking.get_ConstraintMask())) {
        LOGGER.log(Level.FINER,
            "User {0} is not authorized for Marking value: {1}",
            new Object[] {user.get_Name(), marking.get_MarkingValue()});
        return false;
      }
    }
    LOGGER.log(Level.FINER, "User " + user.get_Name()
        + " is authorized to view the document");
View Full Code Here

Examples of org.woped.qualanalysis.soundness.marking.IMarking

138
139
140
141
142
143
144
145
146
147
148
149
            graph.getGraphLayoutCache().reload();
        }
    }

    private void highlightTransitions(ReachabilityPlaceModel place) {
        IMarking ma = (IMarking) place.getUserObject();
        Iterator<String> netIt = ma.getActivatedTransitions().iterator();
        while (netIt.hasNext()) {
            TransitionModel trans = (TransitionModel) getPetriNet().getElementContainer().getElementById(netIt.next());
            trans.setRGHighlighted(true);
        }
    }
View Full Code Here

Examples of org.woped.qualanalysis.soundness.marking.IMarking

148
149
150
151
152
153
154
155
156
157
158
159
        }
    }

    private void setTokens(ReachabilityPlaceModel place) {

        IMarking marking = (IMarking) place.getUserObject();
        SortedMap<String, Integer> map = marking.getMarking();
        for (Iterator<AbstractPetriNetElementModel> placeIter = getPetriNet().getElementContainer().getElementsByType(
                AbstractPetriNetElementModel.PLACE_TYPE).values().iterator(); placeIter.hasNext();) {
            try {
                PlaceModel curplace = (PlaceModel) placeIter.next();
                curplace.setVirtualTokens(map.get(curplace.getId()));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.