Beispiel #1
0
        private PLink_Root.UserCnst MkUserCnst(PLink_Root.UserCnstKind kind, Span span)
        {
            var cnst = PLink_Root.MkUserCnst(kind);

            cnst.Span = span;
            return(cnst);
        }
Beispiel #2
0
 private void AddToEventList(PLink_Root.UserCnstKind kind, Span span)
 {
     crntEventList.Add(MkUserCnst(kind, span));
 }