38 lines
496 B
Plaintext
38 lines
496 B
Plaintext
class C {
|
|
abstract void f1() //
|
|
in (true);
|
|
|
|
abstract void f2() /* */
|
|
in (true);
|
|
|
|
abstract bool f3() //
|
|
out (r; r);
|
|
|
|
abstract bool f4() /* */
|
|
out (r; r);
|
|
|
|
abstract void f5() //
|
|
do {
|
|
}
|
|
|
|
abstract void f6() /* */
|
|
do {
|
|
}
|
|
|
|
abstract bool f7() //
|
|
in (true) //
|
|
out (r; r) //
|
|
do //
|
|
{
|
|
return true;
|
|
}
|
|
|
|
abstract bool f8() /* */
|
|
in (true) /* */
|
|
out (r; r) /* */
|
|
do /* */
|
|
{
|
|
return true;
|
|
}
|
|
}
|