/// <summary>
/// Initializes a new instance of the <see cref="AbstractPSharpProgram"/> class.
/// </summary>
internal AbstractPSharpProgram(PSharpProject project, SyntaxTree tree)
{
this.Project = project;
this.SyntaxTree = tree;
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="tree">SyntaxTree</param>
internal AbstractPSharpProgram(PSharpProject project, SyntaxTree tree)
{
this.Project = project;
this.SyntaxTree = tree;
}
/// <summary>
/// Initializes a new instance of the <see cref="PSharpProgram"/> class.
/// </summary>
public PSharpProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.UsingDeclarations = new List <UsingDeclaration>();
this.NamespaceDeclarations = new List <NamespaceDeclaration>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="filePath">SyntaxTree</param>
public PProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.EventDeclarations = new List <EventDeclaration>();
this.MachineDeclarations = new List <MachineDeclaration>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="tree">SyntaxTree</param>
public CSharpProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.EventIdentifiers = new List<ClassDeclarationSyntax>();
this.MachineIdentifiers = new List<ClassDeclarationSyntax>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="tree">SyntaxTree</param>
public PSharpProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.UsingDeclarations = new List<UsingDeclaration>();
this.NamespaceDeclarations = new List<NamespaceDeclaration>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="filePath">SyntaxTree</param>
public PProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.EventDeclarations = new List<EventDeclaration>();
this.MachineDeclarations = new List<MachineDeclaration>();
}
/// <summary>
/// Constructor.
/// </summary>
/// <param name="project">PSharpProject</param>
/// <param name="tree">SyntaxTree</param>
public CSharpProgram(PSharpProject project, SyntaxTree tree)
: base(project, tree)
{
this.EventIdentifiers = new List <ClassDeclarationSyntax>();
this.MachineIdentifiers = new List <ClassDeclarationSyntax>();
}
