public class org.apache.zookeeper.test.FLETest extends org.apache.zookeeper.ZKTestCase
{
protected static final org.slf4j.Logger LOG;
private final int MAX_LOOP_COUNTER;
private org.apache.zookeeper.test.FLETest$LEThread leThread;
int count;
java.util.Map peers;
java.util.ArrayList threads;
java.util.Map voteMap;
java.util.Map quora;
java.io.File[] tmpdir;
int[] port;
int successCount;
volatile org.apache.zookeeper.server.quorum.Vote[] votes;
volatile long leader;
java.util.Random rand;
java.util.Set joinedThreads;
public void <init>()
{
java.util.Random v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
specialinvoke v.<org.apache.zookeeper.ZKTestCase: void <init>()>();
v.<org.apache.zookeeper.test.FLETest: int MAX_LOOP_COUNTER> = 300;
v.<org.apache.zookeeper.test.FLETest: long leader> = -1L;
v = new java.util.Random;
specialinvoke v.<java.util.Random: void <init>()>();
v.<org.apache.zookeeper.test.FLETest: java.util.Random rand> = v;
return;
}
int countVotes(java.util.HashSet, long)
{
java.util.Iterator v;
long v, v;
java.util.HashSet v;
byte v;
int v;
java.lang.Object v;
org.apache.zookeeper.test.FLETest v;
boolean v;
v := @this: org.apache.zookeeper.test.FLETest;
v := @parameter: java.util.HashSet;
v := @parameter: long;
v = 0;
v = virtualinvoke v.<java.util.HashSet: 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 = v.<org.apache.zookeeper.test.FLETest$TestVote: long leader>;
v = v cmp v;
if v != 0 goto label;
v = v + 1;
goto label;
label:
return v;
}
public void setUp() throws java.lang.Exception
{
java.util.HashMap v, v;
java.util.ArrayList v;
java.util.HashSet v;
int[] v;
org.apache.zookeeper.server.quorum.Vote[] v;
int v, v, v, v, v;
java.io.File[] v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
v.<org.apache.zookeeper.test.FLETest: int count> = 7;
v = new java.util.HashMap;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
specialinvoke v.<java.util.HashMap: void <init>(int)>(v);
v.<org.apache.zookeeper.test.FLETest: java.util.Map peers> = v;
v = new java.util.ArrayList;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
specialinvoke v.<java.util.ArrayList: void <init>(int)>(v);
v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads> = v;
v = new java.util.HashMap;
specialinvoke v.<java.util.HashMap: void <init>()>();
v.<org.apache.zookeeper.test.FLETest: java.util.Map voteMap> = v;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = newarray (org.apache.zookeeper.server.quorum.Vote)[v];
v.<org.apache.zookeeper.test.FLETest: org.apache.zookeeper.server.quorum.Vote[] votes> = v;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = newarray (java.io.File)[v];
v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir> = v;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = newarray (int)[v];
v.<org.apache.zookeeper.test.FLETest: int[] port> = v;
v.<org.apache.zookeeper.test.FLETest: int successCount> = 0;
v = new java.util.HashSet;
specialinvoke v.<java.util.HashSet: void <init>()>();
v.<org.apache.zookeeper.test.FLETest: java.util.Set joinedThreads> = v;
return;
}
public void tearDown() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v;
java.util.ArrayList v, v;
org.apache.zookeeper.test.FLETest$LEThread v;
int v, v;
java.lang.Object v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
v = 0;
label:
v = v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads>;
v = virtualinvoke v.<java.util.ArrayList: int size()>();
if v >= v goto label;
v = v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads>;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(v);
v.<org.apache.zookeeper.test.FLETest: org.apache.zookeeper.test.FLETest$LEThread leThread> = v;
v = v.<org.apache.zookeeper.test.FLETest: org.apache.zookeeper.test.FLETest$LEThread leThread>;
v = v.<org.apache.zookeeper.test.FLETest$LEThread: org.apache.zookeeper.server.quorum.QuorumPeer peer>;
staticinvoke <org.apache.zookeeper.test.QuorumBase: void shutdown(org.apache.zookeeper.server.quorum.QuorumPeer)>(v);
v = v + 1;
goto label;
label:
return;
}
public void testSingleElection() throws java.lang.Exception
{
java.lang.String v;
java.lang.Exception v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
label:
specialinvoke v.<org.apache.zookeeper.test.FLETest: void runElection(int)>(1);
label:
goto label;
label:
v := @caughtexception;
v = virtualinvoke v.<java.lang.Exception: java.lang.String toString()>();
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
return;
catch java.lang.Exception from label to label with label;
}
public void testDoubleElection() throws java.lang.Exception
{
java.lang.String v;
java.lang.Exception v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
label:
specialinvoke v.<org.apache.zookeeper.test.FLETest: void runElection(int)>(2);
label:
goto label;
label:
v := @caughtexception;
v = virtualinvoke v.<java.lang.Exception: java.lang.String toString()>();
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
return;
catch java.lang.Exception from label to label with label;
}
public void testTripleElection() throws java.lang.Exception
{
java.lang.String v;
java.lang.Exception v;
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
label:
specialinvoke v.<org.apache.zookeeper.test.FLETest: void runElection(int)>(3);
label:
goto label;
label:
v := @caughtexception;
v = virtualinvoke v.<java.lang.Exception: java.lang.String toString()>();
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
return;
catch java.lang.Exception from label to label with label;
}
private void runElection(int) throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v;
java.lang.Integer v, v, v;
org.apache.zookeeper.test.FLETest$LEThread v;
byte v;
java.lang.Long v, v;
java.util.Map v, v;
java.util.Set v;
org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer v;
java.lang.Throwable v;
long v, v, v;
java.util.ArrayList v, v, v;
java.lang.String v, v, v;
org.apache.zookeeper.test.FLETest v;
java.io.File v, v, v;
int[] v, v, v;
boolean v, v;
java.util.concurrent.ConcurrentHashMap v;
java.net.InetSocketAddress v, v, v;
int v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v, v;
org.slf4j.Logger v, v, v, v;
java.lang.Object v;
java.io.File[] v, v, v;
v := @this: org.apache.zookeeper.test.FLETest;
v := @parameter: int;
v = new java.util.concurrent.ConcurrentHashMap;
specialinvoke v.<java.util.concurrent.ConcurrentHashMap: void <init>()>();
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest: java.lang.String getTestName()>();
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object,java.lang.Object)>("TestLE: {}, {}", v, v);
v = 0;
label:
v = v.<org.apache.zookeeper.test.FLETest: int count>;
if v >= v goto label;
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v[v] = v;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer;
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);
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);
v = new java.net.InetSocketAddress;
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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,java.net.InetSocketAddress,java.net.InetSocketAddress)>(v, v, v, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v[v] = v;
v = v + 1;
goto label;
label:
v = 0;
label:
v = v.<org.apache.zookeeper.test.FLETest: int count>;
if v >= v goto label;
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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, v, 1000, 2, 2, 2);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void startLeaderElection()>();
v = new org.apache.zookeeper.test.FLETest$LEThread;
specialinvoke v.<org.apache.zookeeper.test.FLETest$LEThread: void <init>(org.apache.zookeeper.test.FLETest,org.apache.zookeeper.test.FLETest,org.apache.zookeeper.server.quorum.QuorumPeer,int,int,java.util.concurrent.ConcurrentHashMap)>(v, v, v, v, v, v);
virtualinvoke v.<org.apache.zookeeper.test.FLETest$LEThread: void start()>();
v = v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads>;
virtualinvoke v.<java.util.ArrayList: boolean add(java.lang.Object)>(v);
v = v + 1;
goto label;
label:
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest: java.lang.String getTestName()>();
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Started threads {}", v);
v = 0;
entermonitor v;
label:
v = v.<org.apache.zookeeper.test.FLETest: int successCount>;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = v / 2;
if v <= v goto label;
v = v.<org.apache.zookeeper.test.FLETest: long leader>;
v = v cmp -1L;
if v != 0 goto label;
label:
if v >= 300 goto label;
virtualinvoke v.<java.lang.Object: void wait(long)>(200L);
v = v + 1;
goto label;
label:
exitmonitor v;
label:
goto label;
label:
v := @caughtexception;
exitmonitor v;
throw v;
label:
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = v.<org.apache.zookeeper.test.FLETest: int successCount>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Success count: {}", v);
v = 0;
label:
v = v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads>;
v = virtualinvoke v.<java.util.ArrayList: int size()>();
if v >= v goto label;
v = v.<org.apache.zookeeper.test.FLETest: java.util.ArrayList threads>;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(v);
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$LEThread: boolean isAlive()>();
if v == 0 goto label;
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = staticinvoke <java.lang.Integer: java.lang.Integer valueOf(int)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Threads didn\'t join: {}", v);
label:
v = v + 1;
goto label;
label:
v = v.<org.apache.zookeeper.test.FLETest: int successCount>;
v = v.<org.apache.zookeeper.test.FLETest: int count>;
v = v / 2;
if v > v goto label;
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>("Fewer than a a majority has joined");
label:
v = v.<org.apache.zookeeper.test.FLETest: java.util.Set joinedThreads>;
v = v.<org.apache.zookeeper.test.FLETest: long leader>;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = interfaceinvoke v.<java.util.Set: boolean contains(java.lang.Object)>(v);
if v != 0 goto label;
v = v.<org.apache.zookeeper.test.FLETest: long leader>;
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Leader hasn\'t joined: \u0001");
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
return;
catch java.lang.Throwable from label to label with label;
}
public void testJoin() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
int[] v, v, v, v;
java.lang.Long v, v, v;
java.util.Map v, v, v;
boolean v, v, v, v;
java.net.InetSocketAddress v, v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer v;
long v, v, v, v;
java.util.ArrayList v;
int v, v, v, v, v, v, v, v, v;
java.lang.String v, v, v;
org.apache.zookeeper.test.FLETest v;
org.slf4j.Logger v, v;
org.apache.zookeeper.test.FLETest$VerifyState v, v;
java.io.File v, v, v, v, v;
java.lang.Object v, v;
java.io.File[] v, v, v, v, v;
v := @this: org.apache.zookeeper.test.FLETest;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = 0;
label:
if v >= 3 goto label;
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v[v] = v;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer;
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);
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);
v = new java.net.InetSocketAddress;
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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,java.net.InetSocketAddress,java.net.InetSocketAddress)>(v, v, v, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v[v] = v;
v = v + 1;
goto label;
label:
v = 0;
label:
if v >= 2 goto label;
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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, v, 2000, 2, 2, 2);
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Starting peer {}", v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void start()>();
virtualinvoke v.<java.util.ArrayList: void add(int,java.lang.Object)>(v, v);
v = v + 1;
goto label;
label:
virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(0);
v = new org.apache.zookeeper.test.FLETest$VerifyState;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(0);
specialinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void <init>(org.apache.zookeeper.server.quorum.QuorumPeer)>(v);
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void start()>();
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void join(long)>(10000);
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: boolean isSuccess()>();
if v != 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (short)>(10000) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Unable to form cluster in \u ms");
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean,java.lang.String)>(v, v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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, v, 2000, 2, 2, 2);
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Starting peer {}", v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void start()>();
virtualinvoke v.<java.util.ArrayList: void add(int,java.lang.Object)>(v, v);
v = new org.apache.zookeeper.test.FLETest$VerifyState;
specialinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void <init>(org.apache.zookeeper.server.quorum.QuorumPeer)>(v);
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void start()>();
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void join(long)>(10000);
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: boolean isAlive()>();
if v == 0 goto label;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long,short)>(v, 10000) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Peer \u failed to join the cluster within \u ms");
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
goto label;
label:
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: boolean isSuccess()>();
if v != 0 goto label;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long)>(v) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Incorrect LEADING state for peer \u0001");
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
v = 0;
label:
if v >= 3 goto label;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(v);
if v == null goto label;
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void shutdown()>();
label:
v = v + 1;
goto label;
label:
return;
}
public void testJoinInconsistentEnsemble() throws java.lang.Exception
{
org.apache.zookeeper.server.quorum.QuorumPeer v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$ServerState v;
int[] v, v, v;
java.lang.Long v, v, v;
java.util.Map v, v, v;
boolean v, v, v;
java.net.InetSocketAddress v, v;
org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer v;
org.apache.zookeeper.server.quorum.Vote v, v, v, v, v, v;
long v, v, v, v, v, v, v, v, v;
java.util.ArrayList v;
int v, v, v, v, v, v, v, v;
java.lang.String v, v;
org.apache.zookeeper.test.FLETest v;
org.slf4j.Logger v, v;
org.apache.zookeeper.test.FLETest$VerifyState v, v;
java.io.File v, v, v, v, v;
java.lang.Object v, v, v;
java.io.File[] v, v, v, v, v;
v := @this: org.apache.zookeeper.test.FLETest;
v = new java.util.ArrayList;
specialinvoke v.<java.util.ArrayList: void <init>()>();
v = 0;
label:
if v >= 3 goto label;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer$QuorumServer;
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);
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,java.net.InetSocketAddress)>(v, v, v);
interfaceinvoke v.<java.util.Map: java.lang.Object put(java.lang.Object,java.lang.Object)>(v, v);
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = staticinvoke <org.apache.zookeeper.test.ClientBase: java.io.File createTmpDir()>();
v[v] = v;
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = staticinvoke <org.apache.zookeeper.PortAssignment: int unique()>();
v[v] = v;
v = v + 1;
goto label;
label:
v = 0;
label:
if v >= 2 goto label;
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[v];
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[v];
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, v, 2000, 2, 2, 2);
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Starting peer {}", v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void start()>();
virtualinvoke v.<java.util.ArrayList: void add(int,java.lang.Object)>(v, v);
v = v + 1;
goto label;
label:
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(0);
v = new org.apache.zookeeper.test.FLETest$VerifyState;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(0);
specialinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void <init>(org.apache.zookeeper.server.quorum.QuorumPeer)>(v);
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void start()>();
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void join(long)>(10000);
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: boolean isSuccess()>();
if v != 0 goto label;
v = 1;
goto label;
label:
v = 0;
label:
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (short)>(10000) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Unable to form cluster in \u ms");
staticinvoke <org.junit.jupiter.api.Assertions: void assertFalse(boolean,java.lang.String)>(v, v);
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Vote getCurrentVote()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getId()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Vote getCurrentVote()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getZxid()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Vote getCurrentVote()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getElectionEpoch()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Vote getCurrentVote()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: org.apache.zookeeper.server.quorum.QuorumPeer$ServerState getState()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: org.apache.zookeeper.server.quorum.Vote getCurrentVote()>();
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.Vote: long getPeerEpoch()>();
v = new org.apache.zookeeper.server.quorum.Vote;
v = v + 100L;
v = v + 100L;
specialinvoke v.<org.apache.zookeeper.server.quorum.Vote: void <init>(long,long,long,long,org.apache.zookeeper.server.quorum.QuorumPeer$ServerState)>(v, v, v, v, v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void setCurrentVote(org.apache.zookeeper.server.quorum.Vote)>(v);
v = new org.apache.zookeeper.server.quorum.QuorumPeer;
v = v.<org.apache.zookeeper.test.FLETest: java.util.Map peers>;
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[2];
v = v.<org.apache.zookeeper.test.FLETest: java.io.File[] tmpdir>;
v = v[2];
v = v.<org.apache.zookeeper.test.FLETest: int[] port>;
v = v[2];
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, 2L, 2000, 2, 2, 2);
v = <org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG>;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = staticinvoke <java.lang.Long: java.lang.Long valueOf(long)>(v);
interfaceinvoke v.<org.slf4j.Logger: void info(java.lang.String,java.lang.Object)>("Starting peer {}", v);
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void start()>();
virtualinvoke v.<java.util.ArrayList: void add(int,java.lang.Object)>(v, v);
v = new org.apache.zookeeper.test.FLETest$VerifyState;
specialinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void <init>(org.apache.zookeeper.server.quorum.QuorumPeer)>(v);
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void start()>();
virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: void join(long)>(10000);
v = virtualinvoke v.<org.apache.zookeeper.test.FLETest$VerifyState: boolean isAlive()>();
if v == 0 goto label;
v = virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: long getMyId()>();
v = dynamicinvoke "makeConcatWithConstants" <java.lang.String (long,short)>(v, 10000) <java.lang.invoke.StringConcatFactory: java.lang.invoke.CallSite makeConcatWithConstants(java.lang.invoke.MethodHandles$Lookup,java.lang.String,java.lang.invoke.MethodType,java.lang.String,java.lang.Object[])>("Peer \u failed to join the cluster within \u ms");
staticinvoke <org.junit.jupiter.api.Assertions: java.lang.Object fail(java.lang.String)>(v);
label:
v = 0;
label:
if v >= 3 goto label;
v = virtualinvoke v.<java.util.ArrayList: java.lang.Object get(int)>(v);
if v == null goto label;
virtualinvoke v.<org.apache.zookeeper.server.quorum.QuorumPeer: void shutdown()>();
label:
v = v + 1;
goto label;
label:
return;
}
public void testElectionTimeUnit() throws java.lang.Exception
{
org.apache.zookeeper.test.FLETest v;
v := @this: org.apache.zookeeper.test.FLETest;
staticinvoke <org.junit.jupiter.api.Assertions: void assertEquals(java.lang.Object,java.lang.Object)>("MS", "MS");
return;
}
static void <clinit>()
{
org.slf4j.Logger v;
v = staticinvoke <org.slf4j.LoggerFactory: org.slf4j.Logger getLogger(java.lang.Class)>(class "Lorg/apache/zookeeper/test/FLETest;");
<org.apache.zookeeper.test.FLETest: org.slf4j.Logger LOG> = v;
return;
}
}