C# Class Microsoft.PSharp.LanguageServices.Rewriting.PSharp.PSharpRewriter

An abstract P# program rewriter.
Afficher le fichier Open project: p-org/PSharp

Protected Properties

Свойство Type Description
Program IPSharpProgram

Méthodes protégées

Méthode Description
PSharpRewriter ( IPSharpProgram program )

Initializes a new instance of the PSharpRewriter class.

Method Details

PSharpRewriter() protected méthode

Initializes a new instance of the PSharpRewriter class.
protected PSharpRewriter ( IPSharpProgram program )
program IPSharpProgram

Property Details

Program protected_oe property

The P# program.
protected IPSharpProgram Program
Résultat IPSharpProgram