/** * Creates a new complete constructor {@code APreCondRuntimeErrorExpIR} 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 message_ the {@link String} node for the {@code message} child of this {@link APreCondRuntimeErrorExpIR} node */ public APreCondRuntimeErrorExpIR(SourceNode sourceNode_, Object tag_, List<? extends ClonableString> metaData_, STypeIR type_, String message_) { super(sourceNode_,tag_,metaData_,type_); this.setMessage(message_); }
/** * Creates a new tree field only constructor {@code APreCondRuntimeErrorExpIR TAG=preCond} 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 message_ the {@link String} node for the {@code message} child of this {@link APreCondRuntimeErrorExpIR} node */ public APreCondRuntimeErrorExpIR(STypeIR type_, String message_) { super(null,null,null,type_); this.setMessage(message_); }
runtimeError.setMessage(String.format("Precondition failure: pre_%s", node.getName()));