version 1.40, 2004/09/14 01:57:15 |
version 1.42, 2004/09/14 02:13:29 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.39 2004/09/12 02:47:45 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 |
Line 4273 $ [ff ff] fromVectors :: $ |
|
Line 4275 $ [ff ff] fromVectors :: $ |
|
{ % begin loop |
{ % begin loop |
|
|
name isArray { |
name isArray { |
/ukeys @.usages { 0 get } map def |
/ukeys @.usages { 0 get } map shell def |
name { /key set [(regexec) key ukeys] extension |
name { /key set [(regexec) key ukeys] extension |
{ 0 get } map } map /sss set |
{ 0 get } map } map /sss set |
exit |
exit |
Line 4321 $ [ff ff] fromVectors :: $ |
|
Line 4323 $ [ff ff] fromVectors :: $ |
|
[(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 |
|
|
; |
; |