blob: 376c86b4bee36a64790214e4cefc528fa717ff4c [file] [log] [blame] [edit]
library;
import self as self;
import "dart:core" as core;
static method printBugsSwitch(core::int n) void
return block {
void #t1;
final synthesized core::int #0#0 = n;
final const synthesized core::int #0#1 = #C1;
final const synthesized core::int #0#3 = #C2;
#L1:
{
{
if(#C1 =={core::num::==}{(core::Object) core::bool} #0#0) {
#t1 = core::print("no bugs");
break #L1;
}
}
{
if(#C2 =={core::num::==}{(core::Object) core::bool} #0#0) {
#t1 = core::print("one bug");
break #L1;
}
}
{
if(true) {
#t1 = core::print("${n} bugs");
break #L1;
}
}
}
} =>#t1;
static method printBugsConditional(core::int n) void
return n =={core::num::==}{(core::Object) core::bool} 0 ?{void} core::print("no bugs") : n =={core::num::==}{(core::Object) core::bool} 1 ?{void} core::print("one bug") : core::print("${n} bugs");
static method main() dynamic {
self::printBugsSwitch(0);
self::printBugsSwitch(1);
self::printBugsSwitch(2);
self::printBugsConditional(0);
self::printBugsConditional(1);
self::printBugsConditional(2);
}
constants {
#C1 = 0
#C2 = 1
}