001    /*
002      GRANITE DATA SERVICES
003      Copyright (C) 2011 GRANITE DATA SERVICES S.A.S.
004    
005      This file is part of Granite Data Services.
006    
007      Granite Data Services is free software; you can redistribute it and/or modify
008      it under the terms of the GNU Library General Public License as published by
009      the Free Software Foundation; either version 2 of the License, or (at your
010      option) any later version.
011    
012      Granite Data Services is distributed in the hope that it will be useful, but
013      WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
014      FITNESS FOR A PARTICULAR PURPOSE. See the GNU Library General Public License
015      for more details.
016    
017      You should have received a copy of the GNU Library General Public License
018      along with this library; if not, see <http://www.gnu.org/licenses/>.
019    */
020    
021    package org.granite.clustering;
022    
023    import java.util.List;
024    import java.util.Set;
025    
026    import flex.messaging.messages.CommandMessage;
027    
028    /**
029     * @author Franck WOLFF
030     */
031    public interface GraniteDistributedData {
032    
033            // SecurityService credentials.
034            
035            public Object getCredentials();
036            public boolean hasCredentials();
037            public void setCredentials(Object credentials);
038            public void removeCredentials();
039            
040            // Gravity channels/subscriptions.
041            
042            public void addChannelId(String channelId);
043            public boolean hasChannelId(String channelId);
044            public void removeChannelId(String channelId);
045            public Set<String> getChannelIds();
046            public void clearChannelIds();
047            
048            public void addSubcription(String channelId, CommandMessage message);
049            public boolean hasSubcription(String channelId, String subscriptionId);
050            public void removeSubcription(String channelId, String subscriptionId);
051            public List<CommandMessage> getSubscriptions(String channelId);
052            public void clearSubscriptions(String channelId);
053            
054            // Gravity/Tide data management
055            
056            public String getDestinationClientId(String destination);
057            public void setDestinationClientId(String destination, String clientId);
058            
059            public String getDestinationSubscriptionId(String destination);
060            public void setDestinationSubscriptionId(String destination, String subscriptionId);
061            
062            public String getDestinationSelector(String destination);
063            public void setDestinationSelector(String destination, String selector);
064    }