Method | Description | |
---|---|---|
FStarProjectFactory ( FStarProjectPackage package ) : System |
Method | Description | |
---|---|---|
CreateProject ( ) : |
protected CreateProject ( ) : |
||
return |
public FStarProjectFactory ( FStarProjectPackage package ) : System | ||
package | FStarProjectPackage | |
return | System |