[Mono-dev] Profiler and coverage problem?

[Csaba Balazs]

Hello,

I simplified the problem:

MinProba.cs:

using System;

class ParentClass {
	private int tval = 1;
	public int PValue {
		get {
			return 2*tval;
		}
	}
}

class ChildClass : ParentClass {
	public void Func() {
		Console.WriteLine("Child value: " + PValue);
	}
}

public class MinProba {
	public static void Main(String[] args) {
		ChildClass cc = new ChildClass();
		cc.Func();
	}
}



Compiling:
gmcs -debug MinProba.cs

Running with trace:
mono --trace MinProba.exe > MinProba.exe.trace

Running with Monocov:
mono --debug --profile=monocov MinProba.exe


It says, the ParentClass.PValue (get_PValue) is not used, but we can see its
value on the screen. Why isn't it covered? I would like it to be in the COV
file.

Thanks in advance,


Csaba