public class javassist.bytecode.analysis.ControlFlow extends java.lang.Object
{
private javassist.CtClass clazz;
private javassist.bytecode.MethodInfo methodInfo;
private javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks;
private javassist.bytecode.analysis.Frame[] frames;
public void <init>(javassist.CtMethod) throws javassist.bytecode.BadBytecode
{
javassist.CtMethod v;
javassist.bytecode.MethodInfo v;
javassist.bytecode.analysis.ControlFlow v;
javassist.CtClass v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v := @parameter: javassist.CtMethod;
v = virtualinvoke v.<javassist.CtMethod: javassist.CtClass getDeclaringClass()>();
v = virtualinvoke v.<javassist.CtMethod: javassist.bytecode.MethodInfo getMethodInfo2()>();
specialinvoke v.<javassist.bytecode.analysis.ControlFlow: void <init>(javassist.CtClass,javassist.bytecode.MethodInfo)>(v, v);
return;
}
public void <init>(javassist.CtClass, javassist.bytecode.MethodInfo) throws javassist.bytecode.BadBytecode
{
javassist.CtClass v;
int[] v;
javassist.bytecode.analysis.ControlFlow$Catcher v;
javassist.bytecode.analysis.ControlFlow v;
javassist.bytecode.analysis.ControlFlow$Catcher[] v;
javassist.bytecode.analysis.ControlFlow$Block v, v, v, v;
javassist.bytecode.MethodInfo v;
javassist.bytecode.analysis.ControlFlow$1 v;
int v, v, v, v, v, v, v, v, v, v, v, v, v, v;
javassist.bytecode.analysis.ControlFlow$Block[] v, v, v, v, v, v, v, v;
javassist.bytecode.stackmap.BasicBlock[] v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v := @parameter: javassist.CtClass;
v := @parameter: javassist.bytecode.MethodInfo;
specialinvoke v.<java.lang.Object: void <init>()>();
v.<javassist.bytecode.analysis.ControlFlow: javassist.CtClass clazz> = v;
v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.MethodInfo methodInfo> = v;
v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.Frame[] frames> = null;
v = new javassist.bytecode.analysis.ControlFlow$1;
specialinvoke v.<javassist.bytecode.analysis.ControlFlow$1: void <init>(javassist.bytecode.analysis.ControlFlow)>(v);
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$1: javassist.bytecode.stackmap.BasicBlock[] make(javassist.bytecode.MethodInfo)>(v);
v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks> = v;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
if v != null goto label;
v = newarray (javassist.bytecode.analysis.ControlFlow$Block)[0];
v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks> = v;
label:
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = lengthof v;
v = newarray (int)[v];
v = 0;
label:
if v >= v goto label;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = v[v];
v.<javassist.bytecode.analysis.ControlFlow$Block: int index> = v;
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: int incomings()>();
v = newarray (javassist.bytecode.analysis.ControlFlow$Block)[v];
v.<javassist.bytecode.analysis.ControlFlow$Block: javassist.bytecode.analysis.ControlFlow$Block[] entrances> = v;
v[v] = 0;
v = v + 1;
goto label;
label:
v = 0;
label:
if v >= v goto label;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = v[v];
v = 0;
label:
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: int exits()>();
if v >= v goto label;
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: javassist.bytecode.analysis.ControlFlow$Block exit(int)>(v);
v = v.<javassist.bytecode.analysis.ControlFlow$Block: javassist.bytecode.analysis.ControlFlow$Block[] entrances>;
v = v.<javassist.bytecode.analysis.ControlFlow$Block: int index>;
v = v[v];
v = v + 1;
v[v] = v;
v[v] = v;
v = v + 1;
goto label;
label:
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: javassist.bytecode.analysis.ControlFlow$Catcher[] catchers()>();
v = 0;
label:
v = lengthof v;
if v >= v goto label;
v = v[v];
v = v.<javassist.bytecode.analysis.ControlFlow$Catcher: javassist.bytecode.analysis.ControlFlow$Block node>;
v = v.<javassist.bytecode.analysis.ControlFlow$Block: javassist.bytecode.analysis.ControlFlow$Block[] entrances>;
v = v.<javassist.bytecode.analysis.ControlFlow$Block: int index>;
v = v[v];
v = v + 1;
v[v] = v;
v[v] = v;
v = v + 1;
goto label;
label:
v = v + 1;
goto label;
label:
return;
}
public javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks()
{
javassist.bytecode.analysis.ControlFlow$Block[] v;
javassist.bytecode.analysis.ControlFlow v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
return v;
}
public javassist.bytecode.analysis.Frame frameAt(int) throws javassist.bytecode.BadBytecode
{
javassist.bytecode.analysis.Analyzer v;
javassist.bytecode.analysis.Frame v;
javassist.bytecode.analysis.ControlFlow v;
javassist.CtClass v;
javassist.bytecode.analysis.Frame[] v, v, v;
int v;
javassist.bytecode.MethodInfo v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v := @parameter: int;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.Frame[] frames>;
if v != null goto label;
v = new javassist.bytecode.analysis.Analyzer;
specialinvoke v.<javassist.bytecode.analysis.Analyzer: void <init>()>();
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.CtClass clazz>;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.MethodInfo methodInfo>;
v = virtualinvoke v.<javassist.bytecode.analysis.Analyzer: javassist.bytecode.analysis.Frame[] analyze(javassist.CtClass,javassist.bytecode.MethodInfo)>(v, v);
v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.Frame[] frames> = v;
label:
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.Frame[] frames>;
v = v[v];
return v;
}
public javassist.bytecode.analysis.ControlFlow$Node[] dominatorTree()
{
javassist.bytecode.analysis.ControlFlow$2 v;
boolean[] v;
javassist.bytecode.analysis.ControlFlow v;
javassist.bytecode.analysis.ControlFlow$Node[] v;
javassist.bytecode.analysis.ControlFlow$Node v, v, v;
int[] v;
javassist.bytecode.analysis.ControlFlow$Block v;
int v, v, v;
javassist.bytecode.analysis.ControlFlow$Block[] v, v;
boolean v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = lengthof v;
if v != 0 goto label;
return null;
label:
v = newarray (javassist.bytecode.analysis.ControlFlow$Node)[v];
v = newarray (boolean)[v];
v = newarray (int)[v];
v = 0;
label:
if v >= v goto label;
v = new javassist.bytecode.analysis.ControlFlow$Node;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = v[v];
specialinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: void <init>(javassist.bytecode.analysis.ControlFlow$Block)>(v);
v[v] = v;
v[v] = 0;
v = v + 1;
goto label;
label:
v = new javassist.bytecode.analysis.ControlFlow$2;
specialinvoke v.<javassist.bytecode.analysis.ControlFlow$2: void <init>(javassist.bytecode.analysis.ControlFlow,javassist.bytecode.analysis.ControlFlow$Node[])>(v, v);
v = v[0];
virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: int makeDepth1stTree(javassist.bytecode.analysis.ControlFlow$Node,boolean[],int,int[],javassist.bytecode.analysis.ControlFlow$Access)>(null, v, 0, v, v);
label:
v = 0;
label:
if v >= v goto label;
v[v] = 0;
v = v + 1;
goto label;
label:
v = v[0];
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: boolean makeDominatorTree(boolean[],int[],javassist.bytecode.analysis.ControlFlow$Access)>(v, v, v);
if v != 0 goto label;
staticinvoke <javassist.bytecode.analysis.ControlFlow$Node: void setChildren(javassist.bytecode.analysis.ControlFlow$Node[])>(v);
return v;
}
public javassist.bytecode.analysis.ControlFlow$Node[] postDominatorTree()
{
javassist.bytecode.analysis.ControlFlow$3 v;
javassist.bytecode.analysis.ControlFlow$Node v, v, v, v, v;
int[] v;
int v, v, v, v, v, v, v, v;
javassist.bytecode.analysis.ControlFlow$Block[] v, v;
boolean v, v;
boolean[] v;
javassist.bytecode.analysis.ControlFlow v;
javassist.bytecode.analysis.ControlFlow$Node[] v;
javassist.bytecode.analysis.ControlFlow$Block v, v, v;
v := @this: javassist.bytecode.analysis.ControlFlow;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = lengthof v;
if v != 0 goto label;
return null;
label:
v = newarray (javassist.bytecode.analysis.ControlFlow$Node)[v];
v = newarray (boolean)[v];
v = newarray (int)[v];
v = 0;
label:
if v >= v goto label;
v = new javassist.bytecode.analysis.ControlFlow$Node;
v = v.<javassist.bytecode.analysis.ControlFlow: javassist.bytecode.analysis.ControlFlow$Block[] basicBlocks>;
v = v[v];
specialinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: void <init>(javassist.bytecode.analysis.ControlFlow$Block)>(v);
v[v] = v;
v[v] = 0;
v = v + 1;
goto label;
label:
v = new javassist.bytecode.analysis.ControlFlow$3;
specialinvoke v.<javassist.bytecode.analysis.ControlFlow$3: void <init>(javassist.bytecode.analysis.ControlFlow,javassist.bytecode.analysis.ControlFlow$Node[])>(v, v);
v = 0;
v = 0;
label:
if v >= v goto label;
v = v[v];
v = v.<javassist.bytecode.analysis.ControlFlow$Node: javassist.bytecode.analysis.ControlFlow$Block block>;
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: int exits()>();
if v != 0 goto label;
v = v[v];
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: int makeDepth1stTree(javassist.bytecode.analysis.ControlFlow$Node,boolean[],int,int[],javassist.bytecode.analysis.ControlFlow$Access)>(null, v, v, v, v);
label:
v = v + 1;
goto label;
label:
v = 0;
label:
if v >= v goto label;
v[v] = 0;
v = v + 1;
goto label;
label:
v = 0;
v = 0;
label:
if v >= v goto label;
v = v[v];
v = v.<javassist.bytecode.analysis.ControlFlow$Node: javassist.bytecode.analysis.ControlFlow$Block block>;
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Block: int exits()>();
if v != 0 goto label;
v = v[v];
v = virtualinvoke v.<javassist.bytecode.analysis.ControlFlow$Node: boolean makeDominatorTree(boolean[],int[],javassist.bytecode.analysis.ControlFlow$Access)>(v, v, v);
if v == 0 goto label;
v = 1;
label:
v = v + 1;
goto label;
label:
if v != 0 goto label;
staticinvoke <javassist.bytecode.analysis.ControlFlow$Node: void setChildren(javassist.bytecode.analysis.ControlFlow$Node[])>(v);
return v;
}
}