/** * Creates a new complete constructor {@code AConcurrentExpressionTraceCoreDefinition} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param defs_ the {@link NodeList} node for the {@code defs} child of this {@link AConcurrentExpressionTraceCoreDefinition} node */ public AConcurrentExpressionTraceCoreDefinition(ILexLocation location_, List<? extends PTraceDefinition> defs_) { super(location_); this.setDefs(defs_); }