internal WorldState(ControlPoint cp, GlobalEnvironment ge)
{
this.cp = cp;
this.ge = ge;
this.defaultObject = Constant.DefaultObject;
this.eofObject = Constant.EofObject;
this.aux = Constant.theAuxMarker;
this.key = Constant.theKeyMarker;
this.optional = Constant.theOptionalMarker;
this.rest = Constant.theRestMarker;
this.externalUnassigned = Constant.ExternalUnassigned;
this.unspecific = Constant.Unspecific;
}