private PLink_Root.UserCnst MkUserCnst(PLink_Root.UserCnstKind kind, Span span) { var cnst = PLink_Root.MkUserCnst(kind); cnst.Span = span; return(cnst); }
private void AddToEventList(PLink_Root.UserCnstKind kind, Span span) { crntEventList.Add(MkUserCnst(kind, span)); }