Esempio n. 1
0
        /* Changes originalFact. */
        public void MeetInto([NonNull] object originalFact,
                             [NonNull] object newFact, bool warn)
        {
            NullDerefFrame original = (NullDerefFrame)originalFact;
            NullDerefFrame incoming = (NullDerefFrame)newFact;

            original.MergeWith(incoming);
        }