00001 package SubscriptionManagerModule;
00002
00003
00011 public interface SubscriptionManagerOperations extends ipc.servantOperations
00012 {
00013 int whatNumberIsThis (int number);
00014 void debugDumpSubscriptions ();
00015 void shutdownNOW ();
00016
00017
00018 void registerNewIsServer (String serverName);
00019
00020
00021 void subscribe_special (String serverPattern, String objectPattern, boolean server_is_regular_expression, boolean object_is_regular_expression, is.callback cb) throws is.InvalidExpression;
00022 }