public string GetNodeText(PegNode node) { return source.Substring(node.match_.posBeg_, node.match_.Length).Trim(); }