/** * Creates a new complete constructor {@code AExplicitOperationDefinition} 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 AExplicitOperationDefinition} node * @param paramDefinitions_ the {@link GraphNodeList} <b>graph</a> node for the {@code paramDefinitions} child of this {@link AExplicitOperationDefinition} node. * <i>The parent of this {@code paramDefinitions } will not be changed by adding it to this node.</i> */ public AExplicitOperationDefinition(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 PPattern> parameterPatterns_, List<? extends PDefinition> paramDefinitions_) { super(location_,name_,nameScope_,used_,classDefinition_,access_,type_,pass_,body_,precondition_,postcondition_,predef_,postdef_,state_,actualResult_,isConstructor_); this.setParameterPatterns(parameterPatterns_); this.setParamDefinitions(paramDefinitions_); }
node.setParamDefinitions(question.assistantFactory.createAExplicitOperationDefinitionAssistant().getParamDefinitions(node)); question.assistantFactory.createPDefinitionListAssistant().typeCheck(node.getParamDefinitions(), THIS, new TypeCheckInfo(question.assistantFactory, question.env, NameScope.NAMESANDSTATE, question.qualifiers));