/** * Creates a new complete constructor {@code AImplicitOperationDefinition} 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 parameterPatterns_ the {@link NodeList} node for the {@code parameterPatterns} child of this {@link AImplicitOperationDefinition} node * @param result_ the {@link APatternTypePair} node for the {@code result} child of this {@link AImplicitOperationDefinition} node * @param externals_ the {@link NodeList} node for the {@code externals} child of this {@link AImplicitOperationDefinition} node * @param errors_ the {@link NodeList} node for the {@code errors} child of this {@link AImplicitOperationDefinition} node * @param stateDefinition_ the {@link PDefinition} <b>graph</a> node for the {@code stateDefinition} child of this {@link AImplicitOperationDefinition} node. * <i>The parent of this {@code stateDefinition } will not be changed by adding it to this node.</i> */ public AImplicitOperationDefinition(ILexLocation location_, ILexNameToken name_, NameScope nameScope_, Boolean used_, SClassDefinition classDefinition_, AAccessSpecifierAccessSpecifier access_, PType type_, Pass pass_, PStm body_, PExp precondition_, PExp postcondition_, AExplicitFunctionDefinition predef_, AExplicitFunctionDefinition postdef_, AStateDefinition state_, PType actualResult_, Boolean isConstructor_, List<? extends APatternListTypePair> parameterPatterns_, APatternTypePair result_, List<? extends AExternalClause> externals_, List<? extends AErrorCase> errors_, PDefinition stateDefinition_) { super(location_,name_,nameScope_,used_,classDefinition_,access_,type_,pass_,body_,precondition_,postcondition_,predef_,postdef_,state_,actualResult_,isConstructor_); this.setParameterPatterns(parameterPatterns_); this.setResult(result_); this.setExternals(externals_); this.setErrors(errors_); this.setStateDefinition(stateDefinition_); }
node.setStateDefinition(question.env.findClassDefinition()); } else node.setStateDefinition(question.env.findStateDefinition());