public ResolveContext (IMemberContext mc)
{
if (mc == null)
throw new ArgumentNullException ();
MemberContext = mc;
//
// The default setting comes from the command line option
//
if (RootContext.Checked)
flags |= Options.CheckedScope;
//
// The constant check state is always set to true
//
flags |= Options.ConstantCheckState;
}