116117118119120121122123124125126
} Argument first = args.firstElement(); if (first instanceof Token) { return -1; } int commonSize = first.asBranch().size(); for (int i=1; i<args.size(); i++) { Argument next = args.get(i); if (next instanceof Token) { return -1; }
122123124125126127128129130131132
for (int i=1; i<args.size(); i++) { Argument next = args.get(i); if (next instanceof Token) { return -1; } int size = next.asBranch().size(); if (size!=commonSize) { return -1; } } return commonSize;