/** * Creates a new tree field only constructor {@code AStateDefinition TAG=state} 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 fields_ the {@link NodeList} node for the {@code fields} child of this {@link AStateDefinition} node * @param invPattern_ the {@link PPattern} node for the {@code invPattern} child of this {@link AStateDefinition} node * @param invExpression_ the {@link PExp} node for the {@code invExpression} child of this {@link AStateDefinition} node * @param initPattern_ the {@link PPattern} node for the {@code initPattern} child of this {@link AStateDefinition} node * @param initExpression_ the {@link PExp} node for the {@code initExpression} child of this {@link AStateDefinition} node * @param recordDefinition_ the {@link ALocalDefinition} node for the {@code recordDefinition} child of this {@link AStateDefinition} node */ public AStateDefinition(ILexLocation location_, NameScope nameScope_, Boolean used_, AAccessSpecifierAccessSpecifier access_, Pass pass_, List<? extends AFieldField> fields_, PPattern invPattern_, PExp invExpression_, PPattern initPattern_, PExp initExpression_, ALocalDefinition recordDefinition_) { super(location_,null,nameScope_,used_,null,access_,null,pass_); this.setFields(fields_); this.setInvPattern(invPattern_); this.setInvExpression(invExpression_); this.setInitPattern(initPattern_); this.setInitExpression(initExpression_); this.setRecordDefinition(recordDefinition_); this.setCanBeExecuted(false); }
this.setRecordDefinition(recordDefinition_); this.setRecordType(recordType_); this.setCanBeExecuted(canBeExecuted_);
node.getState().setCanBeExecuted(canBeExecuted); node.setType(AstFactory.newABooleanBasicType(node.getLocation())); return node.getType();