![]() ![]() | ![]() |
version 1.41, 2004/09/14 02:02:02 | version 1.42, 2004/09/14 02:13:29 | ||
---|---|---|---|
|
|
||
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.40 2004/09/14 01:57:15 takayama Exp $ | % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.41 2004/09/14 02:02:02 takayama Exp $ | ||
%% dr.sm1 (Define Ring) 1994/9/25, 26 | %% dr.sm1 (Define Ring) 1994/9/25, 26 | ||
%% This file is error clean. | %% This file is error clean. | ||
|
|
||
0 1 << set0 length 1 sub >> | 0 1 << set0 length 1 sub >> | ||
{ | { | ||
/i set | /i set | ||
<< set0 i get >> a eq | set0 i get tag , a tag , eq { | ||
{ | << set0 i get >> a eq | ||
/flag 1 def | { | ||
} | /flag 1 def exit | ||
{ } | } | ||
ifelse | { } | ||
ifelse | |||
} { } ifelse | |||
} for | } for | ||
] pop | ] pop | ||
/arg1 flag def | /arg1 flag def | ||
|
|
||
[(key usages usages-as-a-string) | [(key usages usages-as-a-string) | ||
(num usages list-of-key-words) | (num usages list-of-key-words) | ||
([key1 key2 ... ] usages list-of-key-words : it accepts regular expressions.) | ([key1 key2 ... ] usages list-of-key-words : it accepts regular expressions.) | ||
]] putUsages | |||
/setMinus { | |||
/arg2 set /arg1 set | |||
[/aa /bb /i ] pushVariables | |||
[ | |||
/aa arg1 def /bb arg2 def | |||
[ | |||
0 1 aa length 1 sub { | |||
/i set | |||
aa i get bb memberQ { | |||
} { aa i get } ifelse | |||
} for | |||
] /arg1 set | |||
] pop | |||
popVariables | |||
arg1 | |||
} def | |||
[(setMinus) | |||
[(a b setMinus c) | |||
]] putUsages | ]] putUsages | ||
; | ; |