📄 manual.ps
字号:
00003E0000000000000000001E0000000000000000001E0000000000000000001F0000000000000000000F8000000000000000000F80000000000000000007C0000000000000000003E0000000000000000003E0000000000000000001F0000000000000000000F80000000000000000007C0000000000000000007E0000000000000000001F8000000000000000000FC0000000000000000007F07FFFFFFFFFFFFFFFFFFCFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF7FFFFFFFFFFFFFFFFFFC000000000000000007F000000000000000000FC000000000000000001F8000000000000000007E0000000000000000007C000000000000000000F8000000000000000001F0000000000000000003E0000000000000000003E0000000000000000007C000000000000000000F8000000000000000000F8000000000000000001F0000000000000000001E0000000000000000001E0000000000000000003E0000000000000000003C0000000000000000003C0000000000000000007C000000000000000000780000000000000000007800000000000000000030000050307BAE5B>33 D<0000003F000003FF00000FE000003F8000007E000001FC000001F8000003F0000003F0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E000000FE000000FC000001FC000003F8000003F000000FE000003F800007FE00000FF0000007FE0000003F8000000FE0000003F0000003F8000001FC000000FC000000FE0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000003F0000003F0000001F8000001FC0000007E0000003F8000000FE0000003FF0000003F205B7AC32D>102 D<FC000000FFC0000007F0000001FC0000007E0000003F8000001F8000000FC000000FC0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007F0000003F0000003F8000001FC000000FC0000007F0000001FC0000007FE000000FF000007FE00001FC000007F000000FC000001FC000003F8000003F0000007F0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E0000007E000000FC000000FC000001F8000003F8000007E000001FC000007F00000FFC00000FC000000205B7AC32D>I<60F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F060045B76C319>106 D E%EndDVIPSBitmapFont/Fe 134[40 1[61 40 45 25 35 35 1[45 45 45 66 25 40 1[2545 45 25 40 45 40 1[45 51[30 42[45 2[{TeXBase1Encoding ReEncodeFont}2390.9091 /Times-Italic rf%DVIPSBitmapFont: Ff cmmi10 10.95 4/Ff 4 60 df<000007F800000000003FFF0000000000FC0F8000000003F003E00000000FC001F00070001F8001F800F0007F0000F800E000FE0000FC00E001FC00007E00E003FC00007E01E003F800007E01C007F000003F01C00FF000003F03800FE000003F03801FE000003F07803FE000003F07003FC000003F0F003FC000003F0E007FC000003F1E007F8000003F1C007F8000003F3C007F8000003F7800FF8000003F7000FF0000003FF000FF0000003FE000FF0000003FC000FF0000003F8000FF0000003F8000FF0000003F00007F0000003F00007F0000003F00007F0000007F00003F000000FF00003F000001FF80001F8000079F81C01F80000F1F81C00FC0003C0F83C007E000F00F838001F80FC007C700007FFF0003FE00001FF00000F80034297DA73A>11 D<000000001FE00000000000FFFC0000000003F03E000000000F800F800000001E000780000000380007C0000000F00003E0000001E00003E0000003C00003E0000007800003F0000007000003F000000E000003F000001E000003F000001C000007F0000038000007E0000078000007E0000070000007E00000F000000FE00000E000000FC00001E000000FC00001C000001F800001C000003F000003C000003F0000038000007E000003800000FC000007801FF9F0000007007FFFE000000700700FC0000007007FFFE000000F001FF1F000000E000001F800000E000000FC00000E000000FE00001E0000007E00001C0000007F00001C0000007F00001C0000007F00003C0000007F0000380000007F0000380000007F0000380000007F000078000000FF000070000000FF000070000000FF000070000000FF0000F0000001FF0000F0000001FE0000E0000001FE0000E0000001FE0001E0000003FC0001E0000003FC0001E0000003F80001E0000007F80003F0000007F00003F000000FE00003F000001FE00003F800001FC00007B800003F8000071C00007F0000071E0000FC0000070F0001F800000F078007E000000E01F01F8000000E007FFE0000000E000FF00000001E0000000000001C0000000000001C0000000000001C0000000000003C00000000000038000000000000380000000000003800000000000078000000000000700000000000007000000000000070000000000000F0000000000000E0000000000000E0000000000000E0000000000000E000000000000034527EBF33>I<1E007F807F80FFC0FFC0FFC0FFC07F807F801E000A0A798919>58 D<1E007F80FF80FFC0FFC0FFE0FFE0FFE07FE01E60006000600060006000E000C000C000C001C001800380030007000E001C001800380030000B1C798919>I E%EndDVIPSBitmapFont%DVIPSBitmapFont: Fg cmr10 10 3/Fg 3 59 df<0000600000E00001C0000380000700000E00001E00003C0000780000780000F00001E00001E00003C00003C00007C0000780000F80000F00000F00001F00001E00001E00003E00003E00003E00007C00007C00007C00007C00007C00007C0000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F80000F800007C00007C00007C00007C00007C00007C00003E00003E00003E00001E00001E00001F00000F00000F00000F800007800007C00003C00003C00001E00001E00000F000007800007800003C00001E00000E000007000003800001C00000E0000060135278BD20>40 D<C00000E000007000003800001C00000E00000F000007800003C00003C00001E00000F00000F000007800007800007C00003C00003E00001E00001E00001F00000F00000F00000F80000F80000F800007C00007C00007C00007C00007C00007C00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00003E00007C00007C00007C00007C00007C00007C0000F80000F80000F80000F00000F00001F00001E00001E00003E00003C00007C0000780000780000F00000F00001E00003C00003C0000780000F00000E00001C0000380000700000E00000C0000013527CBD20>I<1C007F00FF80FF80FF80FF80FF807F001C000000000000000000000000000000000000000000000000000000000000000000000000001C007F00FF80FF80FF80FF80FF807F001C00092479A317>58 D E%EndDVIPSBitmapFont%DVIPSBitmapFont: Fh cmsy10 10 4/Fh 4 107 df<0000000000001E00000000000000001E00000000000000001E00000000000000001E00000000000000001F00000000000000000F00000000000000000F00000000000000000F800000000000000007800000000000000007C00000000000000003E00000000000000003E00000000000000001F00000000000000000F80000000000000000FC00000000000000007E00000000000000003F00000000000000001F80000000000000000FC00000000000000007F07FFFFFFFFFFFFFFFFCFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF7FFFFFFFFFFFFFFFFC0000000000000007F0000000000000000FC0000000000000001F80000000000000003F00000000000000007E0000000000000000FC0000000000000000F80000000000000001F00000000000000003E00000000000000003E00000000000000007C0000000000000000780000000000000000F80000000000000000F00000000000000000F00000000000000001F00000000000000001E00000000000000001E00000000000000001E00000000000000001E0000482C7BAA53>33 D<000001F800000FF800003F800000FC000001F8000003F0000007E0000007E000000FE000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000001FC000001F8000003F8000007F000000FE000003F800007FE00000FF0000007FE0000003F8000000FE0000007F0000003F8000001F8000001FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FE0000007E0000007E0000003F0000001F8000000FC0000003F8000000FF8000001F81D537ABD2A>102D<FC000000FFC0000007F0000001FC0000007E0000003F0000003F8000001F8000001FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FE0000007E0000007F0000003F8000001FC0000007E0000001FF0000007F800001FF000007E000001FC000003F8000007F0000007E000000FE000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000000FC000001FC000001F8000003F8000003F0000007E000001FC000007F00000FFC00000FC0000001D537ABD2A>I<60F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F0F060045377BD17>106D E%EndDVIPSBitmapFont%DVIPSBitmapFont: Fi cmmi10 10 4/Fi 4 60 df<00003FC000000000FFF800000007E07C0000000F801F0000003F001F800C007E000F800C00FC0007C01C01F80007E01803F00007E01807E00003E0380FE00003F0300FC00003F0301FC00003F0703F800003F0603F800003F0E07F800003F0C07F000003F1C07F000003F1807F000003F380FF000003F300FE000003F700FE000003FE00FE000003FC00FE000003FC00FC000003F800FC000003F000FC000003F000FC000003F000FC000003F0007E000007F0007E00000FF0003E00001DF8183F000079F8181F0000E1F8380F8007C0F83007E03F007CF001FFF8003FC0003FC0000F802E267DA435>11 D<00000001FC0000000007FF800000001E07C00000007801E0000000E001F0000001C000F80000038000F80000070000F800000E0000FC00001C0000FC0000380000FC0000300000FC0000700001FC0000600001F80000E00001F80000C00001F80001C00003F80001800003F00003800003F00003000007E00003000007C0000700000FC0000600001F80000600FFBF00000E01FFFC00000C0381F800000C03FFFE00000C00FF1F00001C00001F80001800000F80001800000FC0001800000FC0003800000FC00030000007E00030000007E0003000000FE0007000000FE0006000000FE0006000000FE0006000000FE000E000001FE000C000001FC000C000001FC000C000001FC001C000003FC001C000003F8001C000003F8001C000007F0003C000007F0003C00000FE0003C00000FC0003E00001F80007600003F00006700007E0000638000FC000061C001F80000E0E003F00000C0780FC00000C01FFF000000C007F8000001C0000000000180000000000180000000000180000000000380000000000300000000000300000000000300000000000700000000000600000000000600000000000600000000000E00000000000C00000000000C000000000002E4B7EBA2F>I<1C007F00FF80FF80FF80FF80FF807F001C000909798817>58 D<1C007F00FF80FF80FFC0FFC0FFC07FC01CC000C000C000C000C001C00180018003800300070006000E001C003800700060000A19798817>I E%EndDVIPSBitmapFont/Fj 134[50 50 1[50 50 50 50 50 1[50 50 50 1[50 2[50 1[501[50 50 50 1[50 97[{TeXBase1Encoding ReEncodeFont}1783.022 /Courier-Bold rf /Fk 134[55 55 55 55 55 55 5555 1[55 55 55 55 55 55 55 55 55 55 55 55 55 55 55 557[55 55 1[55 55 55 55 55 1[55 55 55 55 55 2[55 55 5555 55 1[55 55 55 3[55 2[55 11[55 3[55 42[{TeXBase1Encoding ReEncodeFont}48 90.9091 /Courier rf /Fl 134[55 55 1[55 55 55 55 551[55 55 55 1[55 2[55 1[55 1[55 55 55 1[55 97[{TeXBase1Encoding ReEncodeFont}17 90.9091 /Courier-Boldrf /Fm 134[72 72 2[72 72 72 72 2[72 72 1[72 2[72 3[721[72 72 72 10[72 1[72 72 2[72 72 1[72 72 2[72 5[72 20[7246[{TeXBase1Encoding ReEncodeFont}24 119.552 /Courierrf /Fn 130[50 1[50 1[50 50 50 50 50 50 50 50 1[50 5050 50 50 50 50 50 50 50 50 50 50 50 50 50 3[50 1[50 3[5050 50 50 50 50 1[50 50 50 50 50 1[50 50 50 50 50 50 5050 5[50 1[50 50 7[50 50 50 50 50 50 50 1[50 50 50 5[5034[{TeXBase1Encoding ReEncodeFont}61 83.022 /Courierrf /Fo 136[66 8[51 76 25 6[40 51 2[45 17[71 66 4[35 9[4563[{TeXBase1Encoding ReEncodeFont}11 90.9091 /Times-Boldrf /Fp 134[50 1[72 50 55 33 39 44 1[55 50 55 83 28 551[28 55 50 33 44 55 44 55 50 13[55 2[61 1[72 4[39 4[7272 66 72 6[33 4[50 50 50 50 50 1[28 25 46[{TeXBase1Encoding ReEncodeFont}38 99.6264 /Times-Boldrf /Fq 133[40 45 45 66 45 45 25 35 30 45 45 45 45 7125 45 25 25 45 45 30 40 45 40 45 40 9[86 66 66 56 5161 2[66 66 81 56 66 35 30 66 1[51 56 66 61 61 66 5[2525 45 45 45 45 45 45 45 45 45 45 25 23 30 23 2[30 3030 35[51 51 2[{TeXBase1Encoding ReEncodeFont}67 90.9091/Times-Roman rf /Fr 138[66 40 47 53 1[66 60 66 100 332[33 66 60 1[53 66 53 1[60 12[80 3[73 2[113 80 8[86 12[6060 60 60 60 60 2[30 46[{TeXBase1Encoding ReEncodeFont}28119.552 /Times-Bold rf /Fs 134[103 5[80 92 2[103 1154[57 2[69 92 1[92 115 103 14[149 4[195 138 8[149 13866[{TeXBase1Encoding ReEncodeFont}16 206.559 /Times-Boldrf /Ft 139[57 1[76 1[96 7[96 2[76 3[86 29[124 15[86 8686 49[{TeXBase1Encoding ReEncodeFont}10 172.188 /Times-Boldrf end%%EndProlog%%BeginSetup%%Feature: *Resolution 600dpiTeXDict begin%%EndSetup%%Page: 1 11 0 bop 241 1180 a Ft(Chapter)44 b(1)241 1597 y Fs(Basics)2412081 y Fr(1.1)119 b(P)n(orting)29 b(old)i(CML)f(pr)n(ograms)2412292 y Fq(There)j(ha)n(v)o(e)g(been)h(substantial)i(changes)f(from)e(v)o(ersion)h(0.9.8)f(of)g(CML.)e(Most)i(of)g(these)2412405 y(changes)24 b(are)f(cosmetic)h(name)f(changes)h(meant)f(to)f(track)i(changes)g(in)f(the)g(SML)d(interf)o(aces,)2412518 y(and)j(to)g(rationalize)j(naming)d(con)l(v)o(entions.)32b(In)23 b(this)g(section,)i(we)d(detail)i(the)f(changes)i(to)d(the)2412631 y(CML)f(interf)o(aces,)26 b(and)e(describe)i(correspondence)i(between)c(the)g(old)g(and)g(ne)n(w)e(interf)o(aces.)2412893 y Fp(1.1.1)99 b(Backwards)26 b(compatibility)e(modules)2413072 y Fq(T)-7 b(o)21 b(ease)h(the)h(transition)i(from)d(v)o(ersion)h(0.9.8)f(of)g(CML)e(to)i(the)h(ne)n(w)e(interf)o(aces,)k(we)c(pro)o(vide)241 3185 y(tw)o(o)i(backw)o(ards)i(compatibility)i(modules)e(in)e(the)h(CML)e(Library)-6 b(.)241 3447 y Fp(1.1.2)99 b(Name)25b(changes)1187 3620 y Fo(Old)d(name)217 b(New)22 b(name)11873733 y Fn(accept)298 b(recv)1187 3846 y(receive)248 b(recvEvt)11873959 y(transmit)198 b(sendEvt)1187 4072 y(timout)298b(timeOutEvt)1187 4185 y(waitUntil)148 b(atTimeEvt)11874298 y(threadWait)98 b(joinEvt)1187 4410 y(sameThread)g(sameTid)2414667 y Fp(1.1.3)h(Input/output)241 4846 y Fq(The)28 b(most)g(signi\002cant)j(changes)f(to)e(the)h(CML)e(interf)o(aces)k(ha)n(v)o(e)e(to)f(do)h(with)f(input/output)241 4959 y(operations.)41b(In)26 b(v)o(ersion)j(0.9.8,)e(the)g(structure)i Fn(CIO)cFq(pro)o(vided)k(an)d(implementation)k(of)c(the)17125187 y(1)p eop%%Page: 2 22 1 bop 664 555 a Fq(SML/NJ)30 b Fn(IO)g Fq(signature)j(e)o(xtended)g(with)e(e)n(v)o(ent-v)n(alued)j(operations.)54 b(The)31b(old)h(SML)d(I/O)664 668 y(interf)o(ace)j(has)f(been)f(replaced)i(with)e(a)g(ne)n(w)f(interf)o(ace,)k(which)e(is)f(described)i(in)e(the)g(SML)664 781 y(Basis)24 b(Library)g(Manual,)g(and)g(CML)e(has)i(follo)n(wed)h(suite.)664 1030 y Fp(1.1.4)99 b(Condition)25b(v)o(ariables)664 1208 y(1.1.5)99 b(P)n(olling)664 1382y Fq(The)25 b(only)h(loss)g(in)f(function)i(from)e(v)o(ersion)i(0.9.8)e(is)g(the)h(elimination)i(of)d(the)g Fn(poll)f Fq(opera-)664
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -