Return the intersection of this and otherInits, that is
one of:
the receiver updated in the following way:
intersection of definitely assigned variables,
union of potentially assigned variables,
similar operations for null,
or the receiver or otherInits if the other one is non
reachable.
otherInits is not affected, and is not returned either (no
need to protect the result).
Mitigate the definite and protected info of flowInfo, depending on what
this null info registry knows about potential assignments and messages
sends involving locals.
The method name prefix for methods that evaluate, in the
pre-state, old expressions appearing in history constraints,
for use in the post-state by constraint check methods.
Moves the resource of this package fragment root to the destination path
as specified by IResource.move(IPath,int,IProgressMonitor)
but excluding nested source folders.
Declares that the given source file has been successfully moved to the
given destination in the local file system, and requests that the
corresponding changes should now be made to the workspace resource tree.
Declares that the given source folder and its descendents have been
successfully moved to the given destination in the local file system,
and requests that the corresponding changes should now be made to the
workspace resource tree for the folder and all its descendents.
Declares that the given source project and its files and folders have
been successfully relocated in the local file system if required, and
requests that the rename and/or relocation should now be made to the
workspace resource tree for the project and all its descendents.
This operation moves resources (package fragments and compilation units) from their current
container to a specified destination container, optionally renaming the
elements.