C# (CSharp) Microsoft.PSharp.LanguageServices PSharpProject Examples

Example #1

 /// <summary>
 /// Initializes a new instance of the <see cref="AbstractPSharpProgram"/> class.
 /// </summary>
 internal AbstractPSharpProgram(PSharpProject project, SyntaxTree tree)
 {
     this.Project    = project;
     this.SyntaxTree = tree;
 }

Example #2

File: AbstractPSharpProgram.cs Project: yonglehou/PSharp

 /// <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;
 }

Example #3

File: PSharpProgram.cs Project: notfarfromorion/PSharp

 /// <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>();
 }

Example #4

File: PProgram.cs Project: ashwini-mnnit/PSharp

 /// <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>();
 }

Example #5

File: CSharpProgram.cs Project: yonglehou/PSharp

 /// <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>();
 }

Example #6

File: PSharpProgram.cs Project: huangpf/PSharp

 /// <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>();
 }

Example #7

File: PProgram.cs Project: jerickmsft/PSharp

 /// <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>();
 }

Example #8

File: CSharpProgram.cs Project: mattmccutchen/PSharp

 /// <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>();
 }