|
Apache/2.2.15 (CentOS) Linux obd60-6c49958d75-2q7cw 5.4.0-174-generic #193-Ubuntu SMP Thu Mar 7 14:29:28 UTC 2024 x86_64 uid=48(apache) gid=48(apache) groups=48(apache) server ip : 172.67.192.52 | your ip : 10.244.126.0 safemode OFF > / usr / share / perl5 / |
| Filename | /usr/share/perl5/abbrev.pl |
| Size | 838 |
| Permission | rw-r--r-- |
| Owner | apache |
| Create time | 23-Dec-2025 17:41 |
| Last modified | 22-Mar-2017 16:32 |
| Last accessed | 22-Mar-2017 16:32 |
| Actions | edit | rename | delete | download (gzip) |
| View | text | code | image |
;# Usage:
;# %foo = ();
;# &abbrev(*foo,LIST);
;# ...
;# $long = $foo{$short};
#
# This library is no longer being maintained, and is included for backward
# compatibility with Perl 4 programs which may require it.
#
# In particular, this should not be used as an example of modern Perl
# programming techniques.
#
# Suggested alternative: Text::Abbrev
#
package abbrev;
sub main'abbrev {
local(*domain) = @_;
shift(@_);
@cmp = @_;
local($[) = 0;
foreach $name (@_) {
@extra = split(//,$name);
$abbrev = shift(@extra);
$len = 1;
foreach $cmp (@cmp) {
next if $cmp eq $name;
while (@extra && substr($cmp,0,$len) eq $abbrev) {
$abbrev .= shift(@extra);
++$len;
}
}
$domain{$abbrev} = $name;
while ($#extra >= 0) {
$abbrev .= shift(@extra);
$domain{$abbrev} = $name;
}
}
}
1;
;# %foo = ();
;# &abbrev(*foo,LIST);
;# ...
;# $long = $foo{$short};
#
# This library is no longer being maintained, and is included for backward
# compatibility with Perl 4 programs which may require it.
#
# In particular, this should not be used as an example of modern Perl
# programming techniques.
#
# Suggested alternative: Text::Abbrev
#
package abbrev;
sub main'abbrev {
local(*domain) = @_;
shift(@_);
@cmp = @_;
local($[) = 0;
foreach $name (@_) {
@extra = split(//,$name);
$abbrev = shift(@extra);
$len = 1;
foreach $cmp (@cmp) {
next if $cmp eq $name;
while (@extra && substr($cmp,0,$len) eq $abbrev) {
$abbrev .= shift(@extra);
++$len;
}
}
$domain{$abbrev} = $name;
while ($#extra >= 0) {
$abbrev .= shift(@extra);
$domain{$abbrev} = $name;
}
}
}
1;