コード例 #1
0
ファイル: wycc__min.c プロジェクト: samminweng/WhileyCompiler
static void __initor_b() {
// filling in type registry array goes here
// Here goes code to fill the FOM registry
    wycc_register_routine("min", "[^i,v,i,i]", wycc__min);
    wycc_register_routine("min", "[^r,v,r,r]", wycc__min);
    return;
}
コード例 #2
0
ファイル: wycc__file.c プロジェクト: DanielGibbsNZ/Whiley
static void __initor_b() {
// filling in type registry array goes here
// Here goes code to fill the FOM registry
    wycc_register_routine("Writer", "[^[.a],v,s]", wycc__Writer);
    wycc_register_routine("Writer", "[:[.[{fileName,writer}s,i]],v,s]", wycc__Writer);
    wycc_register_routine("Reader", "[^[.a],v,s]", wycc__Reader);
    wycc_register_routine("Reader", "[:[.[{fileName}s]],v,s]", wycc__Reader);
    wycc_register_routine("close", "[^v,v,[.a]]", wycc__close);
    wycc_register_routine("close", "[:v,v,[.[{fileName,writer}s,i]]]", wycc__close);
    wycc_register_routine("close", "[:v,v,[.[{fileName}s]]]", wycc__close);
    wycc_register_routine("read", "[:[#d],v,[.a]]", wycc__read);
    wycc_register_routine("read", "[:[#d],v,[.[{fileName}s]]]", wycc__read);
    wycc_register_routine("read", "[:[#d],v,[.a],i]", wycc__read_max);
    wycc_register_routine("read", "[:[#d],v,[.[{fileName}s]],i]", wycc__read_max);
    wycc_register_routine("write", "[:[#d],v,[.a],i]", wycc__write);
    wycc_register_routine("write", "[:[#d],v,[.[{fileName,writer}s,i]],i]", wycc__write);
    return;
}
コード例 #3
0
ファイル: wycc__isDigit.c プロジェクト: DanielGibbsNZ/Whiley
static void __initor_b() {
// filling in type registry array goes here
// Here goes code to fill the FOM registry
    wycc_register_routine("isDigit", "[^b,v,c]", wycc__isDigit);
    return;
}
コード例 #4
0
static void __initor_b() {
// filling in type registry array goes here
// Here goes code to fill the FOM registry
    wycc_register_routine("toUnsignedInt", "[^i,v,d]", wycc__toUnsignedInt);
    return;
}