public class ReplicationConfig
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
int[] |
partitionedGraphHostNodesTable |
java.util.Map<java.lang.Integer,java.lang.String> |
serverGroup |
| Constructor and Description |
|---|
ReplicationConfig(java.lang.String validationReplicationConfigFile,
int serverId,
CertifierReplica localHandle,
java.lang.String configFile) |
| Modifier and Type | Method and Description |
|---|---|
int |
getServerFromNodeKey(long nodeId) |
public java.util.Map<java.lang.Integer,java.lang.String> serverGroup
public int[] partitionedGraphHostNodesTable
public ReplicationConfig(java.lang.String validationReplicationConfigFile,
int serverId,
CertifierReplica localHandle,
java.lang.String configFile)
throws java.rmi.RemoteException,
java.io.IOException
java.rmi.RemoteExceptionjava.io.IOException