⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 idset.java

📁 一个工作流设计及定义的系统,可以直接与数据库结合进行系统工作流程的定义及应用.
💻 JAVA
字号:
/* * Copyright (c) 2005, John Mettraux, OpenWFE.org * All rights reserved. *  * Redistribution and use in source and binary forms, with or without  * modification, are permitted provided that the following conditions are met: *  * . Redistributions of source code must retain the above copyright notice, this *   list of conditions and the following disclaimer.   *  * . Redistributions in binary form must reproduce the above copyright notice,  *   this list of conditions and the following disclaimer in the documentation  *   and/or other materials provided with the distribution. *  * . Neither the name of the "OpenWFE" nor the names of its contributors may be *   used to endorse or promote products derived from this software without *   specific prior written permission. *  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE  * POSSIBILITY OF SUCH DAMAGE. * * $Id: IdSet.java,v 1.9 2005/05/17 16:41:06 jmettraux Exp $ *///// IdSet.java//// john.mettraux@openwfe.org//// generated with // jtmpl 1.1.00 16.08.2003 John Mettraux (jmettraux@openwfe.org)//package openwfe.org.xdbc.query;/** * A set of documentIds, may be set to negative to indicate "every documentIds * but not these here". * * <p><font size=2>CVS Info : * <br>$Author: jmettraux $ * <br>$Id: IdSet.java,v 1.9 2005/05/17 16:41:06 jmettraux Exp $ </font> * * @author john.mettraux@openwfe.org */public class IdSet    implements Cloneable{    /*    private final static org.apache.log4j.Logger log = org.apache.log4j.Logger        .getLogger(IdSet.class.getName());    */    //    // CONSTANTS & co    //    // FIELDS    protected boolean negative = false;    protected java.util.Set set = new java.util.HashSet();    protected java.util.Map clientIds = new java.util.HashMap();    //    // CONSTRUCTORS    //    // METHODS    public java.util.Set getSet ()    {        return this.set;    }    public int size ()    {        return this.set.size();    }    public String getClientId (long docId)    {        return getClientId(new Long(docId));    }    public String getClientId (Long docId)    {        return (String)this.clientIds.get(docId);    }    public void setNegative (boolean negative)    {        this.negative = negative;    }    public boolean isNegative ()    {        return this.negative;    }    public boolean isPositive ()    {        return ! this.negative;    }    public void add (long l, String clientId)    {        add(new Long(l), clientId);    }    public void add (Long l, String clientId)    {        this.set.add(l);        this.clientIds.put(l, clientId);    }    public Object clone ()    {        IdSet result = new IdSet();        result.negative = this.negative;        java.util.Iterator it = this.set.iterator();        while (it.hasNext())        {            Long docId = (Long)it.next();            String clientId = (String)this.clientIds.get(docId);            result.add(docId, clientId);        }        return result;    }    //    // STATIC METHODS    public static IdSet doNot (IdSet set)    {        IdSet result = (IdSet)set.clone();        result.setNegative( ! result.isNegative());        return result;    }    public static IdSet doUnion (IdSet set1, IdSet set2)    {        if (set1.isNegative() && set2.isNegative())        {            return doNot(doIntersection(doNot(set1), doNot(set2)));        }        if (set1.isPositive() && set2.isPositive())        {            IdSet result = (IdSet)set1.clone();            java.util.Iterator it = set2.set.iterator();            while (it.hasNext())            {                Long docId = (Long)it.next();                String clientId = set2.getClientId(docId);                result.add(docId, clientId);            }            return result;        }        if (set1.isNegative())        {            IdSet tmpSet = set1;            set1 = set2;            set2 = tmpSet;        }        IdSet result = (IdSet)set1.clone();        java.util.Iterator it = set2.set.iterator();        while(it.hasNext())        {            Long docId = (Long)it.next();            result.set.remove(docId);            result.clientIds.remove(docId);        }        return result;    }    public static IdSet doIntersection (IdSet set1, IdSet set2)    {        if (set1.isNegative() && set2.isNegative())        {            return doNot(doUnion(doNot(set1), doNot(set2)));        }        if (set1.isPositive() && set2.isPositive())        {            IdSet result = new IdSet();            java.util.Iterator it = set1.set.iterator();            while (it.hasNext())            {                Long l = (Long)it.next();                if (set2.set.contains(l))                {                    String clientId = set2.getClientId(l);                    result.add(l, clientId);                }            }            return result;        }        if (set1.isNegative())        {            IdSet tmpSet = set1;            set1 = (IdSet)set2.clone();            set2 = tmpSet;        }        java.util.Iterator it = set2.set.iterator();        while (it.hasNext())        {            Long l = (Long)it.next();            if (set1.set.contains(l))             {                set1.set.remove(l);                set1.clientIds.remove(l);            }        }        return set1;    }    public static IdSet extractDocumentIds (final java.sql.ResultSet rs)        throws java.sql.SQLException    {        final IdSet result = new IdSet();        while (rs.next())             result.add(rs.getLong(1), rs.getString(2));        return result;    }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -