📄 no.168.mal
字号:
# Monet Mil to Mal compiler# Copyright (c) 2001-2004, CWI. All rights reserved.#Predefined code segment#The compiler can not guarantee an accurate compilation,#because MIL unlike MAL is a dynamically typed language.#A few guidelines to maximize usefullness.#- make the type of variables explicit, in particular 'nil'#- upon advice of M2m to remap identifiers, change it in your program directly#use the "mil_schema" for additional support routines# io.print("# \n");# io.print("# >Number: 168\n");# io.print("# >Category: Module_url\n");# io.print("# >Synopsis: cast url(str) returns nil\n");# io.print("# >Confidential: no\n");# io.print("# >Severity: serious\n");# io.print("# >Priority: medium\n");# io.print("# >Responsible: mk (Martin Kersten)\n");# io.print("# >State: open\n");# io.print("# >Class: sw-bug\n");# io.print("# >Submitter-Id: unknown\n");# io.print("# >Arrival-Date: Thu Aug 13 22:21:00 1998\n");# io.print("# >Originator: manegold@cwi.nl\n");# io.print("# >Organization:\n");# io.print("# CWI\n");# io.print("# >Release: 980101\n");# io.print("# >Environment:\n");# io.print("# any\n");# io.print("# >Description:\n");# io.print("# cast url(str) returns nil.\n");# io.print("# this bug occurs only today, i.e. after the recent checkins by Menzo & Peter.\n");# io.print("# so, it's no bug in module url, but somewhere else.\n");# io.print("# \n");# io.print("# ========\n");# io.print("# test script\n");# io.print("# --------\n");# io.print("# module(url);\n");# io.print("# u:= url(\"http://www.cwi.nl/~mk/Acoi/index.html\");\n");# io.print("# u.print();\n");# io.print("# u.getHost.print();\n");# io.print("# u.getPort.print();\n");# io.print("# u.getDomain.print();\n");# io.print("# u.getFile.print();\n");# io.print("# u.getAnchor.print();\n");# io.print("# u.getBasename.print();\n");# io.print("# u.getProtocol.print();\n");# io.print("# u.getUser.print();\n");# io.print("# u.getDirectory.print();\n");# io.print("# quit;\n");# io.print("# ========\n");# io.print("# \n");# io.print("# ========\n");# io.print("# output\n");# io.print("# --------\n");# io.print("# [...]\n");# io.print("# module(url);\n");# io.print("# u:= url(\"http://www.cwi.nl/~mk/Acoi/index.html\");\n");# io.print("# u.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getHost.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getPort.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getDomain.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getFile.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getAnchor.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getBasename.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getProtocol.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getUser.print();\n");# io.print("# [ nil ]\n");# io.print("# u.getDirectory.print();\n");# io.print("# ========\n");# io.print("setoid(oid(20000000));"); aa_a := calc.oid(20000000); ba_a := calc.setoid(aa_a);# io.print("var u:= url(\"http://www.cwi.nl/~mk/Acoi/index.html\");"); u := url("http://www.cwi.nl/~mk/Acoi/index.html");# io.print("u.print();"); ca_a := bat.print(u);# io.print("u.getHost().print();"); da_a := getHost(u); ea_a := bat.print(da_a);# io.print("u.getPort().print();"); fa_a := getPort(u); ga_a := bat.print(fa_a);# io.print("u.getDomain().print();"); ha_a := getDomain(u); ia_a := bat.print(ha_a);# io.print("u.getFile().print();"); ja_a := getFile(u); ka_a := bat.print(ja_a);# io.print("u.getAnchor().print();"); la_a := getAnchor(u); ma_a := bat.print(la_a);# io.print("u.getBasename().print();"); na_a := getBasename(u); oa_a := bat.print(na_a);# io.print("u.getProtocol().print();"); pa_a := getProtocol(u); qa_a := bat.print(pa_a);# io.print("u.getUser().print();"); ra_a := getUser(u); sa_a := bat.print(ra_a);# io.print("u.getDirectory().print();"); ta_a := getDirectory(u); ua_a := bat.print(ta_a);# io.print("quit();"); va_a := clients.quit();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -