C# Class FStarProject.FStarProjectNode

Inheritance: Microsoft.VisualStudio.Project.ProjectNode
Show file Open project: YaccConstructor/VisualFStar

Public Methods

Method Description
FStarProjectNode ( FStarProjectPackage package ) : System

Protected Methods

Method Description
GetConfigurationIndependentPropertyPages ( ) : System.Guid[]
GetPriorityProjectDesignerPages ( ) : System.Guid[]

Private Methods

Method Description
FStarProjectNode ( ) : System

Method Details

FStarProjectNode() public method

public FStarProjectNode ( FStarProjectPackage package ) : System
package FStarProjectPackage
return System

GetConfigurationIndependentPropertyPages() protected method

protected GetConfigurationIndependentPropertyPages ( ) : System.Guid[]
return System.Guid[]

GetPriorityProjectDesignerPages() protected method

protected GetPriorityProjectDesignerPages ( ) : System.Guid[]
return System.Guid[]