Util/VS2010/DafnyExtension/DafnyExtension/ContentType.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

using System.ComponentModel.Composition;
using Microsoft.VisualStudio.Utilities;

namespace DafnyLanguage
{
  class DafnyContentType
  {
    [Export]
    [Name("dafny")]
    [BaseDefinition("code")]
    internal static ContentTypeDefinition ContentType = null;

    [Export]
    [FileExtension(".dfy")]
    [ContentType("dafny")]
    internal static FileExtensionToContentTypeDefinition FileType = null;
  }
}