Package au.edu.qut.yawl.elements

Examples of au.edu.qut.yawl.elements.YExternalNetElement


            return false;
        }
        List otherMarkingsLocations = new Vector(((YMarking) marking).getLocations());
        List myLocations = new Vector(_locations);
        for (Iterator iterator = myLocations.iterator(); iterator.hasNext();) {
            YExternalNetElement netElement = (YExternalNetElement) iterator.next();
            if (otherMarkingsLocations.contains(netElement)) {
                otherMarkingsLocations.remove(netElement);
            } else {
                return false;
            }
View Full Code Here


        if (!(myLocations.containsAll(otherMarkingsLocations)
                && otherMarkingsLocations.containsAll(myLocations))) {
            return false;
        }
        for (Iterator iterator = otherMarkingsLocations.iterator(); iterator.hasNext();) {
            YExternalNetElement netElement = (YExternalNetElement) iterator.next();
            if (myLocations.contains(netElement)) {
                myLocations.remove(netElement);
            } else {
                return false;
            }
View Full Code Here

        if (!(myLocations.containsAll(otherMarkingsLocations)
                && otherMarkingsLocations.containsAll(myLocations))) {
            return false;
        }
        for (Iterator iterator = myLocations.iterator(); iterator.hasNext();) {
            YExternalNetElement netElement = (YExternalNetElement) iterator.next();
            if (otherMarkingsLocations.contains(netElement)) {
                otherMarkingsLocations.remove(netElement);
            } else {
                return false;
            }
View Full Code Here

    }


    public boolean deadLock(YTask orJoin) {
        for (Iterator locationIter = _locations.iterator(); locationIter.hasNext();) {
            YExternalNetElement element = (YExternalNetElement) locationIter.next();
            if (element instanceof YTask) {//a busy task means not deadlocked
                return false;
            }
        }
        Set postset = YNet.getPostset(new HashSet(_locations));
View Full Code Here

TOP

Related Classes of au.edu.qut.yawl.elements.YExternalNetElement

Copyright © 2018 www.massapicom. 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.