ContextPartitionIdManager.java

/*
 * *************************************************************************************
 *  Copyright (C) 2008 EsperTech, Inc. All rights reserved.                            *
 *  http://esper.codehaus.org                                                          *
 *  http://www.espertech.com                                                           *
 *  ---------------------------------------------------------------------------------- *
 *  The software in this package is published under the terms of the GPL license       *
 *  a copy of which has been included with this distribution in the license.txt file.  *
 * *************************************************************************************
 */

package com.espertech.esper.core.context.mgr;

import java.util.Collection;

public interface ContextPartitionIdManager {

    public void clear();

    public void addExisting(int contextPartitionId);

    public int allocateId();

    public void removeId(int contextPartitionId);

    public Collection<Integer> getIds();
}