Script.NET is an actively used programming language created in 2007. Script.NET or S# is a metaprogramming language that provides scripting functionality in Microsoft .NET applications, allowing runtime execution of custom functionality, similar to VBA in Microsoft Office applications. The syntax of Script.NET is similar to JavaScript. It is designed to be simple and efficient scripting language allowing to customize .NET applications. Read more on Wikipedia...

12Years Old 189Users 0Jobs

Example code from Wikipedia:

function Push(item)
[
//Limit to 10 items
 pre(me{{Not a typo|.}}Count < 10 ); 
 post();
 invariant();
]
{
 //me is mutated object, 
 //stack in this case
 me.Push(item);
}

function Pop()
[//Check emptiness hardik
 pre(me{{Not a typo|.}}Count > 0);
 post();
 invariant();
]
{
 return me.Pop();
}

stack = new Stack<|int|>();

//Create Mutant hardik
//1. Set Functions, override stack{{Not a typo|.}}Push
mObject=[Push->Push,PopCheck->Pop];
//2. Capture object
mObject.Mutate(stack);

for (i=0; i<5; i++)
  mObject.Push(i);

Console.WriteLine((string)mObject.PopCheck());

Last updated December 4th, 2019

Edit Script.NET