#include "clang/Sema/SemaInternal.h"
#include "clang/AST/ASTMutationListener.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/ExprObjC.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Lex/Lexer.h"
#include "clang/Lex/Preprocessor.h"
#include "clang/Sema/Initialization.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/SmallString.h"

Functions
static Qualifiers::ObjCLifetime	getImpliedARCOwnership (ObjCPropertyAttribute::Kind attrs, QualType type)
	getImpliedARCOwnership - Given a set of property attributes and a type, infer an expected lifetime.

static void	checkPropertyDeclWithOwnership (Sema &S, ObjCPropertyDecl *property)
	Check the internal consistency of a property declaration with an explicit ownership qualifier.

static void	CheckPropertyAgainstProtocol (Sema &S, ObjCPropertyDecl Prop, ObjCProtocolDecl Proto, llvm::SmallPtrSetImpl< ObjCProtocolDecl * > &Known)
	Check this Objective-C property against a property declared in the given protocol.

static unsigned	deducePropertyOwnershipFromType (Sema &S, QualType T)

static unsigned	getOwnershipRule (unsigned attr)

static ObjCPropertyAttribute::Kind	makePropertyAttributesAsWritten (unsigned Attributes)

static bool	LocPropertyAttribute (ASTContext &Context, const char *attrName, SourceLocation LParenLoc, SourceLocation &Loc)

static void	checkAtomicPropertyMismatch (Sema &S, ObjCPropertyDecl OldProperty, ObjCPropertyDecl NewProperty, bool PropagateAtomicity)
	Check for a mismatch in the atomicity of the given properties.

static void	checkARCPropertyImpl (Sema &S, SourceLocation propertyImplLoc, ObjCPropertyDecl property, ObjCIvarDecl ivar)

static void	setImpliedPropertyAttributeForReadOnlyProperty (ObjCPropertyDecl property, ObjCIvarDecl ivar)
	setImpliedPropertyAttributeForReadOnlyProperty - This routine evaludates life-time attributes for a 'readonly' property with no known lifetime of its own, using backing 'ivar's attribute, if any.

static bool	isIncompatiblePropertyAttribute (unsigned Attr1, unsigned Attr2, ObjCPropertyAttribute::Kind Kind)

static bool	areIncompatiblePropertyAttributes (unsigned Attr1, unsigned Attr2, unsigned Kinds)

static ObjCPropertyDecl *	SelectPropertyForSynthesisFromProtocols (Sema &S, SourceLocation AtLoc, ObjCInterfaceDecl ClassDecl, ObjCPropertyDecl Property)
	SelectPropertyForSynthesisFromProtocols - Finds the most appropriate property declaration that should be synthesised in all of the inherited protocols.

static bool	hasWrittenStorageAttribute (ObjCPropertyDecl *Prop, ObjCPropertyQueryKind QueryKind)
	Determine whether any storage attributes were written on the property.

static ObjCMethodDecl *	RedeclarePropertyAccessor (ASTContext &Context, ObjCImplementationDecl Impl, ObjCMethodDecl AccessorDecl, SourceLocation AtLoc, SourceLocation PropertyLoc)
	Create a synthesized property accessor stub inside the @implementation.

static void	CollectImmediateProperties (ObjCContainerDecl *CDecl, ObjCContainerDecl::PropertyMap &PropMap, ObjCContainerDecl::PropertyMap &SuperPropMap, bool CollectClassPropsOnly=false, bool IncludeProtocols=true)
	CollectImmediateProperties - This routine collects all properties in the class and its conforming protocols; but not those in its super class.

static void	CollectSuperClassPropertyImplementations (ObjCInterfaceDecl *CDecl, ObjCInterfaceDecl::PropertyMap &PropMap)
	CollectSuperClassPropertyImplementations - This routine collects list of properties to be implemented in super class(s) and also coming from their conforming protocols.

static bool	SuperClassImplementsProperty (ObjCInterfaceDecl IDecl, ObjCPropertyDecl Prop)

static void	DiagnoseUnimplementedAccessor (Sema &S, ObjCInterfaceDecl PrimaryClass, Selector Method, ObjCImplDecl IMPDecl, ObjCContainerDecl CDecl, ObjCCategoryDecl C, ObjCPropertyDecl Prop, llvm::SmallPtrSet< const ObjCMethodDecl , 8 > &SMap)

static void	AddPropertyAttrs (Sema &S, ObjCMethodDecl PropertyMethod, ObjCPropertyDecl Property)
	AddPropertyAttrs - Propagates attributes from a property to the implicitly-declared getter or setter for that property.

Variables
static const unsigned	OwnershipMask

Function Documentation

◆ AddPropertyAttrs()

static void AddPropertyAttrs	(	Sema &	S,
		ObjCMethodDecl *	PropertyMethod,
		ObjCPropertyDecl *	Property
	)

static

AddPropertyAttrs - Propagates attributes from a property to the implicitly-declared getter or setter for that property.

Definition at line 2359 of file SemaObjCProperty.cpp.

References clang::Decl::addAttr(), clang::Sema::Context, and clang::Property.

Referenced by clang::Sema::ProcessPropertyDecl().

◆ areIncompatiblePropertyAttributes()

static bool areIncompatiblePropertyAttributes	(	unsigned	Attr1,
		unsigned	Attr2,
		unsigned	Kinds
	)

static

Definition at line 827 of file SemaObjCProperty.cpp.

Referenced by SelectPropertyForSynthesisFromProtocols().

◆ checkARCPropertyImpl()

static void checkARCPropertyImpl	(	Sema &	S,
		SourceLocation	propertyImplLoc,
		ObjCPropertyDecl *	property,
		ObjCIvarDecl *	ivar
	)

static

Definition at line 721 of file SemaObjCProperty.cpp.

References clang::Sema::Context, clang::SemaBase::Diag(), clang::ObjCIvarDecl::getAccessControl(), clang::NamedDecl::getDeclName(), getImpliedARCOwnership(), clang::Sema::getLangOpts(), clang::Decl::getLocation(), clang::QualType::getObjCLifetime(), clang::ObjCPropertyDecl::getPropertyAttributes(), clang::ASTContext::getQualifiedType(), clang::ValueDecl::getType(), clang::ObjCPropertyDecl::getType(), clang::Qualifiers::hasObjCLifetime(), clang::Decl::isInvalidDecl(), clang::Type::isObjCARCImplicitlyUnretainedType(), clang::SourceLocation::isValid(), clang::ObjCPropertyAttribute::kind_assign, clang::Qualifiers::OCL_Autoreleasing, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, clang::Qualifiers::OCL_Weak, clang::ObjCIvarDecl::Private, clang::SplitQualType::Quals, clang::Qualifiers::setObjCLifetime(), clang::ValueDecl::setType(), and clang::QualType::split().

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ checkAtomicPropertyMismatch()

static void checkAtomicPropertyMismatch	(	Sema &	S,
		ObjCPropertyDecl *	OldProperty,
		ObjCPropertyDecl *	NewProperty,
		bool	PropagateAtomicity
	)

static

Check for a mismatch in the atomicity of the given properties.

Definition at line 336 of file SemaObjCProperty.cpp.

References Category, clang::SemaBase::Diag(), clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::ObjCPropertyDecl::getPropertyAttributes(), clang::ObjCPropertyDecl::getPropertyAttributesAsWritten(), clang::ObjCPropertyAttribute::kind_atomic, clang::ObjCPropertyAttribute::kind_nonatomic, clang::ObjCPropertyAttribute::kind_readonly, clang::ObjCPropertyDecl::overwritePropertyAttributes(), and clang::Property.

Referenced by clang::Sema::DiagnosePropertyMismatch(), and clang::Sema::HandlePropertyInClassExtension().

◆ CheckPropertyAgainstProtocol()

static void CheckPropertyAgainstProtocol	(	Sema &	S,
		ObjCPropertyDecl *	Prop,
		ObjCProtocolDecl *	Proto,
		llvm::SmallPtrSetImpl< ObjCProtocolDecl * > &	Known
	)

static

Check this Objective-C property against a property declared in the given protocol.

Definition at line 107 of file SemaObjCProperty.cpp.

References CheckPropertyAgainstProtocol(), clang::Sema::DiagnosePropertyMismatch(), clang::NamedDecl::getIdentifier(), clang::ObjCContainerDecl::getProperty(), clang::ObjCPropertyDecl::isInstanceProperty(), P, and clang::ObjCProtocolDecl::protocols().

Referenced by clang::Sema::ActOnProperty(), and CheckPropertyAgainstProtocol().

◆ checkPropertyDeclWithOwnership()

static void checkPropertyDeclWithOwnership	(	Sema &	S,
		ObjCPropertyDecl *	property
	)

static

Check the internal consistency of a property declaration with an explicit ownership qualifier.

Definition at line 64 of file SemaObjCProperty.cpp.

References clang::ast_matchers::attr, clang::SemaBase::Diag(), getImpliedARCOwnership(), clang::Decl::getLocation(), clang::ObjCPropertyDecl::getType(), clang::Decl::isInvalidDecl(), clang::ObjCPropertyAttribute::kind_strong, clang::ObjCPropertyAttribute::kind_unsafe_unretained, clang::ObjCPropertyAttribute::kind_weak, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, and clang::Qualifiers::OCL_Weak.

Referenced by clang::Sema::ActOnProperty().

◆ CollectImmediateProperties()

static void CollectImmediateProperties	(	ObjCContainerDecl *	CDecl,
		ObjCContainerDecl::PropertyMap &	PropMap,
		ObjCContainerDecl::PropertyMap &	SuperPropMap,
		bool	CollectClassPropsOnly = `false`,
		bool	IncludeProtocols = `true`
	)

static

CollectImmediateProperties - This routine collects all properties in the class and its conforming protocols; but not those in its super class.

Definition at line 1754 of file SemaObjCProperty.cpp.

References CollectImmediateProperties(), and clang::NamedDecl::getIdentifier().

Referenced by CollectImmediateProperties(), and clang::Sema::DiagnoseUnimplementedProperties().

◆ CollectSuperClassPropertyImplementations()

static void CollectSuperClassPropertyImplementations	(	ObjCInterfaceDecl *	CDecl,
		ObjCInterfaceDecl::PropertyMap &	PropMap
	)

static

CollectSuperClassPropertyImplementations - This routine collects list of properties to be implemented in super class(s) and also coming from their conforming protocols.

Definition at line 1821 of file SemaObjCProperty.cpp.

References clang::ObjCInterfaceDecl::getSuperClass().

Referenced by clang::Sema::DefaultSynthesizeProperties(), and clang::Sema::DiagnoseUnimplementedProperties().

◆ deducePropertyOwnershipFromType()

static unsigned deducePropertyOwnershipFromType	(	Sema &	S,
		QualType	T
	)

static

Definition at line 126 of file SemaObjCProperty.cpp.

References clang::Sema::getLangOpts(), clang::ObjCPropertyAttribute::kind_strong, clang::ObjCPropertyAttribute::kind_unsafe_unretained, clang::ObjCPropertyAttribute::kind_weak, clang::Qualifiers::OCL_Autoreleasing, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, clang::Qualifiers::OCL_Weak, and clang::T.

Referenced by clang::Sema::ActOnProperty().

◆ DiagnoseUnimplementedAccessor()

static void DiagnoseUnimplementedAccessor	(	Sema &	S,
		ObjCInterfaceDecl *	PrimaryClass,
		Selector	Method,
		ObjCImplDecl *	IMPDecl,
		ObjCContainerDecl *	CDecl,
		ObjCCategoryDecl *	C,
		ObjCPropertyDecl *	Prop,
		llvm::SmallPtrSet< const ObjCMethodDecl *, 8 > &	SMap
	)

static

Definition at line 1992 of file SemaObjCProperty.cpp.

References clang::C, clang::SemaBase::Diag(), clang::NamedDecl::getDeclName(), clang::Decl::getLocation(), clang::ObjCMethodDecl::getSelector(), clang::ObjCMethodDecl::isClassMethod(), clang::ObjCPropertyDecl::isClassProperty(), clang::ObjCRuntime::isNonFragile(), clang::Sema::LangOpts, clang::ObjCInterfaceDecl::lookupPropertyAccessor(), and clang::LangOptions::ObjCRuntime.

Referenced by clang::Sema::DiagnoseUnimplementedProperties().

◆ getImpliedARCOwnership()

static Qualifiers::ObjCLifetime getImpliedARCOwnership	(	ObjCPropertyAttribute::Kind	attrs,
		QualType	type
	)

static

getImpliedARCOwnership - Given a set of property attributes and a type, infer an expected lifetime.

The type's ownership qualification is not considered.

Returns OCL_None if the attributes as stated do not imply an ownership. Never returns OCL_Autoreleasing.

Definition at line 39 of file SemaObjCProperty.cpp.

References clang::ObjCPropertyAttribute::kind_assign, clang::ObjCPropertyAttribute::kind_copy, clang::ObjCPropertyAttribute::kind_retain, clang::ObjCPropertyAttribute::kind_strong, clang::ObjCPropertyAttribute::kind_unsafe_unretained, clang::ObjCPropertyAttribute::kind_weak, clang::Qualifiers::OCL_ExplicitNone, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, clang::Qualifiers::OCL_Weak, and clang::ast_matchers::type.

Referenced by clang::Sema::ActOnPropertyImplDecl(), checkARCPropertyImpl(), checkPropertyDeclWithOwnership(), and setImpliedPropertyAttributeForReadOnlyProperty().

◆ getOwnershipRule()

static unsigned getOwnershipRule ( unsigned attr )

static

Definition at line 158 of file SemaObjCProperty.cpp.

References clang::ast_matchers::attr, clang::ObjCPropertyAttribute::kind_assign, clang::ObjCPropertyAttribute::kind_unsafe_unretained, and OwnershipMask.

Referenced by clang::Sema::ActOnProperty(), clang::Sema::CheckObjCPropertyAttributes(), clang::Sema::CreatePropertyDecl(), clang::Sema::DiagnosePropertyMismatch(), and clang::Sema::HandlePropertyInClassExtension().

◆ hasWrittenStorageAttribute()

static bool hasWrittenStorageAttribute	(	ObjCPropertyDecl *	Prop,
		ObjCPropertyQueryKind	QueryKind
	)

static

Determine whether any storage attributes were written on the property.

Definition at line 1014 of file SemaObjCProperty.cpp.

References Category, clang::Decl::getDeclContext(), clang::NamedDecl::getDeclName(), clang::NamedDecl::getIdentifier(), clang::ObjCPropertyDecl::getPropertyAttributesAsWritten(), clang::ObjCPropertyDecl::isReadOnly(), and OwnershipMask.

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ isIncompatiblePropertyAttribute()

static bool isIncompatiblePropertyAttribute	(	unsigned	Attr1,
		unsigned	Attr2,
		ObjCPropertyAttribute::Kind	Kind
	)

static

Definition at line 822 of file SemaObjCProperty.cpp.

Referenced by SelectPropertyForSynthesisFromProtocols().

◆ LocPropertyAttribute()

static bool LocPropertyAttribute	(	ASTContext &	Context,
		const char *	attrName,
		SourceLocation	LParenLoc,
		SourceLocation &	Loc
	)

static

Definition at line 306 of file SemaObjCProperty.cpp.

References clang::ASTContext::getLangOpts(), clang::Token::getLocation(), clang::Token::getRawIdentifier(), clang::ASTContext::getSourceManager(), clang::Token::is(), clang::SourceLocation::isMacroID(), clang::Token::isNot(), clang::Lexer::LexFromRawLexer(), and SM.

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ makePropertyAttributesAsWritten()

static ObjCPropertyAttribute::Kind makePropertyAttributesAsWritten ( unsigned Attributes )

static

Definition at line 272 of file SemaObjCProperty.cpp.

Referenced by clang::Sema::CreatePropertyDecl().

◆ RedeclarePropertyAccessor()

static ObjCMethodDecl * RedeclarePropertyAccessor	(	ASTContext &	Context,
		ObjCImplementationDecl *	Impl,
		ObjCMethodDecl *	AccessorDecl,
		SourceLocation	AtLoc,
		SourceLocation	PropertyLoc
	)

static

Create a synthesized property accessor stub inside the @implementation.

Definition at line 1048 of file SemaObjCProperty.cpp.

References clang::ObjCMethodDecl::Create(), clang::Decl::getAttrs(), clang::Decl::getBeginLoc(), clang::Decl::getEndLoc(), clang::ObjCMethodDecl::getMethodFamily(), clang::Decl::hasAttrs(), clang::Decl::isImplicit(), clang::SourceLocation::isValid(), clang::Decl::setAttrs(), clang::ObjCMethodDecl::setCmdDecl(), clang::ObjCMethodDecl::setDefined(), clang::Decl::setLexicalDeclContext(), clang::ObjCMethodDecl::setMethodParams(), and clang::ObjCMethodDecl::setSelfDecl().

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ SelectPropertyForSynthesisFromProtocols()

static ObjCPropertyDecl * SelectPropertyForSynthesisFromProtocols	(	Sema &	S,
		SourceLocation	AtLoc,
		ObjCInterfaceDecl *	ClassDecl,
		ObjCPropertyDecl *	Property
	)

static

SelectPropertyForSynthesisFromProtocols - Finds the most appropriate property declaration that should be synthesised in all of the inherited protocols.

It also diagnoses properties declared in inherited protocols with mismatched types or attributes, since any of them can be candidate for synthesis.

