diff options
Diffstat (limited to 'core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/cpp/SemanticQueries.java')
-rw-r--r-- | core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/cpp/SemanticQueries.java | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/cpp/SemanticQueries.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/cpp/SemanticQueries.java new file mode 100644 index 00000000000..60fd014f6c4 --- /dev/null +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/cpp/SemanticQueries.java @@ -0,0 +1,67 @@ +/******************************************************************************* + * Copyright (c) 2012 Nathan Ridge. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * Nathan Ridge - initial API and implementation + *******************************************************************************/ +package org.eclipse.cdt.core.dom.ast.cpp; + +import static org.eclipse.cdt.internal.core.dom.parser.cpp.semantics.SemanticUtil.CVTYPE; +import static org.eclipse.cdt.internal.core.dom.parser.cpp.semantics.SemanticUtil.TDEF; + +import org.eclipse.cdt.core.dom.ast.IType; +import org.eclipse.cdt.internal.core.dom.parser.cpp.semantics.SemanticUtil; + +/** + * @since 5.5 + */ +public class SemanticQueries { + + public static boolean isCopyOrMoveConstructor(ICPPConstructor constructor) { + return isCopyOrMoveConstructor(constructor, CopyOrMoveConstructorKind.COPY_OR_MOVE); + } + + public static boolean isMoveConstructor(ICPPConstructor constructor) { + return isCopyOrMoveConstructor(constructor, CopyOrMoveConstructorKind.MOVE); + } + + public static boolean isCopyConstructor(ICPPConstructor constructor) { + return isCopyOrMoveConstructor(constructor, CopyOrMoveConstructorKind.COPY); + } + + private enum CopyOrMoveConstructorKind { COPY, MOVE, COPY_OR_MOVE } + + private static boolean isCopyOrMoveConstructor(ICPPConstructor constructor, CopyOrMoveConstructorKind kind) { + // 12.8/2-3 [class.copy]: + // "A non-template constructor for class X is a copy [move] constructor + // if its first parameter is of type X&[&], const X&[&], volatile X&[&] + // or const volatile X&[&], and either there are no other parametrs or + // else all other parametrs have default arguments." + if (constructor instanceof ICPPFunctionTemplate) + return false; + if (!isCallableWithNumberOfArguments(constructor, 1)) + return false; + IType firstArgumentType = constructor.getType().getParameterTypes()[0]; + firstArgumentType = SemanticUtil.getNestedType(firstArgumentType, TDEF); + if (!(firstArgumentType instanceof ICPPReferenceType)) + return false; + ICPPReferenceType firstArgReferenceType = (ICPPReferenceType) firstArgumentType; + boolean isRvalue = firstArgReferenceType.isRValueReference(); + if (isRvalue && kind == CopyOrMoveConstructorKind.COPY) + return false; + if (!isRvalue && kind == CopyOrMoveConstructorKind.MOVE) + return false; + firstArgumentType = firstArgReferenceType.getType(); + firstArgumentType = SemanticUtil.getNestedType(firstArgumentType, CVTYPE); + return firstArgumentType.isSameType(constructor.getClassOwner()); + } + + private static boolean isCallableWithNumberOfArguments(ICPPFunction function, int numArguments) { + return function.getParameters().length >= numArguments + && function.getRequiredArgumentCount() <= numArguments; + } +} |