-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathFSharp_Code Contracts.xml
48 lines (48 loc) · 1.78 KB
/
FSharp_Code Contracts.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<?xml version="1.0" encoding="utf-8"?>
<Templates xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema">
<TemplateCategory Name="Code Contracts">
<Template Name="[<ca" CaseSensitiveName="false">
<Expansion Priority="0" SuppressLastChar="true">
<Body>[<ContractAbbreviator>]</Body>
<Context>
<Excluded>Editor\Code\InComment</Excluded>
<Excluded>Editor\Code\InString</Excluded>
</Context>
</Expansion>
</Template>
<Template Name="[<cim" CaseSensitiveName="false">
<Expansion Priority="0" SuppressLastChar="true">
<Body>[<ContractInvariantMethod>]</Body>
<Context>
<Excluded>Editor\Code\InComment</Excluded>
<Excluded>Editor\Code\InString</Excluded>
</Context>
</Expansion>
</Template>
<Template Name="[<cppn" CaseSensitiveName="false">
<Expansion Priority="0" SuppressLastChar="true">
<Body>[<ContractPublicPropertyName("«Field(,Enter property name)»")>]</Body>
<Context>
<Excluded>Editor\Code\InComment</Excluded>
<Excluded>Editor\Code\InString</Excluded>
</Context>
</Expansion>
</Template>
<Template Name="[<pu" CaseSensitiveName="false">
<Expansion Priority="0" SuppressLastChar="true">
<Body>[<Pure>]</Body>
<Context>
<Excluded>Editor\Code\InComment</Excluded>
<Excluded>Editor\Code\InString</Excluded>
</Context>
</Expansion>
</Template>
<Template Name="cim" CaseSensitiveName="false">
<Expansion Priority="0">
<Body>«:[<cim»
let ObjectInvariant() = </Body>
<Context />
</Expansion>
</Template>
</TemplateCategory>
</Templates>