scilab: clean contract example

This commit is contained in:
Simon Marchetto 2014-07-10 12:23:20 +02:00
commit 3b116719df

View file

@ -5,28 +5,28 @@ exec loader.sce;
// Call our gcd() function // Call our gcd() function
x = 42; x = 42;
y = 105; y = 105;
g = gcd(x,y); g = gcd(x, y);
printf("The gcd of %d and %d is %d\n",x,y,g); printf("The gcd of %d and %d is %d\n", x, y, g);
// Call our fact() function // Call our fact() function
x=5; x = 5;
g=fact(x); g = fact(x);
printf("The fact of %d is %d\n",x,g); printf("The fact of %d is %d\n", x, g);
// Manipulate the Foo global variable // Manipulate the Foo global variable
// Output its current value // Output its current value
printf("Foo = %f\n",Foo_get()); printf("Foo = %f\n", Foo_get());
// Change its value // Change its value
Foo_set (3.1415926); Foo_set(3.1415926);
// See if the change took effect // See if the change took effect
printf("Foo = %f\n", Foo_get()); printf("Foo = %f\n", Foo_get());
// Check error message if violate contract // Check error message if violate contract
try try
g = gcd(-42,105); g = gcd(-42, 105);
catch catch
printf("%s\n", lasterror()); printf("%s\n", lasterror());
end end