/** * Creates a new complete constructor {@code AClassInvariantStm} 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 name_ the {@link ILexNameToken} node for the {@code name} child of this {@link AClassInvariantStm} node * @param invDefs_ the {@link GraphNodeList} <b>graph</a> node for the {@code invDefs} child of this {@link AClassInvariantStm} node. * <i>The parent of this {@code invDefs } will not be changed by adding it to this node.</i> */ public AClassInvariantStm(ILexLocation location_, PType type_, ILexNameToken name_, List<? extends PDefinition> invDefs_) { super(location_,type_); this.setName(name_); this.setInvDefs(invDefs_); }
public static AClassInvariantStm newAClassInvariantStm(ILexNameToken name, List<PDefinition> invdefs) { AClassInvariantStm result = new AClassInvariantStm(); initStatement(result, name.getLocation()); result.setName(name); result.setInvDefs(invdefs); name.getLocation().executable(false); return result; }