public class oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker extends java.lang.Object
{
protected java.util.ArrayList qvAcksetPairs;
public void <init>()
{
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
java.util.ArrayList v;
v := @this: oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
specialinvoke v.<java.lang.Object: void <init>()>();
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker: java.util.ArrayList qvAcksetPairs> = v;
return;
}
public void addQuorumVerifier(oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier)
{
java.util.HashSet v;
java.util.Map v;
int v;
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair v;
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
java.util.ArrayList v;
v := @this: oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
v := @parameter: oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier;
v = v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker: java.util.ArrayList qvAcksetPairs>;
v = new oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair;
v = new java.util.HashSet;
v = interfaceinvoke v.<oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier: java.util.Map getVotingMembers()>();
v = interfaceinvoke v.<java.util.Map: int size()>();
specialinvoke v.<java.util.HashSet: void <init>(int)>(v);
specialinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: void <init>(oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier,java.util.HashSet)>(v, v);
virtualinvoke v.<java.util.ArrayList: boolean add(java.lang.Object)>(v);
return;
}
public boolean addAck(java.lang.Long)
{
java.util.Iterator v;
oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
java.util.ArrayList v;
java.util.HashSet v;
java.lang.Long v;
java.util.Map v;
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
java.lang.Object v;
boolean v, v, v;
v := @this: oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
v := @parameter: java.lang.Long;
v = 0;
v = v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker: java.util.ArrayList qvAcksetPairs>;
v = virtualinvoke v.<java.util.ArrayList: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = virtualinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier getQuorumVerifier()>();
v = interfaceinvoke v.<oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier: java.util.Map getVotingMembers()>();
v = interfaceinvoke v.<java.util.Map: boolean containsKey(java.lang.Object)>(v);
if v == 0 goto label;
v = virtualinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: java.util.HashSet getAckset()>();
virtualinvoke v.<java.util.HashSet: boolean add(java.lang.Object)>(v);
v = 1;
goto label;
label:
return v;
}
public boolean hasAllQuorums()
{
java.util.Iterator v;
oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier v;
java.util.ArrayList v;
java.util.HashSet v;
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
java.lang.Object v;
boolean v, v;
v := @this: oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
v = v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker: java.util.ArrayList qvAcksetPairs>;
v = virtualinvoke v.<java.util.ArrayList: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = virtualinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier getQuorumVerifier()>();
v = virtualinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: java.util.HashSet getAckset()>();
v = interfaceinvoke v.<oadd.org.apache.zookeeper.server.quorum.flexible.QuorumVerifier: boolean containsQuorum(java.util.Set)>(v);
if v != 0 goto label;
return 0;
label:
return 1;
}
public java.lang.String ackSetsToString()
{
java.util.Iterator v;
java.util.ArrayList v;
java.util.HashSet v;
int v, v;
oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
java.lang.Object v;
java.lang.StringBuilder v, v;
java.lang.String v, v;
boolean v;
v := @this: oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker;
v = new java.lang.StringBuilder;
specialinvoke v.<java.lang.StringBuilder: void <init>()>();
v = v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker: java.util.ArrayList qvAcksetPairs>;
v = virtualinvoke v.<java.util.ArrayList: java.util.Iterator iterator()>();
label:
v = interfaceinvoke v.<java.util.Iterator: boolean hasNext()>();
if v == 0 goto label;
v = interfaceinvoke v.<java.util.Iterator: java.lang.Object next()>();
v = virtualinvoke v.<oadd.org.apache.zookeeper.server.quorum.SyncedLearnerTracker$QuorumVerifierAcksetPair: java.util.HashSet getAckset()>();
v = virtualinvoke v.<java.util.HashSet: java.lang.String toString()>();
v = virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(v);
virtualinvoke v.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(",");
goto label;
label:
v = virtualinvoke v.<java.lang.StringBuilder: int length()>();
v = v - 1;
v = virtualinvoke v.<java.lang.StringBuilder: java.lang.String substring(int,int)>(0, v);
return v;
}
}