Decompiling class 'ReversiForm'.

Initial support for the switch bytecode

src/AstMetodBodyBuilder.cs

@@ -29,6 +29,8 @@ namespace Decompiler
 		{
 			Ast.BlockStatement astBlock = new Ast.BlockStatement();
 			
+			if (methodDef.Body == null) return astBlock;
+			
 			methodDef.Body.Simplify();
 			
 			ByteCodeCollection body = new ByteCodeCollection(methodDef);
@@ -521,6 +523,7 @@ namespace Decompiler
 				case Code.Ldc_R8: return new Ast.PrimitiveExpression(operand, null);
 				case Code.Ldfld:
 				case Code.Ldsfld: {
+					if (operand is FieldDefinition) {
 						FieldDefinition field = (FieldDefinition) operand;
 						if (field.IsStatic) {
 							return new Ast.MemberReferenceExpression(
@@ -530,6 +533,10 @@ namespace Decompiler
 						} else {
 							return new Ast.MemberReferenceExpression(arg1, field.Name);
 						}
+					} else {
+						// TODO: Static accesses
+						return new Ast.MemberReferenceExpression(arg1, ((FieldReference)operand).Name);
+					}
 				}
 				case Code.Stfld:
 				case Code.Stsfld: {
@@ -634,8 +641,12 @@ namespace Decompiler
 		
 		static Ast.Expression Convert(Ast.Expression expr, Cecil.TypeReference reqType)
 		{
+			if (reqType == null) {
+				return expr;
+			} else {
 				return Convert(expr, reqType.FullName);
 			}
+		}
 		
 		static Ast.Expression Convert(Ast.Expression expr, string reqType)
 		{

src/ByteCode.StackAnalysis.cs

@@ -36,6 +36,18 @@ namespace Decompiler
 			
 			stackAfter = SimulateEffectOnStack(this.StackBefore);
 			
+			if (this.OpCode.Code == Code.Endfinally) {
+				return; // TODO
+			}
+			
+			if (this.OpCode.Code == Code.Switch) {
+				this.Next.MergeStackBeforeWith(this.StackAfter);
+				foreach(ByteCode target in (ByteCode[])this.Operand) {
+					target.MergeStackBeforeWith(this.StackAfter);
+				}
+				return;
+			}
+			
 			switch(this.OpCode.FlowControl) {
 				case FlowControl.Branch:
 					this.BranchTarget.MergeStackBeforeWith(this.StackAfter);

src/ByteCodeCollection.cs

@@ -56,13 +56,20 @@ namespace Decompiler
 			}
 			foreach(ByteCode byteCode in this) {
 				if (byteCode.CanBranch) {
-					byteCode.Operand = GetByOffset(((Instruction)byteCode.Operand).Offset);
+					if (byteCode.Operand is Instruction[]) {
+						List<ByteCode> operands = new List<ByteCode>();
+						foreach(Instruction inst in (Instruction[])byteCode.Operand) {
+							ByteCode target = GetByOffset(inst.Offset);
+							operands.Add(target);
+							target.BranchesHere.Add(byteCode);
+						}
+						byteCode.Operand = operands.ToArray();
+					} else {
+						ByteCode target = GetByOffset(((Instruction)byteCode.Operand).Offset);
+						byteCode.Operand = target;
+						target.BranchesHere.Add(byteCode);
 					}
 				}
-			foreach(ByteCode byteCode in this) {
-				if (byteCode.CanBranch) {
-					byteCode.BranchTarget.BranchesHere.Add(byteCode);
-				}
 			}
 			UpdateNextPrevious();
 			UpdateStackAnalysis(methodDef);

src/CilStack.cs

@@ -120,7 +120,8 @@ namespace Decompiler
 			merged = stack1.Clone();
 			for (int i = 0; i < count; i++) {
 				if (!stack1[i].Equals(stack2[i])) {
-					merged[i] = new CilStackSlot(null, null); // Merge slots
+					// TODO: Do the merge
+					// merged[i] = new CilStackSlot(null, null); // Merge slots
 					same = false;
 				}
 			}

src/MainForm.cs

@@ -39,7 +39,7 @@ namespace Decompiler
 					x += checkBox.Width + 10;
 				}
 			}
-			filter.Text = "Board";
+			filter.Text = "ReversiForm";
 		}
 		
 		public string SourceCode {