Skip to content

Commit e2e0adf

Browse files
BillWagnerjskeet
authored andcommitted
Item 7: §19.4.4 "interface method" should include property
Change "An interface method declaration that has a block body or expression body as a *method\_body*" to "An interface property or interface property accessor declaration that has a block body or expression body"
1 parent 37442bc commit e2e0adf

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

standard/interfaces.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -440,7 +440,7 @@ Interface properties are declared using *property_declaration*s ([§15.7.1](clas
440440
> *Note*: As an interface cannot contain instance fields, an interface property cannot be an instance auto-property, as that would require the declaration of implicit hidden instance fields. *end note*
441441
442442
- The type of an interface property shall be output-safe if there is a get accessor, and shall be input-safe if there is a set accessor.
443-
- An interface method declaration that has a block body or expression body as a *method_body* is `virtual`; the `virtual` modifier is not required, but is allowed.
443+
- An interface property or interface property accessor declaration that has a block body or expression body is `virtual`; the `virtual` modifier is not required, but is allowed.
444444
- An instance *property_declaration* that has no implementation is `abstract`; the `abstract` modifier is not required, but is allowed. It is *never* considered to be an automatically implemented property ([§15.7.4](classes.md#1574-automatically-implemented-properties)).
445445
446446
### 19.4.5 Interface events

0 commit comments

Comments
 (0)