public class org.apache.zookeeper.server.quorum.FLEOutOfElectionTest extends java.lang.Object
{
private org.apache.zookeeper.server.quorum.FastLeaderElection fle;
public void <init>()
{
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public void setUp() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.FastLeaderElection v;
java.util.HashMap v;
long v;
java.net.InetSocketAddress v;
org.apache.zookeeper.server.quorum.QuorumCnxManager v;
java.io.File v;
java.lang.Long v, v;
int v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = 0;
label:
if v >= 5 goto label;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = virtualinvoke v.<java.lang.Long: long longValue()>();
v = new java.net.InetSocketAddress;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
specialinvoke v.<java.net.InetSocketAddress: void <init>(java.lang.String,int)>("127.0.0.1", v);
specialinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer: void <init>(long,java.net.InetSocketAddress)>(v, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v + 1;
goto label;
label:
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
specialinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void <init>(java.util.Map,java.io.File,java.io.File,int,int,long,int,int,int,int)>(v, v, v, v, 3, 3L, 1000, 2, 2, 2);
v = new org.apache.zookeeper.server.quorum.FastLeaderElection;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.QuorumCnxManager createCnxnManager()>();
specialinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: void <init>(org.apache.zookeeper.server.quorum.QuorumPeer,org.apache.zookeeper.server.quorum.QuorumCnxManager)>(v, v);
v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle> = v;
return;
}
public void testIgnoringZxidElectionEpoch()
{
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v;
java.util.HashMap v;
long v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v;
java.lang.Long v, v, v, v;
boolean v;
org.apache.zookeeper.server.quorum.FastLeaderElection v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(0L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(1L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 1L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(1L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(1L, 2L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 1L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(3L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 2L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(4L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LEADING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 2L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: org.apache.zookeeper.server.quorum.SyncedLearnerTracker getVoteTracker(java.util.Map,org.apache.zookeeper.server.quorum.Vote)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.SyncedLearnerTracker: boolean hasAllQuorums()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testElectionWIthDifferentVersion()
{
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v;
java.util.HashMap v;
long v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v;
java.lang.Long v, v, v, v;
boolean v;
org.apache.zookeeper.server.quorum.FastLeaderElection v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(0L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(1L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(1L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(1L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(3L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(4L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LEADING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: org.apache.zookeeper.server.quorum.SyncedLearnerTracker getVoteTracker(java.util.Map,org.apache.zookeeper.server.quorum.Vote)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.SyncedLearnerTracker: boolean hasAllQuorums()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testLookingNormal()
{
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v;
java.util.HashMap v;
long v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v;
java.lang.Long v, v, v, v;
boolean v;
org.apache.zookeeper.server.quorum.FastLeaderElection v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(0L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(1L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(3L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(4L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LEADING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: org.apache.zookeeper.server.quorum.SyncedLearnerTracker getVoteTracker(java.util.Map,org.apache.zookeeper.server.quorum.Vote)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.SyncedLearnerTracker: boolean hasAllQuorums()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean)>(v);
return;
}
public void testLookingDiffRounds()
{
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v;
java.util.HashMap v;
long v, v, v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v;
java.lang.Long v, v, v, v;
boolean v;
org.apache.zookeeper.server.quorum.FastLeaderElection v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(0L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(1L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 1L, 1L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(1L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(3L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 3L, 2L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(4L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LEADING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 3L, 2L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(2L, 1L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LOOKING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(4L, v, 2L, 2L, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: org.apache.zookeeper.server.quorum.SyncedLearnerTracker getVoteTracker(java.util.Map,org.apache.zookeeper.server.quorum.Vote)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.SyncedLearnerTracker: boolean hasAllQuorums()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean)>(v);
return;
}
public void testOutofElection()
{
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v, v, v, v, v, v;
java.lang.Long v, v, v, v;
boolean v, v;
org.apache.zookeeper.server.quorum.FastLeaderElection v, v, v;
org.apache.zookeeper.server.quorum.FastLeaderElection$Notification v;
org.apache.zookeeper.server.quorum.SyncedLearnerTracker v;
org.apache.zookeeper.server.quorum.FLEOutOfElectionTest v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v;
java.util.HashMap v;
long v, v, v, v, v, v, v, v, v, v, v, v, v, v;
int v, v;
java.util.concurrent.atomic.AtomicLong v;
v := @this: org.apache.zookeeper.server.quorum.FLEOutOfElectionTest;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(1L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(15L, 0L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(0, 5L, v, 10L, 23L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(2L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(15L, 0L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(0, 5L, v, 10L, 23L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(4L);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(15L, 0L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState FOLLOWING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 5L, v, 10L, 24L, v);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = new org.apache.zookeeper.server.quorum.Vote;
v = staticinvoke <org.apache.zookeeper.server.util.ZxidUtils: long makeZxid(long,long)>(15L, 0L);
v = <org.apache.zookeeper.server.quorum.QuorumPeer$ServerState: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState LEADING>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(1, 5L, v, 10L, 24L, v);
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(5L);
virtualinvoke v.<java.util.HashMap: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = new org.apache.zookeeper.server.quorum.FastLeaderElection$Notification;
specialinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: void <init>()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: int getVersion()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: int version> = v;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getId()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long leader> = v;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getZxid()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long zxid> = v;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getElectionEpoch()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long electionEpoch> = v;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState getState()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState state> = v;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getPeerEpoch()>();
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long peerEpoch> = v;
v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long sid> = 5L;
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection: java.util.concurrent.atomic.AtomicLong logicalclock>;
virtualinvoke v.<java.util.concurrent.atomic.AtomicLong: void set(long)>(1L);
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = new org.apache.zookeeper.server.quorum.Vote;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: int version>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long leader>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long zxid>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long electionEpoch>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long peerEpoch>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState state>;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(int,long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(v, v, v, v, v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: org.apache.zookeeper.server.quorum.SyncedLearnerTracker getVoteTracker(java.util.Map,org.apache.zookeeper.server.quorum.Vote)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.SyncedLearnerTracker: boolean hasAllQuorums()>();
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Quorum check failed");
v = v.<org.apache.zookeeper.server.quorum.FLEOutOfElectionTest: org.apache.zookeeper.server.quorum.FastLeaderElection fle>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long leader>;
v = v.<org.apache.zookeeper.server.quorum.FastLeaderElection$Notification: long electionEpoch>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.FastLeaderElection: boolean checkLeader(java.util.Map,long,long)>(v, v, v);
staticinvoke <org.junit.jupiter.api.Assertions: void assertTrue(boolean,java.lang.String)>(v, "Leader check failed");
return;
}
}