X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcompiler%2Fflow%2FSwitchFlowContext.java;fp=src%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcompiler%2Fflow%2FSwitchFlowContext.java;h=5cd28eb5e58cbde332913dbf92798dae6cb2d231;hb=040fa5af2cd00017cf3575950cdaade34a6d7f6c;hp=0000000000000000000000000000000000000000;hpb=a580fb8376d315d05e4d6bfdff9ff1101a151cd6;p=org.ibex.tool.git

diff --git a/src/org/eclipse/jdt/internal/compiler/flow/SwitchFlowContext.java b/src/org/eclipse/jdt/internal/compiler/flow/SwitchFlowContext.java
new file mode 100644
index 0000000..5cd28eb
--- /dev/null
+++ b/src/org/eclipse/jdt/internal/compiler/flow/SwitchFlowContext.java
@@ -0,0 +1,54 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2004 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials 
+ * are made available under the terms of the Common Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
+ * 
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.jdt.internal.compiler.flow;
+
+import org.eclipse.jdt.internal.compiler.ast.ASTNode;
+import org.eclipse.jdt.internal.compiler.codegen.Label;
+
+/**
+ * Reflects the context of code analysis, keeping track of enclosing
+ *	try statements, exception handlers, etc...
+ */
+public class SwitchFlowContext extends FlowContext {
+	public Label breakLabel;
+	public UnconditionalFlowInfo initsOnBreak = FlowInfo.DEAD_END;
+	
+	public SwitchFlowContext(
+		FlowContext parent,
+		ASTNode associatedNode,
+		Label breakLabel) {
+		super(parent, associatedNode);
+		this.breakLabel = breakLabel;
+	}
+
+	public Label breakLabel() {
+		return breakLabel;
+	}
+
+	public String individualToString() {
+		StringBuffer buffer = new StringBuffer("Switch flow context"); //$NON-NLS-1$
+		buffer.append("[initsOnBreak -").append(initsOnBreak.toString()).append(']'); //$NON-NLS-1$
+		return buffer.toString();
+	}
+
+	public boolean isBreakable() {
+		return true;
+	}
+
+	public void recordBreakFrom(FlowInfo flowInfo) {
+
+		if (initsOnBreak == FlowInfo.DEAD_END) {
+			initsOnBreak = flowInfo.copy().unconditionalInits();
+		} else {
+			initsOnBreak = initsOnBreak.mergedWith(flowInfo.copy().unconditionalInits());
+		}
+	}
+}