Lines Matching refs:WithParam
56 * this array can be either a WithParam or a Param if no WithParam
161 else { // translate WithParam
200 * Then we visit the WithParam children of this CallTemplate and replace
201 * the Param with a corresponding WithParam having the same name.
213 // Replace a Param with a WithParam if they have the same name.
218 // Ignore if not WithParam
219 if (node instanceof WithParam) {
220 WithParam withParam = (WithParam)node;
232 else if (object instanceof WithParam
233 && ((WithParam)object).getName().equals(name)) {