summaryrefslogtreecommitdiff
path: root/module/names.m
diff options
context:
space:
mode:
authorCharles.Forsyth <devnull@localhost>2006-12-22 20:52:35 +0000
committerCharles.Forsyth <devnull@localhost>2006-12-22 20:52:35 +0000
commit46439007cf417cbd9ac8049bb4122c890097a0fa (patch)
tree6fdb25e5f3a2b6d5657eb23b35774b631d4d97e4 /module/names.m
parent37da2899f40661e3e9631e497da8dc59b971cbd0 (diff)
20060303-partial
Diffstat (limited to 'module/names.m')
-rw-r--r--module/names.m13
1 files changed, 13 insertions, 0 deletions
diff --git a/module/names.m b/module/names.m
new file mode 100644
index 00000000..5c17ff77
--- /dev/null
+++ b/module/names.m
@@ -0,0 +1,13 @@
+Names: module
+{
+ PATH: con "/dis/lib/names.dis";
+
+ cleanname: fn(name: string): string;
+ dirname: fn(name: string): string;
+ basename: fn(name: string, suffix: string): string;
+ elements: fn(name: string): list of string;
+ isprefix: fn(a: string, b: string): int;
+ pathname: fn(els: list of string): string;
+ rooted: fn(root: string, name: string): string;
+ relative: fn(name: string, root: string): string;
+};