Code

[WIP] Property delegates#23440

Code

Closed

DougGregor wants to merge 46 commits intoswiftlang:masterswiftlang/swift:masterfrom DougGregor:property-delegatesDougGregor/swift:property-delegatesCopy head branch name to clipboard

+3,207-255

Commits

Commits on Mar 26, 2019

• [Parse] Parsing and basic AST representation for property behaviors.

  DougGregor

  committed
  9a1a9e8

• [Type checker] Apply property behavior to the storage type of a variable.

  Show description for 0661d1b
  DougGregor

  committed
  0661d1b

• [WIP] Create backing storage for property behaviors.

  DougGregor

  committed
  49862d4

• [Property behaviors] Side-allocate attached property behaviors.

  Show description for bc75807
  DougGregor

  committed
  bc75807

• [Property behaviors] Improve discovery of property behavior types.

  Show description for 8b6f21c
  DougGregor

  committed
  8b6f21c

• [Property behaviors] Add the @propertyBehavior attribute.

  Show description for 757091e
  DougGregor

  committed
  757091e

• [Property behaviors] Consistently check properties with behaviors.

  Show description for 8fbc169
  DougGregor

  committed
  8fbc169

• Rename "Property Behaviors" to "Property Delegates".

  Show description for c503352
  DougGregor

  committed
  c503352

• [Property delegates] Implement support for init(initialValue:).

  Show description for 9c5449a
  DougGregor

  committed
  9c5449a

• [Property delegates] Support direct initialization of property delegates.

  Show description for f04f4a2
  DougGregor

  committed
  f04f4a2

• Update IDE test output for @propertyDelegate attribute.

  DougGregor

  committed
  b465ed3

• Add missing header file.

  DougGregor

  committed
  37bcc5c

• [AST] Generalize PatternBindingEntry's "Lazy" flag to "Subsumed"

  Show description for 23b9a11
  DougGregor

  committed
  23b9a11

• [Property delegates] Associate initializer with the backing storage property.

  Show description for 7eff6f7
  DougGregor

  committed
  7eff6f7

• [Property behaviors] Adjust memberwise initializer type.

  Show description for c354b78
  DougGregor

  committed
  c354b78

• [Property delegates] Suppress default inits when appropriate.

  Show description for d927663
  DougGregor

  committed
  d927663

• [Property delegates] SILGen support for memberwise initializers of structs.

  Show description for e674377
  DougGregor

  committed
  e674377

• [Parser] Consistently use consumeIdentifier() for normal identifiers.

  Show description for 7840527
  DougGregor

  committed
  7840527

• [Parser] Allow use of $ declarations in all modes.

  Show description for ef09e4e
  DougGregor

  committed
  ef09e4e

• [Property delegates] Support nested property delegates

  DougGregor

  committed
  41985d2

• [Property delegates] Fix SILGen for directly-formed structs.

  DougGregor

  committed
  bd13ddd

• [Property delegates] Check access of the property behavior type.

  DougGregor

  committed
  56e0742

• [Property delegates] Allow the backing property access to be specified.

  Show description for 2538425
  DougGregor

  committed
  2538425

• [Property delegates] The access for the delegate type is based on the storage property.

  Show description for 5113aaf
  DougGregor

  committed
  5113aaf

• [Property delegates] Adjust memberwise initializer access level.

  Show description for 7cd6b37
  DougGregor

  committed
  7cd6b37

• [Property delegates] (De-)serialize delegates of properties.

  DougGregor

  committed
  e3e17c4

• [Property delegates] Print delegate attached to properties when needed.

  Show description for 19abc3c
  DougGregor

  committed
  19abc3c

• [Property delegates] Walk the property delegate type in ASTWalker.

  Show description for d9ca581
  DougGregor

  committed
  d9ca581

• [Property delegates] Don't contextualize property initializer twice.

  DougGregor

  committed
  a17ff53

• [Property delegates] Diagnose protocol/enum/extension restrictions.

  DougGregor

  committed
  789dad4

• [Property delegates] Diagnose final/override restrictions on properties.

  DougGregor

  committed
  fb8c6a6

• [Property delegates] Diagnose conflicting attributes/modifiers.

  DougGregor

  committed
  513aa6d

• [Property delegate] A property with a delegate may not declare accessors.

  DougGregor

  committed
  f6c8a82

• [Type checker] Don't complain about missing 'override' that we deleted.

  DougGregor

  committed
  05b6db7

• Remove now-obsolete -verify-sil-ownership flag

  DougGregor

  committed
  c6e530a

• [Property delegates] Allow explicit get/set in a property with a delegate.

  Show description for 1adb066
  DougGregor

  committed
  1adb066

• [Property delegates] Disable default arguments for the memberwise initializer.

  Show description for 9848419
  DougGregor

  committed
  9848419

• [Property delegates] Clean up & test handling of mutating/nonmutating.

  DougGregor

  committed
  4bfb212

Commits on Mar 27, 2019

• [Property delegates] Don't implicitly reference a private(set) 'value'.

  Show description for 9017c7e
  DougGregor

  committed
  9017c7e

• [Property delegates] Diagnose too-restrictive 'value' and 'init(initialValue:)' .

  Show description for 78e8a36
  DougGregor

  committed
  78e8a36

• [Property delegates] Model delegate backing storage access as a “target”

  Show description for 00d6964
  DougGregor

  committed
  00d6964

• [Property delegates] Support didSet/willSet.

  Show description for 32430ec
  DougGregor

  committed
  32430ec

• Move simple_display(... PropertyDelegateTypeInfo ...) into libswiftAST.

  DougGregor

  committed
  43b3c59

Commits on Mar 28, 2019

• [Property delegates] Reject delegates on local properties.

  Show description for 4feb812
  DougGregor

  committed
  4feb812

Commits on Mar 29, 2019

• [Experimental] Parse custom attributes that can refer to property delegates.

  Show description for 23a76d4
  DougGregor

  committed
  23a76d4

• Restrict custom attributes to those that start with an uppercase letter

  DougGregor

  committed
  4107789