/** * Creates a new complete constructor {@code ATypeBind} 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 type_ the {@link PType} <b>graph</a> node for the {@code type} child of this {@link ATypeBind} node. * <i>The parent of this {@code type } will not be changed by adding it to this node.</i> */ public ATypeBind(ILexLocation location_, PPattern pattern_, PType type_) { super(location_,pattern_); this.setType(type_); }
public void typeResolve(ATypeBind typebind, IQuestionAnswer<TypeCheckInfo, PType> rootVisitor, TypeCheckInfo question) { typebind.setType(af.createPTypeAssistant().typeResolve(typebind.getType(), null, rootVisitor, question)); }
public static ATypeBind newATypeBind(PPattern pattern, PType readType) { ATypeBind result = new ATypeBind(); result.setLocation(pattern.getLocation()); result.setPattern(pattern); result.setType(readType); return result; }
paramDefinitions.addAll(question.assistantFactory.createPPatternAssistant().getDefinitions(tb.getPattern(), tb.getType(), NameScope.LOCAL)); paramPatterns.add(tb.getPattern()); tb.setType(question.assistantFactory.createPTypeAssistant().typeResolve(tb.getType(), null, THIS, question)); ptypes.add(tb.getType());
typebind.setType(question.assistantFactory.createPTypeAssistant().typeResolve(typebind.getType(), null, THIS, question));