2 Why We Need Model-Based Testing

250 Modeling Objects
namespace Payroll1
{
class Employee : CompoundValue
{
public readonly int id;
public Employee(int id) { this.id = id; }
}
}
}
static class Contract
{
static int nextId = 1;
static Set allEmployees = Set.EmptySet;
static Map salary = Map.EmptyMap;
static Set NextEmployee()
{
return new Set(new Employee(nextId));
}
[Action]
static void CreateEmployee([Domain("NextEmployee")] Employee emp)
{
nextId = nextId + 1;
allEmployees = allEmployees.Add(emp);
salary = salary.Add(emp, 0); // default salary
}
[Action]
static void DeleteEmployee([Domain("allEmployees")] Employee emp)
{
allEmployees = allEmployees.Remove(emp);
salary = salary.RemoveKey(emp);
}
[Action]
static void SetSalary([Domain("allEmployees")] Employee emp, int x)
{
salary = salary.Override(emp, x);
}
more free ebooks download links at:
http://www.ebook-x.com