OXIESEC PANEL
- Current Dir:
/
/
snap
/
certbot
/
4730
/
usr
/
share
/
augeas
/
lenses
/
dist
Server IP: 139.59.38.164
Upload:
Create Dir:
Name
Size
Modified
Perms
📁
..
-
06/10/2025 09:51:14 PM
rwxr-xr-x
📄
access.aug
3.58 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
activemq_conf.aug
1.47 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
activemq_xml.aug
864 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
afs_cellalias.aug
1.56 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
aliases.aug
2.18 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
anaconda.aug
775 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
anacron.aug
2.49 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
approx.aug
1.26 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
apt_update_manager.aug
1.11 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
aptcacherngsecurity.aug
726 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
aptconf.aug
3.9 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
aptpreferences.aug
1.79 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
aptsources.aug
1.98 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
authinfo2.aug
1.44 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
authorized_keys.aug
1.84 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
authselectpam.aug
3.7 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
automaster.aug
3.31 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
automounter.aug
4.05 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
avahi.aug
1.38 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
backuppchosts.aug
1014 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
bbhosts.aug
4.24 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
bootconf.aug
3.65 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
build.aug
16.65 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cachefilesd.aug
2 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
carbon.aug
1.54 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ceph.aug
719 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cgconfig.aug
3.37 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cgrules.aug
2.38 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
channels.aug
3.84 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
chrony.aug
13.79 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
clamav.aug
1.72 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cmdline.aug
506 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cobblermodules.aug
398 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cobblersettings.aug
2.24 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cockpit.aug
1.96 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
collectd.aug
869 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cpanel.aug
824 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cron.aug
4.05 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cron_user.aug
1.26 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
crypttab.aug
3.08 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
csv.aug
1.18 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
cups.aug
459 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
cyrus_imapd.aug
1.51 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
darkice.aug
773 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
debctrl.aug
3.61 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
desktop.aug
1.39 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
devfsrules.aug
619 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
device_map.aug
620 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
dhclient.aug
6.69 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dhcpd.aug
20.88 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dns_zone.aug
2.89 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dnsmasq.aug
2.16 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dovecot.aug
3.98 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dpkg.aug
2.78 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
dput.aug
2.16 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
erlang.aug
4.33 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ethers.aug
663 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
exports.aug
2.37 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
fai_diskconfig.aug
9.28 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
fail2ban.aug
1.79 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
fonts.aug
819 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
fstab.aug
1.23 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
fuse.aug
871 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
gdm.aug
1.8 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
getcap.aug
1.57 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
group.aug
1.66 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
grub.aug
11.05 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
grubenv.aug
508 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
gshadow.aug
2.19 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
gtkbookmarks.aug
855 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
host_conf.aug
1.9 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
hostname.aug
435 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
hosts.aug
485 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
hosts_access.aug
4.32 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
htpasswd.aug
1.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
httpd.aug
7.35 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
inetd.aug
6.22 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
inifile.aug
15.49 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
inittab.aug
780 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
inputrc.aug
1.62 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
interfaces.aug
4.62 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
iproute2.aug
323 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
iptables.aug
2.64 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
iscsid.aug
684 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
jaas.aug
1.57 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
jettyrealm.aug
1.52 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
jmxaccess.aug
1.35 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
jmxpassword.aug
1.34 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
json.aug
2.15 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
kdump.aug
3.06 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
keepalived.aug
10.73 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
known_hosts.aug
1.93 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
koji.aug
898 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
krb5.aug
6.98 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ldif.aug
7.65 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ldso.aug
1.06 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
lightdm.aug
1.75 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
limits.aug
2.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
login_defs.aug
615 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
logrotate.aug
4.23 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
logwatch.aug
1.44 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
lokkit.aug
2.16 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
lvm.aug
2.03 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mailscanner.aug
1.66 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mailscanner_rules.aug
2.84 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
masterpasswd.aug
4.36 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mcollective.aug
1.09 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mdadm_conf.aug
10.05 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
memcached.aug
1.24 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mke2fs.aug
6.29 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
modprobe.aug
3.34 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
modules.aug
741 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
modules_conf.aug
1.04 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mongodbserver.aug
1.17 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
monit.aug
2.13 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
multipath.aug
4.21 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
mysql.aug
1.95 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nagioscfg.aug
2.09 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nagiosobjects.aug
1.57 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
netmasks.aug
1.69 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
networkmanager.aug
2.18 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
networks.aug
1.09 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nginx.aug
3.65 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nrpe.aug
1.78 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nslcd.aug
9.87 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
nsswitch.aug
2.33 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ntp.aug
5.29 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ntpd.aug
4.75 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
odbc.aug
1.42 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
opendkim.aug
3.1 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
openshift_config.aug
2.46 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
openshift_http.aug
1.03 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
openshift_quickstarts.aug
1.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
openvpn.aug
22.28 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
oz.aug
1.35 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pagekite.aug
2.6 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pam.aug
2.58 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pamconf.aug
1.23 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
passwd.aug
3.52 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pbuilder.aug
638 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
pg_hba.aug
2.97 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pgbouncer.aug
1.43 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
php.aug
2.34 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
phpvars.aug
3.85 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_access.aug
771 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_main.aug
1.52 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_master.aug
1.9 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_passwordmap.aug
1.28 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_sasl_smtpd.aug
697 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_transport.aug
1.48 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postfix_virtual.aug
1.32 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
postgresql.aug
2.1 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
properties.aug
2.3 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
protocols.aug
1.05 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
puppet.aug
1.52 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
puppet_auth.aug
1.95 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
puppetfile.aug
2.27 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
puppetfileserver.aug
3.12 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pylonspaste.aug
2.3 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
pythonpaste.aug
1.99 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
qpid.aug
670 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
quote.aug
6.71 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rabbitmq.aug
4.69 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
radicale.aug
1.48 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rancid.aug
927 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
redis.aug
6.5 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
reprepro_uploaders.aug
5.47 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
resolv.aug
4.03 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rhsm.aug
1.1 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rmt.aug
788 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
rsyncd.aug
1.97 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rsyslog.aug
3.27 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
rtadvd.aug
854 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
rx.aug
4.2 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
samba.aug
1.71 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
schroot.aug
1.79 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
securetty.aug
450 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
semanage.aug
1.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sep.aug
1.28 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
services.aug
2.82 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
shadow.aug
2.35 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
shells.aug
745 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
shellvars.aug
12.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
shellvars_list.aug
1.74 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
simplelines.aug
1.13 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
simplevars.aug
1.4 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sip_conf.aug
1.61 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
slapd.aug
5.2 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
smbusers.aug
781 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
solaris_system.aug
3.15 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
soma.aug
1.14 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sos.aug
807 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
spacevars.aug
1.42 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
splunk.aug
1.64 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
squid.aug
15.95 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
ssh.aug
4.39 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sshd.aug
4.74 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sssd.aug
861 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
star.aug
941 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
strongswan.aug
1.63 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
stunnel.aug
2.21 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
subversion.aug
2.75 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sudoers.aug
20.08 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sysconfig.aug
2.49 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sysconfig_route.aug
2.55 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
sysctl.aug
1.36 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
syslog.aug
7.33 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
systemd.aug
6 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
termcap.aug
1.03 KB
03/31/2024 05:41:49 PM
rw-r--r--
📁
tests
-
06/10/2025 09:51:14 PM
rwxr-xr-x
📄
thttpd.aug
1.31 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
tinc.aug
1.08 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
tmpfiles.aug
3.16 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
toml.aug
4.24 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
trapperkeeper.aug
4.01 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
tuned.aug
387 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
up2date.aug
2.21 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
updatedb.aug
1.13 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
util.aug
4.85 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
vfstab.aug
1.71 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
vmware_config.aug
702 bytes
03/31/2024 05:41:49 PM
rw-r--r--
📄
vsftpd.aug
2.72 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
webmin.aug
1.23 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
wine.aug
1.92 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xendconfsxp.aug
1.07 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xinetd.aug
4.02 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xml.aug
6.33 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xorg.aug
10.43 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xymon.aug
2.26 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
xymon_alerting.aug
6.11 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
yaml.aug
1.54 KB
03/31/2024 05:41:49 PM
rw-r--r--
📄
yum.aug
2.19 KB
03/31/2024 05:41:49 PM
rw-r--r--
Editing: build.aug
Close
(* Module: Build Generic functions to build lenses Author: Raphael Pinson <raphink@gmail.com> About: License This file is licensed under the LGPL v2+, like the rest of Augeas. About: Reference This file provides generic functions to build Augeas lenses *) module Build = let eol = Util.eol (************************************************************************ * Group: GENERIC CONSTRUCTIONS ************************************************************************) (************************************************************************ * View: brackets * Put a lens inside brackets * * Parameters: * l:lens - the left bracket lens * r: lens - the right bracket lens * lns:lens - the lens to put inside brackets ************************************************************************) let brackets (l:lens) (r:lens) (lns:lens) = l . lns . r (************************************************************************ * Group: LIST CONSTRUCTIONS ************************************************************************) (************************************************************************ * View: list * Build a list of identical lenses separated with a given separator * (at least 2 elements) * * Parameters: * lns:lens - the lens to repeat in the list * sep:lens - the separator lens, which can be taken from the <Sep> module ************************************************************************) let list (lns:lens) (sep:lens) = lns . ( sep . lns )+ (************************************************************************ * View: opt_list * Same as <list>, but there might be only one element in the list * * Parameters: * lns:lens - the lens to repeat in the list * sep:lens - the separator lens, which can be taken from the <Sep> module ************************************************************************) let opt_list (lns:lens) (sep:lens) = lns . ( sep . lns )* (************************************************************************ * Group: LABEL OPERATIONS ************************************************************************) (************************************************************************ * View: xchg * Replace a pattern with a different label in the tree, * thus emulating a key but allowing to replace the keyword * with a different value than matched * * Parameters: * m:regexp - the pattern to match * d:string - the default value when a node in created * l:string - the label to apply for such nodes ************************************************************************) let xchg (m:regexp) (d:string) (l:string) = del m d . label l (************************************************************************ * View: xchgs * Same as <xchg>, but the pattern is the default string * * Parameters: * m:string - the string to replace, also used as default * l:string - the label to apply for such nodes ************************************************************************) let xchgs (m:string) (l:string) = xchg m m l (************************************************************************ * Group: SUBNODE CONSTRUCTIONS ************************************************************************) (************************************************************************ * View: key_value_line * A subnode with a keyword, a separator and a storing lens, * and an end of line * * Parameters: * kw:regexp - the pattern to match as key * sep:lens - the separator lens, which can be taken from the <Sep> module * sto:lens - the storing lens ************************************************************************) let key_value_line (kw:regexp) (sep:lens) (sto:lens) = [ key kw . sep . sto . eol ] (************************************************************************ * View: key_value_line_comment * Same as <key_value_line>, but allows to have a comment in the end of a line * and an end of line * * Parameters: * kw:regexp - the pattern to match as key * sep:lens - the separator lens, which can be taken from the <Sep> module * sto:lens - the storing lens * comment:lens - the comment lens, which can be taken from <Util> ************************************************************************) let key_value_line_comment (kw:regexp) (sep:lens) (sto:lens) (comment:lens) = [ key kw . sep . sto . (eol|comment) ] (************************************************************************ * View: key_value * Same as <key_value_line>, but does not end with an end of line * * Parameters: * kw:regexp - the pattern to match as key * sep:lens - the separator lens, which can be taken from the <Sep> module * sto:lens - the storing lens ************************************************************************) let key_value (kw: regexp) (sep:lens) (sto:lens) = [ key kw . sep . sto ] (************************************************************************ * View: key_ws_value * * Store a key/value pair where key and value are separated by whitespace * and the value goes to the end of the line. Leading and trailing * whitespace is stripped from the value. The end of line is consumed by * this lens * * Parameters: * kw:regexp - the pattern to match as key ************************************************************************) let key_ws_value (kw:regexp) = key_value_line kw Util.del_ws_spc (store Rx.space_in) (************************************************************************ * View: flag * A simple flag subnode, consisting of a single key * * Parameters: * kw:regexp - the pattern to match as key ************************************************************************) let flag (kw:regexp) = [ key kw ] (************************************************************************ * View: flag_line * A simple flag line, consisting of a single key * * Parameters: * kw:regexp - the pattern to match as key ************************************************************************) let flag_line (kw:regexp) = [ key kw . eol ] (************************************************************************ * Group: BLOCK CONSTRUCTIONS ************************************************************************) (************************************************************************ * View: block_generic * A block enclosed in brackets * * Parameters: * entry:lens - the entry to be stored inside the block. * This entry should include <Util.empty> * or its equivalent if necessary. * entry_noindent:lens - the entry to be stored inside the block, * without indentation. * This entry should not include <Util.empty> * entry_noeol:lens - the entry to be stored inside the block, * without eol. * This entry should not include <Util.empty> * entry_noindent_noeol:lens - the entry to be stored inside the block, * without indentation or eol. * This entry should not include <Util.empty> * comment:lens - the comment lens used in the block * comment_noindent:lens - the comment lens used in the block, * without indentation. * ldelim_re:regexp - regexp for the left delimiter * rdelim_re:regexp - regexp for the right delimiter * ldelim_default:string - default value for the left delimiter * rdelim_default:string - default value for the right delimiter ************************************************************************) let block_generic (entry:lens) (entry_noindent:lens) (entry_noeol:lens) (entry_noindent_noeol:lens) (comment:lens) (comment_noindent:lens) (ldelim_re:regexp) (rdelim_re:regexp) (ldelim_default:string) (rdelim_default:string) = let block_single = entry_noindent_noeol | comment_noindent in let block_start = entry_noindent | comment_noindent in let block_middle = (entry | comment)* in let block_end = entry_noeol | comment in del ldelim_re ldelim_default . ( ( block_start . block_middle . block_end ) | block_single ) . del rdelim_re rdelim_default (************************************************************************ * View: block_setdefault * A block enclosed in brackets * * Parameters: * entry:lens - the entry to be stored inside the block. * This entry should not include <Util.empty>, * <Util.comment> or <Util.comment_noindent>, * should not be indented or finish with an eol. * ldelim_re:regexp - regexp for the left delimiter * rdelim_re:regexp - regexp for the left delimiter * ldelim_default:string - default value for the left delimiter * rdelim_default:string - default value for the right delimiter ************************************************************************) let block_setdelim (entry:lens) (ldelim_re:regexp) (rdelim_re:regexp) (ldelim_default:string) (rdelim_default:string) = block_generic (Util.empty | Util.indent . entry . eol) (entry . eol) (Util.indent . entry) entry Util.comment Util.comment_noindent ldelim_re rdelim_re ldelim_default rdelim_default (* Variable: block_ldelim_re *) let block_ldelim_re = /[ \t\n]+\{[ \t\n]*/ (* Variable: block_rdelim_re *) let block_rdelim_re = /[ \t\n]*\}/ (* Variable: block_ldelim_default *) let block_ldelim_default = " {\n" (* Variable: block_rdelim_default *) let block_rdelim_default = "}" (************************************************************************ * View: block * A block enclosed in brackets * * Parameters: * entry:lens - the entry to be stored inside the block. * This entry should not include <Util.empty>, * <Util.comment> or <Util.comment_noindent>, * should not be indented or finish with an eol. ************************************************************************) let block (entry:lens) = block_setdelim entry block_ldelim_re block_rdelim_re block_ldelim_default block_rdelim_default (* Variable: block_ldelim_newlines_re *) let block_ldelim_newlines_re = /[ \t\n]*\{([ \t\n]*\n)?/ (* Variable: block_rdelim_newlines_re *) let block_rdelim_newlines_re = /[ \t]*\}/ (* Variable: block_ldelim_newlines_default *) let block_ldelim_newlines_default = "\n{\n" (* Variable: block_rdelim_newlines_default *) let block_rdelim_newlines_default = "}" (************************************************************************ * View: block_newline * A block enclosed in brackets, with newlines forced * and indentation defaulting to a tab. * * Parameters: * entry:lens - the entry to be stored inside the block. * This entry should not include <Util.empty>, * <Util.comment> or <Util.comment_noindent>, * should be indented and finish with an eol. ************************************************************************) let block_newlines (entry:lens) (comment:lens) = del block_ldelim_newlines_re block_ldelim_newlines_default . ((entry | comment) . (Util.empty | entry | comment)*)? . del block_rdelim_newlines_re block_rdelim_newlines_default (************************************************************************ * View: block_newlines_spc * A block enclosed in brackets, with newlines forced * and indentation defaulting to a tab. The opening brace * must be preceded by whitespace * * Parameters: * entry:lens - the entry to be stored inside the block. * This entry should not include <Util.empty>, * <Util.comment> or <Util.comment_noindent>, * should be indented and finish with an eol. ************************************************************************) let block_newlines_spc (entry:lens) (comment:lens) = del (/[ \t\n]/ . block_ldelim_newlines_re) block_ldelim_newlines_default . ((entry | comment) . (Util.empty | entry | comment)*)? . del block_rdelim_newlines_re block_rdelim_newlines_default (************************************************************************ * View: named_block * A named <block> enclosed in brackets * * Parameters: * kw:regexp - the regexp for the block name * entry:lens - the entry to be stored inside the block * this entry should not include <Util.empty> ************************************************************************) let named_block (kw:regexp) (entry:lens) = [ key kw . block entry . eol ] (************************************************************************ * Group: COMBINATORICS ************************************************************************) (************************************************************************ * View: combine_two_ord * Combine two lenses, ensuring first lens is first * * Parameters: * a:lens - the first lens * b:lens - the second lens ************************************************************************) let combine_two_ord (a:lens) (b:lens) = a . b (************************************************************************ * View: combine_two * Combine two lenses * * Parameters: * a:lens - the first lens * b:lens - the second lens ************************************************************************) let combine_two (a:lens) (b:lens) = combine_two_ord a b | combine_two_ord b a (************************************************************************ * View: combine_two_opt_ord * Combine two lenses optionally, ensuring first lens is first * (a, and optionally b) * * Parameters: * a:lens - the first lens * b:lens - the second lens ************************************************************************) let combine_two_opt_ord (a:lens) (b:lens) = a . b? (************************************************************************ * View: combine_two_opt * Combine two lenses optionally * (either a, b, or both, in any order) * * Parameters: * a:lens - the first lens * b:lens - the second lens ************************************************************************) let combine_two_opt (a:lens) (b:lens) = combine_two_opt_ord a b | combine_two_opt_ord b a (************************************************************************ * View: combine_three_ord * Combine three lenses, ensuring first lens is first * (a followed by either b, c, in any order) * * Parameters: * a:lens - the first lens * b:lens - the second lens * c:lens - the third lens ************************************************************************) let combine_three_ord (a:lens) (b:lens) (c:lens) = combine_two_ord a (combine_two b c) (************************************************************************ * View: combine_three * Combine three lenses * * Parameters: * a:lens - the first lens * b:lens - the second lens * c:lens - the third lens ************************************************************************) let combine_three (a:lens) (b:lens) (c:lens) = combine_three_ord a b c | combine_three_ord b a c | combine_three_ord c b a (************************************************************************ * View: combine_three_opt_ord * Combine three lenses optionally, ensuring first lens is first * (a followed by either b, c, or any of them, in any order) * * Parameters: * a:lens - the first lens * b:lens - the second lens * c:lens - the third lens ************************************************************************) let combine_three_opt_ord (a:lens) (b:lens) (c:lens) = combine_two_opt_ord a (combine_two_opt b c) (************************************************************************ * View: combine_three_opt * Combine three lenses optionally * (either a, b, c, or any of them, in any order) * * Parameters: * a:lens - the first lens * b:lens - the second lens * c:lens - the third lens ************************************************************************) let combine_three_opt (a:lens) (b:lens) (c:lens) = combine_three_opt_ord a b c | combine_three_opt_ord b a c | combine_three_opt_ord c b a