public ParseTreePattern(ParseTreePatternMatcher matcher,String pattern, int patternRuleIndex, ParseTree patternTree){this.matcher = matcher;this.patternRuleIndex = patternRuleIndex;this.pattern = pattern;this.patternTree = patternTree;}

public ParseTreePattern(ParseTreePatternMatcher matcher, string pattern, int patternRuleIndex, IParseTree patternTree){this.matcher = matcher;this.patternRuleIndex = patternRuleIndex;this.pattern = pattern;this.patternTree = patternTree;}
