Esempi in C# (CSharp) per Microsoft.Research.Vcc.VSPackage VSIntegration.InsertIntoCurrentDocument

Esempio n. 1

 private void InsertUnion(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∪");
 }

Esempio n. 2

 private void InsertExists(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∃");
 }

Esempio n. 3

 private void InsertLambda(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("λ");
 }

Esempio n. 4

 private void InsertForall(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∀");
 }