Home/ Questions/Q 7930115
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-03T20:18:55+00:00

I have a utility class that takes a constructor parameter of an interface to

  • 0

I have a utility class that takes a constructor parameter of an interface to a repository class. This then gets assigned to a private field in the class. In various methods in the class I reference this interface private to do things.

I then ran Pex against this class and am getting a whole heap of null reference exceptions being thrown. After investigating this I found a attribute named PexAssumeNotNull. I have placed this agsint the constructor parameter and the private field to try and get around this problem. I have also added a null check in the constructor which throws a ArgumentNullException exception when a null is passed into the constructor.

I have now re-run the Pex Explorations over this class and am still getting the null reference exceptions.

My question is what do i need to do to not get these exceptions? Do I need to recreated the pex test classes and if so how do I do this?

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Use PexAssume.IsNotNull in the right places. A very flexible solution.

    This also allows for arbitrary conditions like someString.Length >= 3

    • 0