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 021package org.granite.clustering; 022 023import java.util.List; 024import java.util.Set; 025 026import flex.messaging.messages.CommandMessage; 027 028/** 029 * @author Franck WOLFF 030 */ 031public 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}