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 DistributedData {
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, String channelFactoryClassName);
048            public boolean hasChannelId(String channelId);
049            public String getChannelFactoryClassName(String channelId);
050            public void removeChannelId(String channelId);
051            public Set<String> getChannelIds();
052            public void clearChannelIds();
053            
054            public void addSubcription(String channelId, CommandMessage message);
055            public boolean hasSubcription(String channelId, String subscriptionId);
056            public void removeSubcription(String channelId, String subscriptionId);
057            public List<CommandMessage> getSubscriptions(String channelId);
058            public void clearSubscriptions(String channelId);
059            
060            // Gravity/Tide data management
061            
062            public String getDestinationClientId(String destination);
063            public void setDestinationClientId(String destination, String clientId);
064            
065            public String getDestinationSubscriptionId(String destination);
066            public void setDestinationSubscriptionId(String destination, String subscriptionId);
067            
068            public Object[] getDestinationDataSelectors(String destination);
069            public void setDestinationDataSelectors(String destination, Object[] selectors);
070            
071            public String getDestinationSelector(String destination);
072            public void setDestinationSelector(String destination, String selector);
073    }