C# Class FStarProject.FStarProjectPackage

Inheritance: Microsoft.VisualStudio.Project.ProjectPackage
Show file Open project: YaccConstructor/VisualFStar Class Usage Examples

Public Methods

Method Description
FStarProjectPackage ( ) : System

Initializes a new instance of the FStarProjectPackage class.

Protected Methods

Method Description
Initialize ( ) : void

Initialization of the package; this method is called right after the package is sited, so this is the place where you can put all the initialization code that rely on services provided by VisualStudio.

Method Details

FStarProjectPackage() public method

Initializes a new instance of the FStarProjectPackage class.
public FStarProjectPackage ( ) : System
return System

Initialize() protected method

Initialization of the package; this method is called right after the package is sited, so this is the place where you can put all the initialization code that rely on services provided by VisualStudio.
protected Initialize ( ) : void
return void