public interface  org.apache.zookeeper.server.quorum.flexible.QuorumVerifier extends java.lang.Object
{
public abstract long getWeight(long);
public abstract boolean containsQuorum(java.util.Set);
public abstract long getVersion();
public abstract void setVersion(long);
public abstract java.util.Map getAllMembers();
public abstract java.util.Map getVotingMembers();
public abstract java.util.Map getObservingMembers();
public abstract boolean equals(java.lang.Object);
public boolean updateNeedOracle(java.util.List)
{
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
java.util.List v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
v := @parameter: java.util.List;
return 0;
}
public boolean getNeedOracle()
{
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
return 0;
}
public boolean askOracle()
{
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
return 0;
}
public boolean overrideQuorumDecision(java.util.List)
{
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
java.util.List v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
v := @parameter: java.util.List;
return 0;
}
public boolean revalidateOutstandingProp(org.apache.zookeeper.server.quorum.Leader, java.util.ArrayList, long)
{
org.apache.zookeeper.server.quorum.Leader v;
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
long v;
java.util.ArrayList v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
v := @parameter: org.apache.zookeeper.server.quorum.Leader;
v := @parameter: java.util.ArrayList;
v := @parameter: long;
return 0;
}
public boolean revalidateVoteset(org.apache.zookeeper.server.quorum.SyncedLearnerTracker, boolean)
{
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
boolean v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
v := @parameter: org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
v := @parameter: boolean;
return 0;
}
public java.lang.String getOraclePath()
{
org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
v := @this: org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
return null;
}
public abstract java.lang.String toString();
}