BUG: Other Language Consumers Can Change a Final Field (325450)

MORE INFORMATION

Steps to Reproduce the Behavior

1. In Visual J# .NET, create a new Class Library project.
2. Declare a final field of type java.lang.double in a Java language class and initialize to a value.
3. Add a Console Application project for another language, such as Microsoft Visual C# .NET or Microsoft Visual Basic .NET.
4. Add the Visual J# .NET project as a reference to the new project.
5. Consume the final double by setting its value to something different from its initial value.
6. Build the solution.
7. Step into the console application in the debugger and watch the final field.

Note that the debugger shows the final double field to take the new value, even if you step into the Visual J# .NET code. Printing the double displays the new value.

For compile-time constants like primitive types and string, the values of these final fields in code that is compiled in Visual J# .NET are never changed in Visual J# .NET because these field references are replaced by their compile-time constant values while the code is compiled.

// Visual J# producer class
class Repro
{
	public final Double d = new Double(10.5);
 
	public void method()
	{
		System.out.println("value = " + d.toString());
	}

}
				

//C# consumer class
class CSUser 
{
	public static void Main() 
	{
		Repro r = new Repro();
		r.d = new java.lang.Double(5.1);
		r.method();
	}
}