Script.NET is an open source programming language created in 2007.
git clone https://github.com/PetroProtsyk/SSharp| #847on PLDB | 16Years Old |
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...
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());