public SyntacticalCoverNode(SyntacticalMatcher matcher, NodeView container)
        {
            this.container    = container;
            this.matcherLabel = matcher.Label;
            this.matcher      = matcher;

            this.matcherType = matcher.Type;

            matchedTokens = "";


            this.ChildAdded += new TreeNodeAddedHandler(OnChildAdded);
        }
 public MatchingArgs(SyntacticalMatcher matcher)
 {
     this.matcher = matcher;
 }