1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / ast / IfStatement.java
index 7959ba7..39d5ae0 100644 (file)
@@ -18,29 +18,33 @@ import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
 import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
 
 public class IfStatement extends Statement {
-       
-       //this class represents the case of only one statement in 
-       //either else and/or then branches.
+
+       // this class represents the case of only one statement in
+       // either else and/or then branches.
 
        public Expression condition;
+
        public Statement thenStatement;
+
        public Statement elseStatement;
+
        public Expression[] elseifConditions;
+
        public Statement[] elseifStatements;
+
        public boolean checkUnreachable;
+
        boolean thenExit;
-       
 
        // for local variables table attributes
        int thenInitStateIndex = -1;
+
        int elseInitStateIndex = -1;
+
        int mergedInitStateIndex = -1;
 
-       public IfStatement(
-               Expression condition,
-               Statement thenStatement,
-               int s,
-               int e) {
+       public IfStatement(Expression condition, Statement thenStatement, int s,
+                       int e) {
 
                this.condition = condition;
                this.thenStatement = thenStatement;
@@ -49,12 +53,8 @@ public class IfStatement extends Statement {
                checkUnreachable = true;
        }
 
-       public IfStatement(
-               Expression condition,
-               Statement thenStatement,
-               Statement elseStatement,
-               int s,
-               int e) {
+       public IfStatement(Expression condition, Statement thenStatement,
+                       Statement elseStatement, int s, int e) {
 
                this.condition = condition;
                this.thenStatement = thenStatement;
@@ -64,186 +64,201 @@ public class IfStatement extends Statement {
                checkUnreachable = true;
        }
 
-       public FlowInfo analyseCode(
-               BlockScope currentScope,
-               FlowContext flowContext,
-               FlowInfo flowInfo) {
+       public FlowInfo analyseCode(BlockScope currentScope,
+                       FlowContext flowContext, FlowInfo flowInfo) {
 
                // process the condition
                flowInfo = condition.analyseCode(currentScope, flowContext, flowInfo);
 
                Constant cst = this.condition.optimizedBooleanConstant();
-               boolean isConditionOptimizedTrue = cst != NotAConstant && cst.booleanValue() == true;
-               boolean isConditionOptimizedFalse = cst != NotAConstant && cst.booleanValue() == false;
-               
+               boolean isConditionOptimizedTrue = cst != NotAConstant
+                               && cst.booleanValue() == true;
+               boolean isConditionOptimizedFalse = cst != NotAConstant
+                               && cst.booleanValue() == false;
+
                // process the THEN part
                FlowInfo thenFlowInfo = flowInfo.initsWhenTrue().copy();
                if (isConditionOptimizedFalse) {
-                       thenFlowInfo.setReachMode(FlowInfo.UNREACHABLE); 
+                       thenFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
                }
                if (this.thenStatement != null) {
                        // Save info for code gen
-                       thenInitStateIndex =
-                               currentScope.methodScope().recordInitializationStates(thenFlowInfo);
-                       if (!thenFlowInfo.complainIfUnreachable(thenStatement, currentScope, false)) {
-                               thenFlowInfo =
-                                       thenStatement.analyseCode(currentScope, flowContext, thenFlowInfo);
+                       thenInitStateIndex = currentScope.methodScope()
+                                       .recordInitializationStates(thenFlowInfo);
+                       if (!thenFlowInfo.complainIfUnreachable(thenStatement,
+                                       currentScope, false)) {
+                               thenFlowInfo = thenStatement.analyseCode(currentScope,
+                                               flowContext, thenFlowInfo);
                        }
-               };
+               }
+               ;
                // optimizing the jump around the ELSE part
                this.thenExit = !thenFlowInfo.isReachable();
 
                // process the ELSE part
                FlowInfo elseFlowInfo = flowInfo.initsWhenFalse().copy();
                if (isConditionOptimizedTrue) {
-                       elseFlowInfo.setReachMode(FlowInfo.UNREACHABLE); 
+                       elseFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
                }
                if (this.elseStatement != null) {
                        // Save info for code gen
-                       elseInitStateIndex =
-                               currentScope.methodScope().recordInitializationStates(elseFlowInfo);
-                       if (!elseFlowInfo.complainIfUnreachable(elseStatement, currentScope, false)) {
-                               elseFlowInfo =
-                                       elseStatement.analyseCode(currentScope, flowContext, elseFlowInfo);
+                       elseInitStateIndex = currentScope.methodScope()
+                                       .recordInitializationStates(elseFlowInfo);
+                       if (!elseFlowInfo.complainIfUnreachable(elseStatement,
+                                       currentScope, false)) {
+                               elseFlowInfo = elseStatement.analyseCode(currentScope,
+                                               flowContext, elseFlowInfo);
                        }
                }
 
                boolean elseExit = !elseFlowInfo.isReachable();
-               
+
                // merge THEN & ELSE initializations
                FlowInfo mergedInfo;
-//             if (isConditionOptimizedTrue){
-//                     if (!this.thenExit) {
-//                             mergedInfo = thenFlowInfo;
-//                     } else {
-//                             mergedInfo = elseFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
-//                     }
-//
-//             } else if (isConditionOptimizedFalse) {
-//                     if (!elseExit) {
-//                             mergedInfo = elseFlowInfo;
-//                     } else {
-//                             mergedInfo = thenFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
-//                     }
-//
-//             } else {
-//                     mergedInfo = thenFlowInfo.mergedWith(elseFlowInfo.unconditionalInits());
-//             }
-               if (isConditionOptimizedTrue){
+               // if (isConditionOptimizedTrue){
+               // if (!this.thenExit) {
+               // mergedInfo = thenFlowInfo;
+               // } else {
+               // mergedInfo = elseFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
+               // }
+               //
+               // } else if (isConditionOptimizedFalse) {
+               // if (!elseExit) {
+               // mergedInfo = elseFlowInfo;
+               // } else {
+               // mergedInfo = thenFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
+               // }
+               //
+               // } else {
+               // mergedInfo =
+               // thenFlowInfo.mergedWith(elseFlowInfo.unconditionalInits());
+               // }
+               if (isConditionOptimizedTrue) {
                        if (!this.thenExit) {
-                               mergedInfo = thenFlowInfo.addPotentialInitializationsFrom(elseFlowInfo);
+                               mergedInfo = thenFlowInfo
+                                               .addPotentialInitializationsFrom(elseFlowInfo);
                        } else {
                                mergedInfo = elseFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
                        }
 
                } else if (isConditionOptimizedFalse) {
                        if (!elseExit) {
-                               mergedInfo = elseFlowInfo.addPotentialInitializationsFrom(thenFlowInfo);
+                               mergedInfo = elseFlowInfo
+                                               .addPotentialInitializationsFrom(thenFlowInfo);
                        } else {
                                mergedInfo = thenFlowInfo.setReachMode(FlowInfo.UNREACHABLE);
                        }
 
                } else {
-                       mergedInfo = thenFlowInfo.mergedWith(elseFlowInfo.unconditionalInits());
+                       mergedInfo = thenFlowInfo.mergedWith(elseFlowInfo
+                                       .unconditionalInits());
                }
 
-               mergedInitStateIndex =
-                       currentScope.methodScope().recordInitializationStates(mergedInfo);
+               mergedInitStateIndex = currentScope.methodScope()
+                               .recordInitializationStates(mergedInfo);
                return mergedInfo;
        }
 
        /**
         * If code generation
-        *
-        * @param currentScope net.sourceforge.phpdt.internal.compiler.lookup.BlockScope
-        * @param codeStream net.sourceforge.phpdt.internal.compiler.codegen.CodeStream
+        * 
+        * @param currentScope
+        *            net.sourceforge.phpdt.internal.compiler.lookup.BlockScope
+        * @param codeStream
+        *            net.sourceforge.phpdt.internal.compiler.codegen.CodeStream
         */
-//     public void generateCode(BlockScope currentScope, CodeStream codeStream) {
-//
-//             if ((this.bits & IsReachableMASK) == 0) {
-//                     return;
-//             }
-//             int pc = codeStream.position;
-//             Label endifLabel = new Label(codeStream);
-//
-//             // optimizing the then/else part code gen
-//             Constant cst;
-//             boolean hasThenPart = 
-//                     !(((cst = this.condition.optimizedBooleanConstant()) != NotAConstant
-//                                     && cst.booleanValue() == false)
-//                             || this.thenStatement == null
-//                             || this.thenStatement.isEmptyBlock());
-//             boolean hasElsePart =
-//                     !((cst != NotAConstant && cst.booleanValue() == true)
-//                             || this.elseStatement == null
-//                             || this.elseStatement.isEmptyBlock());
-//
-//             if (hasThenPart) {
-//                     Label falseLabel;
-//                     // generate boolean condition
-//                     this.condition.generateOptimizedBoolean(
-//                             currentScope,
-//                             codeStream,
-//                             null,
-//                             (falseLabel = new Label(codeStream)),
-//                             true);
-//                     // May loose some local variable initializations : affecting the local variable attributes
-//                     if (thenInitStateIndex != -1) {
-//                             codeStream.removeNotDefinitelyAssignedVariables(
-//                                     currentScope,
-//                                     thenInitStateIndex);
-//                             codeStream.addDefinitelyAssignedVariables(currentScope, thenInitStateIndex);
-//                     }
-//                     // generate then statement
-//                     this.thenStatement.generateCode(currentScope, codeStream);
-//                     // jump around the else statement
-//                     if (hasElsePart && !thenExit) {
-//                             this.thenStatement.branchChainTo(endifLabel);
-//                             int position = codeStream.position;
-//                             codeStream.goto_(endifLabel);
-//                             codeStream.updateLastRecordedEndPC(position);
-//                             //goto is tagged as part of the thenAction block
-//                     }
-//                     falseLabel.place();
-//             } else {
-//                     if (hasElsePart) {
-//                             // generate boolean condition
-//                             this.condition.generateOptimizedBoolean(
-//                                     currentScope,
-//                                     codeStream,
-//                                     endifLabel,
-//                                     null,
-//                                     true);
-//                     } else {
-//                             // generate condition side-effects
-//                             this.condition.generateCode(currentScope, codeStream, false);
-//                             codeStream.recordPositionsFrom(pc, this.sourceStart);
-//                     }
-//             }
-//             // generate else statement
-//             if (hasElsePart) {
-//                     // May loose some local variable initializations : affecting the local variable attributes
-//                     if (elseInitStateIndex != -1) {
-//                             codeStream.removeNotDefinitelyAssignedVariables(
-//                                     currentScope,
-//                                     elseInitStateIndex);
-//                             codeStream.addDefinitelyAssignedVariables(currentScope, elseInitStateIndex);
-//                     }
-//                     this.elseStatement.generateCode(currentScope, codeStream);
-//             }
-//             endifLabel.place();
-//             // May loose some local variable initializations : affecting the local variable attributes
-//             if (mergedInitStateIndex != -1) {
-//                     codeStream.removeNotDefinitelyAssignedVariables(
-//                             currentScope,
-//                             mergedInitStateIndex);
-//             }
-//             codeStream.recordPositionsFrom(pc, this.sourceStart);
-//     }
+       // public void generateCode(BlockScope currentScope, CodeStream codeStream)
+       // {
+       //
+       // if ((this.bits & IsReachableMASK) == 0) {
+       // return;
+       // }
+       // int pc = codeStream.position;
+       // Label endifLabel = new Label(codeStream);
+       //
+       // // optimizing the then/else part code gen
+       // Constant cst;
+       // boolean hasThenPart =
+       // !(((cst = this.condition.optimizedBooleanConstant()) != NotAConstant
+       // && cst.booleanValue() == false)
+       // || this.thenStatement == null
+       // || this.thenStatement.isEmptyBlock());
+       // boolean hasElsePart =
+       // !((cst != NotAConstant && cst.booleanValue() == true)
+       // || this.elseStatement == null
+       // || this.elseStatement.isEmptyBlock());
+       //
+       // if (hasThenPart) {
+       // Label falseLabel;
+       // // generate boolean condition
+       // this.condition.generateOptimizedBoolean(
+       // currentScope,
+       // codeStream,
+       // null,
+       // (falseLabel = new Label(codeStream)),
+       // true);
+       // // May loose some local variable initializations : affecting the local
+       // variable attributes
+       // if (thenInitStateIndex != -1) {
+       // codeStream.removeNotDefinitelyAssignedVariables(
+       // currentScope,
+       // thenInitStateIndex);
+       // codeStream.addDefinitelyAssignedVariables(currentScope,
+       // thenInitStateIndex);
+       // }
+       // // generate then statement
+       // this.thenStatement.generateCode(currentScope, codeStream);
+       // // jump around the else statement
+       // if (hasElsePart && !thenExit) {
+       // this.thenStatement.branchChainTo(endifLabel);
+       // int position = codeStream.position;
+       // codeStream.goto_(endifLabel);
+       // codeStream.updateLastRecordedEndPC(position);
+       // //goto is tagged as part of the thenAction block
+       // }
+       // falseLabel.place();
+       // } else {
+       // if (hasElsePart) {
+       // // generate boolean condition
+       // this.condition.generateOptimizedBoolean(
+       // currentScope,
+       // codeStream,
+       // endifLabel,
+       // null,
+       // true);
+       // } else {
+       // // generate condition side-effects
+       // this.condition.generateCode(currentScope, codeStream, false);
+       // codeStream.recordPositionsFrom(pc, this.sourceStart);
+       // }
+       // }
+       // // generate else statement
+       // if (hasElsePart) {
+       // // May loose some local variable initializations : affecting the local
+       // variable attributes
+       // if (elseInitStateIndex != -1) {
+       // codeStream.removeNotDefinitelyAssignedVariables(
+       // currentScope,
+       // elseInitStateIndex);
+       // codeStream.addDefinitelyAssignedVariables(currentScope,
+       // elseInitStateIndex);
+       // }
+       // this.elseStatement.generateCode(currentScope, codeStream);
+       // }
+       // endifLabel.place();
+       // // May loose some local variable initializations : affecting the local
+       // variable attributes
+       // if (mergedInitStateIndex != -1) {
+       // codeStream.removeNotDefinitelyAssignedVariables(
+       // currentScope,
+       // mergedInitStateIndex);
+       // }
+       // codeStream.recordPositionsFrom(pc, this.sourceStart);
+       // }
        public StringBuffer printStatement(int indent, StringBuffer output) {
 
                printIndent(indent, output).append("if ("); //$NON-NLS-1$
-               condition.printExpression(0, output).append(")\n");     //$NON-NLS-1$ 
+               condition.printExpression(0, output).append(")\n"); //$NON-NLS-1$ 
                thenStatement.printStatement(indent + 2, output);
                if (elseStatement != null) {
                        output.append('\n');
@@ -253,9 +268,11 @@ public class IfStatement extends Statement {
                }
                return output;
        }
+
        public void resolve(BlockScope scope) {
 
-               TypeBinding type = condition.resolveTypeExpecting(scope, BooleanBinding);
+               TypeBinding type = condition
+                               .resolveTypeExpecting(scope, BooleanBinding);
                condition.implicitWidening(type, type);
                if (thenStatement != null)
                        thenStatement.resolve(scope);
@@ -267,16 +284,15 @@ public class IfStatement extends Statement {
 
                String inFront, s = tabString(tab);
                inFront = s;
-               s = s + "if (" + condition.toStringExpression() + ") \n";       //$NON-NLS-1$ //$NON-NLS-2$
+               s = s + "if (" + condition.toStringExpression() + ") \n"; //$NON-NLS-1$ //$NON-NLS-2$
                s = s + thenStatement.toString(tab + 2) + ";"; //$NON-NLS-1$
                if (elseStatement != null)
-                       s = s + "\n" + inFront + "else\n" + elseStatement.toString(tab + 2) + ";"; //$NON-NLS-2$ //$NON-NLS-1$ //$NON-NLS-3$
+                       s = s
+                                       + "\n" + inFront + "else\n" + elseStatement.toString(tab + 2) + ";"; //$NON-NLS-2$ //$NON-NLS-1$ //$NON-NLS-3$
                return s;
        }
 
-       public void traverse(
-           ASTVisitor visitor,
-               BlockScope blockScope) {
+       public void traverse(ASTVisitor visitor, BlockScope blockScope) {
 
                if (visitor.visit(this, blockScope)) {
                        condition.traverse(visitor, blockScope);