Definition at line 838 of file SemaObjCProperty.cpp.

References clang::ObjCInterfaceDecl::all_referenced_protocols(), areIncompatiblePropertyAttributes(), clang::Sema::Context, Diag(), clang::SemaBase::Diag(), clang::ASTContext::getCanonicalType(), clang::ObjCProtocolDecl::getDefinition(), clang::ObjCInterfaceDecl::getSuperClass(), isIncompatiblePropertyAttribute(), clang::Sema::isObjCPointerConversion(), clang::SourceLocation::isValid(), clang::ObjCPropertyAttribute::kind_assign, clang::ObjCPropertyAttribute::kind_atomic, clang::ObjCPropertyAttribute::kind_copy, clang::ObjCPropertyAttribute::kind_retain, clang::ObjCPropertyAttribute::kind_strong, clang::ObjCPropertyAttribute::kind_unsafe_unretained, clang::ObjCPropertyAttribute::kind_weak, clang::Note, clang::Property, clang::ASTContext::propertyTypesAreCompatible(), and true.

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ setImpliedPropertyAttributeForReadOnlyProperty()

static void setImpliedPropertyAttributeForReadOnlyProperty	(	ObjCPropertyDecl *	property,
		ObjCIvarDecl *	ivar
	)

static

setImpliedPropertyAttributeForReadOnlyProperty - This routine evaludates life-time attributes for a 'readonly' property with no known lifetime of its own, using backing 'ivar's attribute, if any.

If no backing 'ivar', property's life-time is assumed 'strong'.

Definition at line 800 of file SemaObjCProperty.cpp.

References getImpliedARCOwnership(), clang::QualType::getObjCLifetime(), clang::ObjCPropertyDecl::getPropertyAttributes(), clang::ValueDecl::getType(), clang::ObjCPropertyDecl::getType(), clang::ObjCPropertyAttribute::kind_strong, clang::ObjCPropertyAttribute::kind_weak, clang::Qualifiers::OCL_None, clang::Qualifiers::OCL_Strong, and clang::Qualifiers::OCL_Weak.

Referenced by clang::Sema::ActOnPropertyImplDecl().

◆ SuperClassImplementsProperty()

static bool SuperClassImplementsProperty	(	ObjCInterfaceDecl *	IDecl,
		ObjCPropertyDecl *	Prop
	)

static

Definition at line 1863 of file SemaObjCProperty.cpp.

References clang::ObjCPropertyDecl::getGetterName(), clang::ObjCContainerDecl::getInstanceMethod(), clang::ObjCPropertyDecl::getPropertyAttributes(), clang::ObjCPropertyDecl::getSetterName(), clang::ObjCInterfaceDecl::getSuperClass(), and clang::ObjCPropertyAttribute::kind_readonly.

Referenced by clang::Sema::DefaultSynthesizeProperties().

Variable Documentation

◆ OwnershipMask

const unsigned OwnershipMask

static

Initial value:

=
    (ObjCPropertyAttribute::kind_assign | ObjCPropertyAttribute::kind_retain |
     ObjCPropertyAttribute::kind_copy | ObjCPropertyAttribute::kind_weak |
     ObjCPropertyAttribute::kind_strong |
     ObjCPropertyAttribute::kind_unsafe_unretained)

Definition at line 152 of file SemaObjCProperty.cpp.

Referenced by getOwnershipRule(), and hasWrittenStorageAttribute().

Functions

Variables

Function Documentation

◆ AddPropertyAttrs()

◆ areIncompatiblePropertyAttributes()

◆ checkARCPropertyImpl()

◆ checkAtomicPropertyMismatch()

◆ CheckPropertyAgainstProtocol()

◆ checkPropertyDeclWithOwnership()

◆ CollectImmediateProperties()

◆ CollectSuperClassPropertyImplementations()

◆ deducePropertyOwnershipFromType()

◆ DiagnoseUnimplementedAccessor()

◆ getImpliedARCOwnership()

◆ getOwnershipRule()

◆ hasWrittenStorageAttribute()

◆ isIncompatiblePropertyAttribute()

◆ LocPropertyAttribute()

◆ makePropertyAttributesAsWritten()

◆ RedeclarePropertyAccessor()

◆ SelectPropertyForSynthesisFromProtocols()

◆ setImpliedPropertyAttributeForReadOnlyProperty()

◆ SuperClassImplementsProperty()

Variable Documentation

◆ OwnershipMask