C# Class FStarProject.FStarProjectPackage

Inheritance: Microsoft.VisualStudio.Project.ProjectPackage
Afficher le fichier Open project: YaccConstructor/VisualFStar Class Usage Examples

Méthodes publiques

Méthode Description
FStarProjectPackage ( ) : System

Initializes a new instance of the FStarProjectPackage class.

Méthodes protégées

Méthode 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 méthode

Initializes a new instance of the FStarProjectPackage class.
public FStarProjectPackage ( ) : System
Résultat System

Initialize() protected méthode

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
Résultat void