Annotation of OpenXM/src/kan96xx/Doc/ox.sm1, Revision 1.1
1.1 ! maekawa 1: %%%%%%%%%%%% Configuration: Specify your server path
! 2: %%%%% ox, ox_sm1, oxlog are contained in kxx.tgz
! 3: %%%%% These should be under /usr/local/lib/sm1 or LOAD_SM1_PATH
! 4: /oxpath.ox (bin/ox) def
! 5: /oxpath.oxsm1 (bin/ox_sm1) def
! 6: /oxpath.oxlog (bin/oxlog) def
! 7: /oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def
! 8: /oxpath.null ( ) def
! 9: /oxpath.null00 ( >& /dev/null ) def %% cf oxNoX
! 10: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
! 11: %% Old full path.
! 12: %/oxpath.ox (/home/nobuki/kxx/ox) def
! 13: %/oxpath.oxsm1 (/home/nobuki/kxx/ox_sm1) def
! 14: %/oxpath.oxlog (/home/nobuki/kxx/oxlog) def
! 15: %/oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def
! 16:
! 17: %% This macro is invoked when this package is loaded.
! 18: /initializePathNamesForOx {
! 19: [oxpath.ox] getPathNameSm1 /oxpath.ox set
! 20: [oxpath.oxsm1] getPathNameSm1 /oxpath.oxsm1 set
! 21: [oxpath.oxlog] getPathNameSm1 /oxpath.oxlog set
! 22: /oxpath.oxlog.xterm [oxpath.oxlog ( ) oxpath.xterm] cat def
! 23: } def
! 24:
! 25: %% Execute this macro, then xterm will not be executed and the output
! 26: %% will be redirected to /dev/null.
! 27: /oxNoX {
! 28: /oxpath.null oxpath.null00 def
! 29: /oxpath.oxlog.xterm [oxpath.oxlog ( )] cat def
! 30: (oxpath.oxlog.xterm is set to ) messagen
! 31: oxpath.oxlog.xterm message
! 32: } def
! 33:
! 34: /ox.ccc.init { ox.ccc ( [(oxPrintMessage) 0] extension pop ) oxsubmit } def
! 35:
! 36: /ox.verbose 0 def
! 37: /ox.version (2.981105) def
! 38: ox.version [(Version)] system_variable gt
! 39: { (This package requires the latest version of kan/sm1) message
! 40: (Please get it from http://www.math.kobe-u.ac.jp/KAN) message
! 41: error
! 42: } { } ifelse
! 43: (ox.sm1, --- open sm1 protocol module 10/1,1999 (C) N.Takayama. oxhelp for help) message-quiet
! 44:
! 45: /ox.ccc load isArray
! 46: { }
! 47: { /ox.ccc [ ] def } ifelse
! 48:
! 49:
! 50:
! 51: /ox.logsize 10 def
! 52: /ox.log [1 1 ox.logsize {pop 0} for ] def
! 53: /ox.mod { dup ox.logsize idiv ox.logsize mul sub } def
! 54: /ox.takelog 1 def
! 55:
! 56: /SM_executeStringByLocalParser 268 def
! 57: /SM_execute 268 def
! 58: /SM_popString 263 def
! 59: /SM_mathcap 264 def
! 60:
! 61: /SM_popCMO 262 def
! 62: /SM_executeFunction 269 def
! 63: /SM_DUMMY_sendcmo 280 def
! 64: /SM_sync_ball 281 def
! 65:
! 66: /SM_pops 265 def
! 67: /SM_setName 266 def
! 68: /SM_evalName 267 def
! 69:
! 70: /SM_setMathCap 273 def
! 71:
! 72: /SM_getsp 275 def
! 73: /SM_dupErrors 276 def
! 74:
! 75: /SM_control_kill 1024 def
! 76: /SM_control_reset_connection 1030 def
! 77:
! 78: /Etag_error 257 def
! 79:
! 80: /enginesList [
! 81: [(localhost) 1300 1200]
! 82: [(localhost) 2300 2200]
! 83: ] def
! 84: %% cf. startengines
! 85: /enginesList.2 [
! 86: [(dc1) 1300 1200]
! 87: [(dc2) 2300 2200]
! 88: ] def
! 89: %% cf. se12
! 90:
! 91: /oxconnect {
! 92: /arg1 set
! 93: [(oxCreateClient) arg1 aload pop] extension
! 94: } def
! 95: [(oxconnect)
! 96: [([hostname data-port control-port] oxconnect pid)
! 97: (oxconnect is used to connect this to a server on the hostname with data-port)
! 98: (and control-port)
! 99: (Example 1: ox -ox ox_sm1 -data 1300 -control 1200 <== on server.)
! 100: ( [$localhost$ 1300 1200] oxconnect /ox.ccc set <== on client.)
! 101: (Example 2: ox -ox ox_sm1 -host s.OpenXM.org -insecure -data 1300 -control 1200 <== on server.)
! 102: ( [$s.OpenXM.org$ 1300 1200] oxconnect /ox.ccc set <== on client.)
! 103: (Example 3: ox -ox ox_sm1 -data 1300 -control 1200 >& /dev/null &<== on server.)
! 104: ( [$localhost$ 1300 1200] oxconnect /ox.ccc set <== on client.)
! 105: ( cf. oxNoX)
! 106: (See also ox)
! 107: ]
! 108: ] putUsages
! 109:
! 110: [(ox)
! 111: [
! 112: (client aa oxpushcmo (oxsendcmo), client oxpopcmo dd, client popstring dd, client ss oxrpc)
! 113: (Example: ox.ccc [1 2 3] oxpushcmo ox.ccc oxpopcmo /ff set ff :: )
! 114: ( )
! 115: (client ss oxexecutestring(oxsubmit) <<executeString>>, client ss oxexec <<executeFunction>>)
! 116:
! 117: (Example: ox.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring )
! 118: (Example: ox.ccc (2).. oxpushcmo ox.ccc (10).. oxpushcmo )
! 119: ( ox.ccc (power) oxexec ox.ccc oxpopcmo :: )
! 120: ( )
! 121: (client str oxevalname, client str oxsetname, client num oxpops, client oxget)
! 122: ( )
! 123: (client oxmathcap, client oxsetmathcap, oxgenportfile, oxremoveportfile)
! 124: ( )
! 125: (client oxgetsp --- get stack pointer, client oxgeterrors --- get all errors)
! 126: (cleint oxisData, client oxreset, client oxshutdown)
! 127: (oxhelp for this message, [(oxWatch) client] extension to start a log.)
! 128: ([(oxSerial)] extension serial-number-of-out-going-ox-packet.)
! 129: (oxpopcmo1, oxpopcmo2, sm1connect2, sm1connect3)
! 130: (sm1connectr )
! 131: (oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null)
! 132: $ ex 1. (ox.sm1) run oxNoX sm1connectr $
! 133: $ ex 2. (oxasir.sm1) run oxNoX (x^2-1). fctr pmat ; $
! 134: ]
! 135: ] putUsages
! 136:
! 137: /oxhelp {
! 138: (oxconnect) usage
! 139: ( ) message
! 140: (ox) usage
! 141: } def
! 142: [(oxhelp)
! 143: [(oxhelp outputs help messages for ox commands.)
! 144: ]] putUsages
! 145:
! 146: ox.verbose { oxhelp } { } ifelse
! 147:
! 148: /sm1connect2 {
! 149: [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1
! 150: oxpath.null
! 151: ( &)] cat system
! 152: % (kterm -iconic -e /home/nobuki/kxx/ox -ox /home/nobuki/kxx/ox_sm1 &) system
! 153: % For MSRI, or Eterm,
! 154: %(xterm -icon -e /u/nobuki/tmp/kxx/ox -ox /u/nobuki/tmp/Ox/ox_sm1 &) system
! 155: (If you start the server automatically, you may have a trouble to) message
! 156: (oxreset. In order to avoid this trouble, start the server by hand.) message
! 157: (sleep 5) system
! 158: [(localhost) 1300 1200] oxconnect /ox.ccc set
! 159: (The server is binded to the variable ox.ccc) message
! 160: ox.ccc.init
! 161: } def
! 162:
! 163: /sm1connect3 {
! 164: [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1
! 165: ( -data 2300 -control 2200 )
! 166: oxpath.null
! 167: ( &)] cat system
! 168: % (kterm -iconic -e /home/nobuki/kxx/ox -ox /home/nobuki/kxx/ox_sm1 -data 2300 -control 2200 &) system
! 169: % For MSRI
! 170: %(xterm -icon -e /u/nobuki/tmp/kxx/ox -ox /u/nobuki/tmp/Ox/ox_sm1 -data 2300 -control 2200&) system
! 171: (If you start the server automatically, you may have a trouble to) message
! 172: (oxreset. In order to avoid this trouble, start the server by hand.) message
! 173: (sleep 5) system
! 174: [(localhost) 2300 2200] oxconnect /ox.ccc2 set
! 175: (The server is binded to the variable ox.ccc2) message
! 176: } def
! 177:
! 178: /sm1connect4 {
! 179: %% test version.
! 180: /ox.ccc.portfile oxgenportfile def
! 181: [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1
! 182: ( -portfile ) ox.ccc.portfile
! 183: oxpath.null
! 184: ( &)] cat system
! 185: (sleep 5) system
! 186: [(oxReadPortFile) ox.ccc.portfile] extension /ox.ccc.control set
! 187: ox.ccc.control message
! 188: [(localhost) ox.ccc.control 1200] /ox.ccc set
! 189: (The server is binded to the variable ox.ccc) message
! 190: oxremoveportfile
! 191: } def
! 192:
! 193: /oxpushcmo { oxsendcmo } def
! 194: /oxsendcmo {
! 195: /arg1 set
! 196: /arg2 set
! 197: ox.takelog { ox.log [(oxSerial)] extension ox.mod arg1 put
! 198: } { } ifelse
! 199: [(oxReq) arg2 SM_DUMMY_sendcmo arg1] extension pop
! 200: } def
! 201:
! 202: /oxpopcmo {
! 203: /arg1 set
! 204: [(oxReq) arg1 SM_popCMO ] extension pop
! 205: [(oxGet) arg1] extension
! 206: } def
! 207:
! 208: /oxgetsp {
! 209: /arg1 set
! 210: [(oxReq) arg1 SM_getsp ] extension pop
! 211: [(oxReq) arg1 SM_popCMO ] extension pop
! 212: [(oxGet) arg1] extension
! 213: } def
! 214:
! 215: /oxgeterrors {
! 216: /arg1 set
! 217: [(oxReq) arg1 SM_dupErrors ] extension pop
! 218: [(oxReq) arg1 SM_popCMO ] extension pop
! 219: [(oxGet) arg1] extension
! 220: } def
! 221:
! 222: /oxmathcap0 {
! 223: /arg1 set
! 224: [(oxReq) arg1 SM_mathcap ] extension pop
! 225: } def
! 226: /oxmathcap {
! 227: /arg1 set
! 228: [/in-oxmathcap /mypeer /mmm] pushVariables
! 229: [ /mypeer arg1 def
! 230: mypeer oxmathcap0
! 231: mypeer oxpopcmo /mmm set
! 232: mypeer 10 mmm put %% set math cap.
! 233: ] pop
! 234: popVariables
! 235: } def
! 236: /oxsetmathcap {
! 237: /arg1 set
! 238: [/in-oxsetmathcap /mypeer /mymathcap] pushVariables
! 239: [
! 240: /mypeer arg1 def
! 241: /mymathcap [(cmoMathCap)] extension (array) dc def
! 242: [(oxReq)
! 243: mypeer SM_setMathCap
! 244: mymathcap
! 245: ] extension pop
! 246: ] pop
! 247: popVariables
! 248: } def
! 249: /oxsetmathcap.old {
! 250: /arg1 set
! 251: [(oxReq)
! 252: arg1 SM_setMathCap
! 253: [(mathcap-object)
! 254: [[199901160 (sm1)]
! 255: [2130706434 , 1 , 2 , 4 , 17 , 19 , 20 , 22 , 23 , 24 , 25 , 26 , 30 ]
! 256: %% mathcap for sm1.
! 257: %% [1 2 3 4 5] %% for test. cf. cmoCheckMathCap, Sm1_mathcap()
! 258: ]
! 259: ] %% Never write a broken data here.
! 260: ] extension pop
! 261: } def
! 262: /oxpopcmo1 { %% ask of the transmission.
! 263: /arg1 set
! 264: [(oxReq) arg1 SM_popCMO ] extension pop
! 265: } def
! 266: /oxpopcmo2 { %% wait the data.
! 267: /arg1 set
! 268: [(oxGet) arg1] extension
! 269: } def
! 270:
! 271:
! 272: /oxpopstring {
! 273: /arg1 set
! 274: [(oxReq) arg1 SM_popString ] extension pop
! 275: [(oxGet) arg1] extension
! 276: } def
! 277:
! 278: /oxrpc {
! 279: /arg1 set
! 280: /arg2 set
! 281: [/ans /ff] pushVariables
! 282: [
! 283: /ff arg2 def
! 284: ox.takelog { ox.log [(oxSerial)] extension ox.mod arg1 put
! 285: ox.log [(oxSerial)] extension 1 add ox.mod (executeString) put
! 286: } { } ifelse
! 287: [(oxReq) ff SM_execute arg1] extension pop
! 288: [(oxReq) ff SM_popCMO] extension pop
! 289: [(oxGet) ff] extension /ans set
! 290: ans etag Etag_error eq {
! 291: (Got an error object.) message
! 292: /arg1 ans def
! 293: }
! 294: { /arg1 ans def
! 295: } ifelse
! 296: ] pop
! 297: popVariables
! 298: arg1
! 299: } def
! 300:
! 301: /oxexecutestring { oxsubmit } def
! 302: /oxsubmit {
! 303: /arg1 set
! 304: /arg2 set
! 305: ox.takelog { ox.log [(oxSerial)] extension ox.mod arg1 put
! 306: ox.log [(oxSerial)] extension 1 add ox.mod (executeString) put
! 307: } { } ifelse
! 308: [(oxReq) arg2 SM_execute arg1] extension pop
! 309: } def
! 310:
! 311: /oxexec {
! 312: /arg1 set
! 313: /arg2 set
! 314: ox.takelog { ox.log [(oxSerial)] extension ox.mod arg1 put
! 315: ox.log [(oxSerial)] extension 1 add ox.mod (executeFunction) put
! 316: } { } ifelse
! 317: [(oxReq) arg2 SM_executeFunction arg1] extension pop
! 318: } def
! 319: /oxsubmit2 {
! 320: oxexec
! 321: } def
! 322:
! 323: /oxpops {
! 324: /arg1 set
! 325: /arg2 set
! 326: [(oxReq) arg2 SM_pops arg1] extension pop
! 327: } def
! 328:
! 329: /oxsetname {
! 330: /arg1 set
! 331: /arg2 set
! 332: [(oxReq) arg2 SM_setName arg1] extension pop
! 333: } def
! 334:
! 335: /oxevalname {
! 336: /arg1 set
! 337: /arg2 set
! 338: [(oxReq) arg2 SM_evalName arg1] extension pop
! 339: } def
! 340:
! 341:
! 342: /oxreset {
! 343: /arg1 set
! 344: [(oxReq) arg1 SM_control_reset_connection] extension pop
! 345: [(oxGetFromControl) arg1 ] extension pop
! 346: [(oxGet) arg1] extension message
! 347: } def
! 348:
! 349: /oxisData {
! 350: /arg1 set
! 351: [/pp /ff] pushVariables
! 352: [
! 353: /ff arg1 def
! 354: [(oxMultiSelect) [ff] 10] extension /pp set
! 355: pp message
! 356: pp 0 get 1 eq {
! 357: pp 1 get 0 get 1 eq { %% data is in the data stream.
! 358: /arg1 [(oxGet) ff] extension def
! 359: } {/arg1 (no data) def } ifelse
! 360: }
! 361: { /arg1 (no data) def }
! 362: ifelse
! 363: ] pop
! 364: popVariables
! 365: arg1
! 366: } def
! 367:
! 368: /oxget {
! 369: oxisData
! 370: } def
! 371:
! 372:
! 373: /oxshutdown {
! 374: /arg1 set
! 375: [(fp2fclose) arg1 1 get] extension
! 376: [(oxReq) arg1 SM_control_kill] extension
! 377: arg1 0 (closed) put
! 378: } def
! 379:
! 380: /oxgenportfile {
! 381: [(oxGenPortFile)] extension
! 382: }def
! 383: /oxremoveportfile {
! 384: [(oxRemovePortFile)] extension
! 385: }def
! 386:
! 387: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
! 388: /enginescmd
! 389: $ /computesp {
! 390: /arg1 set
! 391: [arg1 myid] arg1 message
! 392: } def
! 393: $
! 394: def
! 395:
! 396:
! 397: /genPairs {
! 398: /arg1 set
! 399: [/n /i /j] pushVariables
! 400: [
! 401: /n arg1 def
! 402: /genPairs.list [ ] def
! 403: /genPairs.i 0 def
! 404: 0 1 n 1 sub {
! 405: /i set
! 406: i 1 add 1 n 1 sub {
! 407: /j set
! 408: genPairs.list [i j] append /genPairs.list set
! 409: } for
! 410: } for
! 411: /genPairs.n genPairs.list length def
! 412: ] pop
! 413: popVariables
! 414: } def
! 415:
! 416: /getPair {
! 417: [/i ] pushVariables
! 418: [
! 419: genPairs.i genPairs.n lt {
! 420: genPairs.list genPairs.i get /ans set
! 421: genPairs.i 1 add /genPairs.i set
! 422: }
! 423: { [-1 -1] /ans set} ifelse
! 424: /arg1 ans def
! 425: ] pop
! 426: popVariables
! 427: arg1
! 428: } def
! 429:
! 430: /sumUp {
! 431: /arg1 set
! 432: [/ans /v /i /n] pushVariables
! 433: [
! 434: /v arg1 def
! 435: /n v length def
! 436: /ans 0 def
! 437: 0 1 n 1 sub {
! 438: /i set
! 439: ans v i get add /ans set
! 440: } for
! 441: /arg1 ans def
! 442: ] pop
! 443: popVariables
! 444: arg1
! 445: } def
! 446:
! 447:
! 448: /dist {
! 449: /dist.debug 0 def
! 450: /result [ ] def
! 451: enginesList {oxconnect} map /engines set
! 452: /enginesN engines length def
! 453: % broadcast the program.
! 454: (ox-1.sm1) pushfile /enginescmd set %% read a file.
! 455: [(parse) enginescmd] extension
! 456: engines {enginescmd oxsubmit} map
! 457: engines { (slave-start) oxsubmit} map %% initialize slave codes.
! 458: %% send pid.
! 459: 0 1 enginesN 1 sub {
! 460: /i set
! 461: engines i get i oxsendcmo
! 462: engines i get (/myid set) oxsubmit
! 463: } for
! 464:
! 465: master-start %% initialize master codes
! 466: %% gbsize genPairs %% obsolete
! 467: /gbsize ans length def
! 468: ans makePairs /genPairs.list set
! 469: /genPairs.i 0 def /genPairs.n genPairs.list length def
! 470:
! 471:
! 472: /exhausted 0 def
! 473: % clear the busy flag.
! 474: /busy [1 1 enginesN { pop 0 } for ] def
! 475: (date) system
! 476: {{
! 477: exhausted 0 eq {
! 478: 0 1 enginesN 1 sub {
! 479: /i set
! 480: busy i get 0 eq {
! 481: getPair /p set
! 482: p 0 get -1 eq {/exhausted 1 def exit} { } ifelse
! 483: busy i 1 put
! 484: engines i get p oxsendcmo
! 485: engines i get ( computesp ) oxsubmit
! 486: engines i get oxpopcmo1
! 487: } { } ifelse
! 488: } for
! 489: } { } ifelse
! 490: dist.debug { (busy=) messagen busy message } { } ifelse
! 491: busy sumUp 0 eq { result message exit error } { } ifelse
! 492: [(oxMultiSelect) engines -1] extension /status set
! 493: /datastatus status 1 get def
! 494: dist.debug { (datastatus=) messagen datastatus message } { } ifelse
! 495: 0 1 enginesN 1 sub {
! 496: /i set
! 497: datastatus i get 1 eq {
! 498: engines i get oxpopcmo2 /ans set
! 499: busy i 0 put
! 500: result ans append /result set
! 501: } { } ifelse
! 502: } for
! 503: } loop } timer
! 504: (date) system
! 505: (result is in result) message
! 506: (Number of s-pairs checked is ) messagen result length message
! 507: } def
! 508:
! 509: ox.verbose {
! 510: (dist for experiments for distributed computing. cf. startengines) message
! 511: } { } ifelse
! 512:
! 513: /oxIsServerReady {
! 514: /arg1 set
! 515: [/in-isServerReady /sdata /ans] pushVariables
! 516: [
! 517: /sdata arg1 def
! 518: /ans 0 def
! 519: sdata isArray {
! 520: sdata length 1 gt {
! 521: sdata 0 get (client) eq { /ans 1 def } { } ifelse
! 522: } { } ifelse
! 523: } { } ifelse
! 524: /arg1 ans def
! 525: ] pop
! 526: popVariables
! 527: arg1
! 528: } def
! 529:
! 530:
! 531: %%%%%%%%%%%%%%% tests
! 532: ox.verbose {
! 533: (test10 : test to read and write ox-data and ox-command to a file) message
! 534: } { } ifelse
! 535:
! 536: /test10 {
! 537: [(oxCreateClientFile) (afo) (w)] extension /ccc set
! 538: [(oxWatch) ccc] extension
! 539: ccc (x-1). oxsendcmo
! 540: [(oxReq) ccc SM_executeStringByLocalParser
! 541: ( dup add message )] extension pop
! 542: ccc (quit) oxsendcmo
! 543:
! 544: [(oxCloseClient) ccc] extension
! 545: } def
! 546:
! 547: /test11 {
! 548: [(oxCreateClientFile) (afo) (r)] extension /ccc set
! 549: [(oxGet) ccc] extension ::
! 550: [(oxGet) ccc] extension ::
! 551: } def
! 552:
! 553: ox.verbose {
! 554: (test12 : ccc is the client. ff poly in Q<x,y,z,dx,dy,dz> ) message
! 555: } { } ifelse
! 556: /test12 {
! 557: [(localhost) 1300 1200] oxconnect /ccc set
! 558: [(x,y,z) ring_of_differential_operators ( ) elimination_order 0] define_ring
! 559: (x+y). /ff set
! 560: /eee (hello) (error) dc def
! 561: /eee0 eee (error) dc def
! 562: (eee is the CMO_ERROR2 object [CMO_ERROR2 hello], eee0 is the CMO_ERROR object) message
! 563: } def
! 564:
! 565: /sm1connectr {
! 566: [/in-sm1connectr /pass /peer /data /control ] pushVariables
! 567: [
! 568: /pass [(oxGenPass)] extension def
! 569: /peer [(oxGetPort) (localhost)] extension def
! 570: /data peer 1 get toString def
! 571: /control peer 3 get toString def
! 572: peer message
! 573: [oxpath.oxlog.xterm oxpath.ox ( -reverse -ox ) oxpath.oxsm1
! 574: ( -data ) data ( -control ) control ( -pass ) pass
! 575: oxpath.null
! 576: ( &)] cat system
! 577: [(oxCreateClient2) peer 0 pass] extension /ox.ccc set
! 578: %% 0 means connect from only localhost.
! 579: (The server is binded to the variable ox.ccc) message
! 580: ox.ccc.init
! 581: ] pop
! 582: popVariables
! 583: } def
! 584:
! 585: /addSlash {
! 586: /arg1 set
! 587: [/in-addSlash /ss /aaa /ans] pushVariables
! 588: [
! 589: /ss arg1 def
! 590: ss (array) dc /aaa set
! 591: aaa length 0 eq {
! 592: /ans (/) def
! 593: }{
! 594: aaa aaa length 1 sub get 47 eq %% The last equals / ?
! 595: {
! 596: /ans ss def
! 597: }{
! 598: /ans [ss (/)] cat def
! 599: } ifelse
! 600: } ifelse
! 601: /arg1 ans def
! 602: ] pop
! 603: arg1
! 604: } def
! 605:
! 606: /getPathNameSm1 {
! 607: /arg1 set
! 608: [/in-getPathNameSm1 /fname /fullname /tname] pushVariables
! 609: [
! 610: /fname arg1 0 get def
! 611: %% If fullname is given, use it.
! 612: fname (array) dc 0 get
! 613: (/) (array) dc 0 get eq
! 614: { /fullname fname def
! 615: /getPathNameSm1.LLL goto
! 616: } { } ifelse
! 617:
! 618: %% Else first try to find it in LOAD_SM1_PATH
! 619: [(getenv) (LOAD_SM1_PATH)] extension /tname set
! 620: tname isString
! 621: {
! 622: tname addSlash /tname set
! 623: [(stat) [tname fname] cat] extension
! 624: 0 get isInteger %% The file was found.
! 625: { /fullname [tname fname] cat def
! 626: /getPathNameSm1.LLL goto
! 627: } { } ifelse
! 628: } { } ifelse
! 629:
! 630: %% Else try to find it in /usr/local/lib/sm1
! 631: [(stat) [(/usr/local/lib/sm1/) fname] cat] extension
! 632: 0 get isInteger %% The file was found.
! 633: { /fullname [(/usr/local/lib/sm1/) fname] cat def
! 634: /getPathNameSm1.LLL goto
! 635: } { } ifelse
! 636:
! 637: %% Otherwise error.
! 638: [(getPathNameSm1: The file ) fname
! 639: ( could not be found )
! 640: (neigher in LOAD_SM1_PATH=)
! 641: [(getenv) (LOAD_SM1_PATH)] extension
! 642: ( nor in /usr/local/lib/sm1)
! 643: ] cat /getPathNameSm1.errorMessage set
! 644: getPathNameSm1.errorMessage message
! 645: ] pop popVariables getPathNameSm1.errorMessage error
! 646:
! 647: /getPathNameSm1.LLL
! 648: /arg1 fullname def
! 649: ] pop
! 650: popVariables
! 651: arg1
! 652: } def
! 653: [(getPathNameSm1)
! 654: [([fname] getPathNameSm1 fullname)
! 655: (string fname, fullname)
! 656: (This command searches the fname in /usr/local/lib/sm1 and LOAD_SM1_PATH)
! 657: (and returns the fullname.)
! 658: ]] putUsages
! 659:
! 660: /getPathNameAsir {
! 661: /arg1 set
! 662: [/in-getPathNameAsir /fname /fullname /tname] pushVariables
! 663: [
! 664: /fname arg1 0 get def
! 665: %% If fullname is given, use it.
! 666: fname (array) dc 0 get
! 667: (/) (array) dc 0 get eq
! 668: { /fullname fname def
! 669: /getPathNameAsir.LLL goto
! 670: } { } ifelse
! 671:
! 672: %% Else first try to find it in /usr/local/lib/asir
! 673: [(stat) [(/usr/local/lib/asir/) fname] cat] extension
! 674: 0 get isInteger %% The file was found.
! 675: { /fullname [(/usr/local/lib/asir/) fname] cat def
! 676: /getPathNameAsir.LLL goto
! 677: } { } ifelse
! 678:
! 679: %% Else try to find it in ASIR_LIBDIR
! 680: [(getenv) (ASIR_LIBDIR)] extension /tname set
! 681: tname isString
! 682: {
! 683: [(stat) [tname (/) fname] cat] extension
! 684: 0 get isInteger %% The file was found.
! 685: { /fullname [tname (/) fname] cat def
! 686: /getPathNameAsir.LLL goto
! 687: } { } ifelse
! 688:
! 689: } { } ifelse
! 690:
! 691: %% Otherwise error.
! 692: [ (getPathNameAsir: The file ) fname
! 693: ( could not be found )
! 694: (neigher in /usr/local/lib/asir nor in ASIR_LIBDIR. )
! 695: ] cat /getPathNameAsir.errorMessage set
! 696: getPathNameAsir.errorMessage message
! 697: ] pop popVariables getPathNameAsir.errorMessage error
! 698:
! 699: /getPathNameAsir.LLL
! 700: /arg1 fullname def
! 701: ] pop
! 702: popVariables
! 703: arg1
! 704: } def
! 705: [(getPathNameAsir)
! 706: [([fname] getPathNameAsir fullname)
! 707: (string fname, fullname)
! 708: (This command searches the fname in /usr/local/lib/asir and ASIR_LIBDIR)
! 709: (and returns the fullname.)
! 710: ]] putUsages
! 711:
! 712:
! 713:
! 714: initializePathNamesForOx %% This should be
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ox.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc