Example #1
0
 public PythonTree(PythonTree tree) {
   node = new CommonTree(tree.getNode());
   charStartIndex = tree.getCharStartIndex();
   charStopIndex = tree.getCharStopIndex();
 }