Fix Environment Ancestries

This is an internal method and exposed so that this aspect of unitizer is documented for package users (see Details).

# S4 method for unitizerItems,unitizer
healEnvs(x, y, ...)

unitizerItems object


unitizer object x was generated from


unused, here for inheriting methods


Environment healing is necessary because when we let the user pick and chose which tests to store and which ones to reject, there may no longer be a clear ancestry chain within the remaining tests.

The healing process is somewhat complex and full of compromises. We are attempting to create a self consistent set of nested parent environments for each test, but at the same time, we don't want to store all the combinations of reference and new objects.

We only store new objects in unitizer, with the lone exception of objects associated to a test environment. These will include any assignments that occur just prior to a test, as well as any objects created by the actual test.

There are two ways in which we modify the environment ancestry. If the user decides to not store some new tests, then the objects created in between the previous new stored test and the next new stored test are all moved to the next new stored test, and the previous new stored test becomes the parent of the next new stored test.

The second way relates to when the user decides to keep a reference test over a matching new test. This is a lot more complicated because we do not preserve the reference test environment ancestry. Effectively, we need to graft the reference test to the new environment ancestry.

If a reference test that is being kept matches directly to a new test, then the parent of that new test becomes the parent of the reference test.

If there is no direct match, but there are child reference tests that match to a new item, then the parent is the youngest new test that is older than the new test that was matched and is kept. If no new tests meet this criterion, then base.env is the parent.

If there is no direct match, and there are no child reference tests that are being kept that do match to a kept new item, then the parent will be the last new test that is kept.

The main takeaway from all this is that reference tests don't really keep their evaluation environment. Often this environment is similar to the new environment. When there are difference between the two, the output of ls is customized to highlight which objects were actually available/unmodifed at the time of the reference test evaluation. Object names will have the following symbols appended to explain the object status:

  • ': object exists in browsing environment, but not the same as it was when test was evalaluated

  • *: object was present during test evaluation but is not available in unitizer anymore

  • **: object was not present during test evaluation, but exists in current environment




Could be more robust by ensuring that items in x actually do come from y. This is particularly important since when we re-assemble the final list, we don't actually use x at all. Signature for this should probably ultimately change to be something like c("unitizer", "x") where x is just a data frame with column 1 the item index, and column 2 whether it originated from "new" or "ref"

See Also


  • healEnvs
  • healEnvs,unitizerItems,unitizer-method
Documentation reproduced from package unitizer, version 1.4.4, License: GPL (>= 2)

Community examples

Looks like there are no examples yet.