import net.sourceforge.phpdt.internal.compiler.lookup.LocalVariableBinding;
import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
-
public class LocalDeclaration extends AbstractVariableDeclaration {
public LocalVariableBinding binding;
- public LocalDeclaration(
- Expression expr,
- char[] name,
- int sourceStart,
- int sourceEnd) {
+ public LocalDeclaration(Expression expr, char[] name, int sourceStart,
+ int sourceEnd) {
initialization = expr;
this.name = name;
}
}
- public FlowInfo analyseCode(
- BlockScope currentScope,
- FlowContext flowContext,
- FlowInfo flowInfo) {
+ public FlowInfo analyseCode(BlockScope currentScope,
+ FlowContext flowContext, FlowInfo flowInfo) {
// record variable initialization if any
if (flowInfo.isReachable()) {
- bits |= IsLocalDeclarationReachableMASK; // only set if actually reached
+ bits |= IsLocalDeclarationReachableMASK; // only set if actually
+ // reached
}
- if (initialization == null)
+ if (initialization == null)
return flowInfo;
-
- flowInfo =
- initialization
- .analyseCode(currentScope, flowContext, flowInfo)
- .unconditionalInits();
+
+ flowInfo = initialization.analyseCode(currentScope, flowContext,
+ flowInfo).unconditionalInits();
// final int i = (i = 0);
// no need to complain since (i = 0) part will get the blame
- //if (binding.isFinal() && flowInfo.isPotentiallyAssigned(binding)) {
- // currentScope.problemReporter().duplicateInitializationOfFinalLocal(binding, this);
- //}
-
+ // if (binding.isFinal() && flowInfo.isPotentiallyAssigned(binding)) {
+ // currentScope.problemReporter().duplicateInitializationOfFinalLocal(binding,
+ // this);
+ // }
+
flowInfo.markAsDefinitelyAssigned(binding);
return flowInfo;
}
public void checkModifiers() {
- //only potential valid modifier is <<final>>
+ // only potential valid modifier is <<final>>
if (((modifiers & AccJustFlag) & ~AccFinal) != 0)
- //AccModifierProblem -> other (non-visibility problem)
- //AccAlternateModifierProblem -> duplicate modifier
- //AccModifierProblem | AccAlternateModifierProblem -> visibility problem"
+ // AccModifierProblem -> other (non-visibility problem)
+ // AccAlternateModifierProblem -> duplicate modifier
+ // AccModifierProblem | AccAlternateModifierProblem -> visibility
+ // problem"
- modifiers = (modifiers & ~AccAlternateModifierProblem) | AccModifierProblem;
+ modifiers = (modifiers & ~AccAlternateModifierProblem)
+ | AccModifierProblem;
}
/**
- * Code generation for a local declaration:
- * normal assignment to a local variable + unused variable handling
+ * Code generation for a local declaration: normal assignment to a local
+ * variable + unused variable handling
*/
-// public void generateCode(BlockScope currentScope, CodeStream codeStream) {
-//
-// // even if not reachable, variable must be added to visible if allocated (28298)
-// if (binding.resolvedPosition != -1) {
-// codeStream.addVisibleLocalVariable(binding);
-// }
-// if ((bits & IsReachableMASK) == 0) {
-// return;
-// }
-// int pc = codeStream.position;
-// Constant inlinedValue;
-//
-// // something to initialize?
-// if (initialization != null) {
-// // initialize to constant value?
-// if ((inlinedValue = initialization.constant) != NotAConstant) {
-// // forget initializing unused or final locals set to constant value (final ones are inlined)
-// if (binding.resolvedPosition != -1) { // may need to preserve variable
-// int initPC = codeStream.position;
-// codeStream.generateConstant(inlinedValue, initialization.implicitConversion);
-// codeStream.recordPositionsFrom(initPC, initialization.sourceStart);
-// codeStream.store(binding, false);
-// binding.recordInitializationStartPC(codeStream.position);
-// // codeStream.lastInitStateIndexWhenRemovingInits = -2; // reinitialize remove index
-// // codeStream.lastInitStateIndexWhenAddingInits = -2; // reinitialize add index
-// }
-// } else { // initializing to non-constant value
-// initialization.generateCode(currentScope, codeStream, true);
-// // if binding unused generate then discard the value
-// if (binding.resolvedPosition != -1) {
-// // 26903, need extra cast to store null in array local var
-// if (binding.type.isArrayType()
-// && (initialization.resolvedType == NullBinding // arrayLoc = null
-// || ((initialization instanceof CastExpression) // arrayLoc = (type[])null
-// && (((CastExpression)initialization).innermostCastedExpression().resolvedType == NullBinding)))){
-// codeStream.checkcast(binding.type);
-// }
-// codeStream.store(binding, false);
-// if (binding.initializationCount == 0) {
-// /* Variable may have been initialized during the code initializing it
-// e.g. int i = (i = 1);
-// */
-// binding.recordInitializationStartPC(codeStream.position);
-// // codeStream.lastInitStateIndexWhenRemovingInits = -2; // reinitialize remove index
-// // codeStream.lastInitStateIndexWhenAddingInits = -2; // reinitialize add index
-// }
-// } else {
-// if ((binding.type == LongBinding) || (binding.type == DoubleBinding)) {
-// codeStream.pop2();
-// } else {
-// codeStream.pop();
-// }
-// }
-// }
-// }
-// codeStream.recordPositionsFrom(pc, this.sourceStart);
-// }
-
+ // public void generateCode(BlockScope currentScope, CodeStream codeStream)
+ // {
+ //
+ // // even if not reachable, variable must be added to visible if allocated
+ // (28298)
+ // if (binding.resolvedPosition != -1) {
+ // codeStream.addVisibleLocalVariable(binding);
+ // }
+ // if ((bits & IsReachableMASK) == 0) {
+ // return;
+ // }
+ // int pc = codeStream.position;
+ // Constant inlinedValue;
+ //
+ // // something to initialize?
+ // if (initialization != null) {
+ // // initialize to constant value?
+ // if ((inlinedValue = initialization.constant) != NotAConstant) {
+ // // forget initializing unused or final locals set to constant value
+ // (final ones are inlined)
+ // if (binding.resolvedPosition != -1) { // may need to preserve variable
+ // int initPC = codeStream.position;
+ // codeStream.generateConstant(inlinedValue,
+ // initialization.implicitConversion);
+ // codeStream.recordPositionsFrom(initPC, initialization.sourceStart);
+ // codeStream.store(binding, false);
+ // binding.recordInitializationStartPC(codeStream.position);
+ // // codeStream.lastInitStateIndexWhenRemovingInits = -2; // reinitialize
+ // remove index
+ // // codeStream.lastInitStateIndexWhenAddingInits = -2; // reinitialize add
+ // index
+ // }
+ // } else { // initializing to non-constant value
+ // initialization.generateCode(currentScope, codeStream, true);
+ // // if binding unused generate then discard the value
+ // if (binding.resolvedPosition != -1) {
+ // // 26903, need extra cast to store null in array local var
+ // if (binding.type.isArrayType()
+ // && (initialization.resolvedType == NullBinding // arrayLoc = null
+ // || ((initialization instanceof CastExpression) // arrayLoc = (type[])null
+ // &&
+ // (((CastExpression)initialization).innermostCastedExpression().resolvedType
+ // == NullBinding)))){
+ // codeStream.checkcast(binding.type);
+ // }
+ // codeStream.store(binding, false);
+ // if (binding.initializationCount == 0) {
+ // /* Variable may have been initialized during the code initializing it
+ // e.g. int i = (i = 1);
+ // */
+ // binding.recordInitializationStartPC(codeStream.position);
+ // // codeStream.lastInitStateIndexWhenRemovingInits = -2; // reinitialize
+ // remove index
+ // // codeStream.lastInitStateIndexWhenAddingInits = -2; // reinitialize add
+ // index
+ // }
+ // } else {
+ // if ((binding.type == LongBinding) || (binding.type == DoubleBinding)) {
+ // codeStream.pop2();
+ // } else {
+ // codeStream.pop();
+ // }
+ // }
+ // }
+ // }
+ // codeStream.recordPositionsFrom(pc, this.sourceStart);
+ // }
public String name() {
return String.valueOf(name);
scope.problemReporter().variableTypeCannotBeVoid(this);
return;
}
- if (tb.isArrayType() && ((ArrayBinding) tb).leafComponentType == VoidBinding) {
+ if (tb.isArrayType()
+ && ((ArrayBinding) tb).leafComponentType == VoidBinding) {
scope.problemReporter().variableTypeCannotBeVoidArray(this);
return;
}
// the name already exists... may carry on with the first binding...
scope.problemReporter().redefineLocal(this);
} else {
- if ((modifiers & AccFinal)!= 0 && this.initialization == null) {
+ if ((modifiers & AccFinal) != 0 && this.initialization == null) {
modifiers |= AccBlankFinal;
}
binding = new LocalVariableBinding(this, tb, modifiers, false);
scope.addLocalVariable(binding);
binding.constant = NotAConstant;
// allow to recursivelly target the binding....
- // the correct constant is harmed if correctly computed at the end of this method
+ // the correct constant is harmed if correctly computed at the end
+ // of this method
}
if (tb == null) {
if (initialization != null)
- initialization.resolveType(scope); // want to report all possible errors
+ initialization.resolveType(scope); // want to report all
+ // possible errors
return;
}
- // store the constant for final locals
+ // store the constant for final locals
if (initialization != null) {
if (initialization instanceof ArrayInitializer) {
- TypeBinding initTb = initialization.resolveTypeExpecting(scope, tb);
+ TypeBinding initTb = initialization.resolveTypeExpecting(scope,
+ tb);
if (initTb != null) {
((ArrayInitializer) initialization).binding = (ArrayBinding) initTb;
initialization.implicitWidening(tb, initTb);
} else {
TypeBinding initTb = initialization.resolveType(scope);
if (initTb != null) {
- if (initialization.isConstantValueOfTypeAssignableToType(initTb, tb)
- || (tb.isBaseType() && BaseTypeBinding.isWidening(tb.id, initTb.id))
- || initTb.isCompatibleWith(tb))
+ if (initialization.isConstantValueOfTypeAssignableToType(
+ initTb, tb)
+ || (tb.isBaseType() && BaseTypeBinding.isWidening(
+ tb.id, initTb.id))
+ || initTb.isCompatibleWith(tb))
initialization.implicitWidening(tb, initTb);
else
- scope.problemReporter().typeMismatchError(initTb, tb, this);
+ scope.problemReporter().typeMismatchError(initTb, tb,
+ this);
}
}
// change the constant in the binding when it is final
- // (the optimization of the constant propagation will be done later on)
+ // (the optimization of the constant propagation will be done later
+ // on)
// cast from constant actual type to variable type
- binding.constant =
- binding.isFinal()
- ? initialization.constant.castTo((tb.id << 4) + initialization.constant.typeID())
+ binding.constant = binding.isFinal() ? initialization.constant
+ .castTo((tb.id << 4) + initialization.constant.typeID())
: NotAConstant;
}
}
git://git.phpeclipse.com / phpeclipse.git / blobdiff