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            public String getCredentialsCharset();
041            public boolean hasCredentialsCharset();
042            public void setCredentialsCharset(String credentialsCharset);
043            public void removeCredentialsCharset();
044            
045            // Gravity channels/subscriptions.
046            
047            public void addChannelId(String channelId);
048            public boolean hasChannelId(String channelId);
049            public void removeChannelId(String channelId);
050            public Set<String> getChannelIds();
051            public void clearChannelIds();
052            
053            public void addSubcription(String channelId, CommandMessage message);
054            public boolean hasSubcription(String channelId, String subscriptionId);
055            public void removeSubcription(String channelId, String subscriptionId);
056            public List<CommandMessage> getSubscriptions(String channelId);
057            public void clearSubscriptions(String channelId);
058            
059            // Gravity/Tide data management
060            
061            public String getDestinationClientId(String destination);
062            public void setDestinationClientId(String destination, String clientId);
063            
064            public String getDestinationSubscriptionId(String destination);
065            public void setDestinationSubscriptionId(String destination, String subscriptionId);
066            
067            public String getDestinationSelector(String destination);
068            public void setDestinationSelector(String destination, String selector);
069    }