Как сбросить список _version для предотвращения повторяющихся состояний в Spec Explorer

Question

Я создал проект Spec Explorer, который имеет список как системную переменную. Почти во всех правилах этот список адаптирован для получения правильных результатов. Но когда я исследую свой проект, я получаю повторяющиеся состояния. Если сравнивать эти состояния с той лишь разницей я нахожу:

_version: 25 System.Int32 
_version: 23 System.Int32 

После прибегая к помощи, почему это происходит, я обнаружил, что каждый раз, когда строка изменяется изменения версии. Так что, хотя версии 23 и 25 содержат одну и ту же строку, номер версии заставляет Spec Explorer думать, что они разные, поэтому он создает 2 состояния. В любом случае, чтобы исправить это? Как сброс строки или, возможно, есть способ заставить Spec Explorer принять это.

Answer 1

Вот идея для возможной причины:

Богатые государственные объекты, такие как Set, последовательности или карты неизменны. Это означает, что если вы хотите добавить элемент, метод «Добавить» возвращает новый объект с измененным содержимым. Важно то, что этот возвращенный объект по-прежнему обнаружен как один и тот же экземпляр (но измененный контент) в Spec Explorer. Поэтому вы должны всегда повторно использовать этот возвращенный объект. Вы можете сделать это путем присвоения измененного объекта обратно к статическому переменной состояния вы программируете модели:

_version = _version.Add(15); 

Если в вашей программе вместо совершенно новый объект сейчас создается при каждом вызове вашего метода правила с " новый "-оператор, и этот новый объект копируется в переменную статического состояния вашей программной модели, вы всегда будете иметь новый экземпляр, а Spec Explorer будет обнаруживать их как разные экземпляры, даже если контент один и тот же.

_newversion = new Set<int>(); 
... 
_version = _newversion; 

Надеется, что это помогает в вашем случае ...