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; }