S
Size: a a a
PE
PE
concept Greeting {
abstract method sayHello(): String;
virtual method sayGoodbye(): String {
return "goodbye";
}
}
entity GenericGreeting provides Greeting {
const instance: GenericGreeting = GenericGreeting@{};
override method sayHello(): String {
return "hello world";
}
}
PE
PE
PE
entity Animal {
invariant $says != "";
field says: String;
}
function createAnimalPreSafe(catchPhrase: String): Animal
requires release catchPhrase != "";
{
return Animal@{says=catchPhrase};
}
зачем requires сделали частью языка - вообще не понятноPE
PE
PE
namespace NSMain;
entrypoint function main(x: Int, y: Int): Int {
return (x > y) ? x : y;
}
PE
PE
PE
PE
PE
PE
S
PE