Lines 5054-5062
Link Here
|
5054 |
} |
5054 |
} |
5055 |
return result; |
5055 |
return result; |
5056 |
} |
5056 |
} |
5057 |
|
5057 |
static int count = 0; |
5058 |
public synchronized void variablePut(String variableName, IPath variablePath){ |
5058 |
public synchronized void variablePut(String variableName, IPath variablePath){ |
5059 |
|
5059 |
System.out.println("variablePut ("+variableName+","+variablePath+") #"+(++count)); |
5060 |
// set/unset the initialization in progress |
5060 |
// set/unset the initialization in progress |
5061 |
HashSet initializations = variableInitializationInProgress(); |
5061 |
HashSet initializations = variableInitializationInProgress(); |
5062 |
if (variablePath == VARIABLE_INITIALIZATION_IN_PROGRESS) { |
5062 |
if (variablePath == VARIABLE_INITIALIZATION_IN_PROGRESS) { |
Lines 5076-5082
Link Here
|
5076 |
this.variablesWithInitializer.remove(variableName); |
5076 |
this.variablesWithInitializer.remove(variableName); |
5077 |
this.deprecatedVariables.remove(variableName); |
5077 |
this.deprecatedVariables.remove(variableName); |
5078 |
} else { |
5078 |
} else { |
5079 |
this.variables.put(variableName, variablePath); |
5079 |
if (count != 1) |
|
|
5080 |
this.variables.put(variableName, variablePath); |
5081 |
else |
5082 |
System.out.println("DISCARD this.variables.put("+variableName+", "+variablePath+")"); |
5080 |
} |
5083 |
} |
5081 |
// discard obsoleted information about previous session |
5084 |
// discard obsoleted information about previous session |
5082 |
this.previousSessionVariables.remove(variableName); |
5085 |
this.previousSessionVariables.remove(variableName); |