Linux anchor 4.4.0-210-generic #242-Ubuntu SMP Fri Apr 16 09:57:56 UTC 2021 x86_64
Apache/2.4.18 (Ubuntu)
Server IP : 10.10.100.4 & Your IP : 216.73.217.150
Domains :
Cant Read [ /etc/named.conf ]
User : www-data
Terminal
Auto Root
Create File
Create Folder
Localroot Suggester
Backdoor Destroyer
Readme
/
usr /
share /
augeas /
lenses /
dist /
Delete
Unzip
Name
Size
Permission
Date
Action
tests
[ DIR ]
drwxr-xr-x
2018-02-22 00:40
access.aug
3.58
KB
-rw-r--r--
2017-08-18 18:45
activemq_conf.aug
1.47
KB
-rw-r--r--
2017-08-18 18:45
activemq_xml.aug
864
B
-rw-r--r--
2017-08-18 18:45
afs_cellalias.aug
1.56
KB
-rw-r--r--
2017-08-18 18:45
aliases.aug
2.18
KB
-rw-r--r--
2017-08-18 18:45
anacron.aug
2.49
KB
-rw-r--r--
2017-08-18 18:45
approx.aug
1.26
KB
-rw-r--r--
2017-08-18 18:45
apt_update_manager.aug
1.11
KB
-rw-r--r--
2017-08-18 18:45
aptcacherngsecurity.aug
726
B
-rw-r--r--
2017-08-18 18:45
aptconf.aug
3.89
KB
-rw-r--r--
2017-08-18 18:45
aptpreferences.aug
1.79
KB
-rw-r--r--
2017-08-18 18:45
aptsources.aug
1.52
KB
-rw-r--r--
2017-08-18 18:45
authorized_keys.aug
1.84
KB
-rw-r--r--
2017-08-18 18:45
automaster.aug
3.31
KB
-rw-r--r--
2017-08-18 18:45
automounter.aug
4.05
KB
-rw-r--r--
2017-08-18 18:45
avahi.aug
1.38
KB
-rw-r--r--
2017-08-18 18:45
backuppchosts.aug
1014
B
-rw-r--r--
2017-08-18 18:45
bbhosts.aug
4.24
KB
-rw-r--r--
2017-08-18 18:45
bootconf.aug
3.65
KB
-rw-r--r--
2017-08-18 18:45
build.aug
16.65
KB
-rw-r--r--
2017-08-18 18:45
cachefilesd.aug
2
KB
-rw-r--r--
2017-08-18 18:45
carbon.aug
1.54
KB
-rw-r--r--
2017-08-18 18:45
cgconfig.aug
3.35
KB
-rw-r--r--
2017-08-18 18:45
cgrules.aug
2.38
KB
-rw-r--r--
2017-08-18 18:45
channels.aug
3.84
KB
-rw-r--r--
2017-08-18 18:45
chrony.aug
8.06
KB
-rw-r--r--
2017-08-18 18:45
clamav.aug
1.53
KB
-rw-r--r--
2017-08-18 18:45
cobblermodules.aug
398
B
-rw-r--r--
2017-08-18 18:45
cobblersettings.aug
2.24
KB
-rw-r--r--
2017-08-18 18:45
collectd.aug
869
B
-rw-r--r--
2017-08-18 18:45
cpanel.aug
824
B
-rw-r--r--
2017-08-18 18:45
cron.aug
4.02
KB
-rw-r--r--
2017-08-18 18:45
crypttab.aug
3.01
KB
-rw-r--r--
2017-08-18 18:45
cups.aug
459
B
-rw-r--r--
2017-08-18 18:45
cyrus_imapd.aug
1.51
KB
-rw-r--r--
2017-08-18 18:45
darkice.aug
773
B
-rw-r--r--
2017-08-18 18:45
debctrl.aug
3.61
KB
-rw-r--r--
2017-08-18 18:45
desktop.aug
1.39
KB
-rw-r--r--
2017-08-18 18:45
device_map.aug
620
B
-rw-r--r--
2017-08-18 18:45
dhclient.aug
6.56
KB
-rw-r--r--
2017-08-18 18:45
dhcpd.aug
20.88
KB
-rw-r--r--
2017-08-18 18:45
dns_zone.aug
2.89
KB
-rw-r--r--
2017-08-18 18:45
dnsmasq.aug
2.16
KB
-rw-r--r--
2017-08-18 18:45
dovecot.aug
3.86
KB
-rw-r--r--
2017-08-18 18:45
dpkg.aug
2.79
KB
-rw-r--r--
2017-08-18 18:45
dput.aug
2.16
KB
-rw-r--r--
2017-08-18 18:45
erlang.aug
4.06
KB
-rw-r--r--
2017-08-18 18:45
ethers.aug
663
B
-rw-r--r--
2017-08-18 18:45
exports.aug
2.37
KB
-rw-r--r--
2017-08-18 18:45
fai_diskconfig.aug
9.28
KB
-rw-r--r--
2017-08-18 18:45
fonts.aug
819
B
-rw-r--r--
2017-08-18 18:45
fstab.aug
1.2
KB
-rw-r--r--
2017-08-18 18:45
fuse.aug
871
B
-rw-r--r--
2017-08-18 18:45
gdm.aug
1.8
KB
-rw-r--r--
2017-08-18 18:45
group.aug
1.71
KB
-rw-r--r--
2017-08-18 18:45
grub.aug
9.48
KB
-rw-r--r--
2017-08-18 18:45
gshadow.aug
2.19
KB
-rw-r--r--
2017-08-18 18:45
gtkbookmarks.aug
855
B
-rw-r--r--
2017-08-18 18:45
host_conf.aug
1.88
KB
-rw-r--r--
2017-08-18 18:45
hostname.aug
422
B
-rw-r--r--
2017-08-18 18:45
hosts.aug
485
B
-rw-r--r--
2017-08-18 18:45
hosts_access.aug
4.32
KB
-rw-r--r--
2017-08-18 18:45
htpasswd.aug
1.02
KB
-rw-r--r--
2017-08-18 18:45
httpd.aug
3.83
KB
-rw-r--r--
2017-08-18 18:45
inetd.aug
6.22
KB
-rw-r--r--
2017-08-18 18:45
inifile.aug
15.49
KB
-rw-r--r--
2017-08-18 18:45
inittab.aug
780
B
-rw-r--r--
2017-08-18 18:45
inputrc.aug
1.45
KB
-rw-r--r--
2017-08-18 18:45
interfaces.aug
4.33
KB
-rw-r--r--
2017-08-18 18:45
iproute2.aug
323
B
-rw-r--r--
2017-08-18 18:45
iptables.aug
2.64
KB
-rw-r--r--
2017-08-18 18:45
iscsid.aug
684
B
-rw-r--r--
2017-08-18 18:45
jaas.aug
1.57
KB
-rw-r--r--
2017-08-18 18:45
jettyrealm.aug
1.52
KB
-rw-r--r--
2017-08-18 18:45
jmxaccess.aug
1.35
KB
-rw-r--r--
2017-08-18 18:45
jmxpassword.aug
1.34
KB
-rw-r--r--
2017-08-18 18:45
json.aug
1.92
KB
-rw-r--r--
2017-08-18 18:45
kdump.aug
2.91
KB
-rw-r--r--
2017-08-18 18:45
keepalived.aug
10.21
KB
-rw-r--r--
2017-08-18 18:45
known_hosts.aug
1.28
KB
-rw-r--r--
2017-08-18 18:45
koji.aug
898
B
-rw-r--r--
2017-08-18 18:45
krb5.aug
5.97
KB
-rw-r--r--
2017-08-18 18:45
ldif.aug
7.65
KB
-rw-r--r--
2017-08-18 18:45
ldso.aug
1.06
KB
-rw-r--r--
2017-08-18 18:45
lightdm.aug
1.75
KB
-rw-r--r--
2017-08-18 18:45
limits.aug
2.02
KB
-rw-r--r--
2017-08-18 18:45
login_defs.aug
615
B
-rw-r--r--
2017-08-18 18:45
logrotate.aug
4.17
KB
-rw-r--r--
2017-08-18 18:45
logwatch.aug
1.44
KB
-rw-r--r--
2017-08-18 18:45
lokkit.aug
2.16
KB
-rw-r--r--
2017-08-18 18:45
lvm.aug
2.03
KB
-rw-r--r--
2017-08-18 18:45
mailscanner.aug
1.66
KB
-rw-r--r--
2017-08-18 18:45
mailscanner_rules.aug
2.84
KB
-rw-r--r--
2017-08-18 18:45
mcollective.aug
1.09
KB
-rw-r--r--
2017-08-18 18:45
mdadm_conf.aug
10.05
KB
-rw-r--r--
2017-08-18 18:45
memcached.aug
1.24
KB
-rw-r--r--
2017-08-18 18:45
mke2fs.aug
4.67
KB
-rw-r--r--
2017-08-18 18:45
modprobe.aug
3.34
KB
-rw-r--r--
2017-08-18 18:45
modules.aug
741
B
-rw-r--r--
2017-08-18 18:45
modules_conf.aug
1.04
KB
-rw-r--r--
2017-08-18 18:45
mongodbserver.aug
1.17
KB
-rw-r--r--
2017-08-18 18:45
monit.aug
2.13
KB
-rw-r--r--
2017-08-18 18:45
multipath.aug
3.28
KB
-rw-r--r--
2017-08-18 18:45
mysql.aug
1.9
KB
-rw-r--r--
2017-08-18 18:45
nagioscfg.aug
2.09
KB
-rw-r--r--
2017-08-18 18:45
nagiosobjects.aug
1.57
KB
-rw-r--r--
2017-08-18 18:45
netmasks.aug
1.69
KB
-rw-r--r--
2017-08-18 18:45
networkmanager.aug
2
KB
-rw-r--r--
2017-08-18 18:45
networks.aug
1.09
KB
-rw-r--r--
2017-08-18 18:45
nginx.aug
2.86
KB
-rw-r--r--
2017-08-18 18:45
nrpe.aug
1.75
KB
-rw-r--r--
2017-08-18 18:45
nsswitch.aug
2.27
KB
-rw-r--r--
2017-08-18 18:45
ntp.aug
4.87
KB
-rw-r--r--
2017-08-18 18:45
ntpd.aug
4.75
KB
-rw-r--r--
2017-08-18 18:45
odbc.aug
1.42
KB
-rw-r--r--
2017-08-18 18:45
openshift_config.aug
2.46
KB
-rw-r--r--
2017-08-18 18:45
openshift_http.aug
1.03
KB
-rw-r--r--
2017-08-18 18:45
openshift_quickstarts.aug
1.07
KB
-rw-r--r--
2017-08-18 18:45
openvpn.aug
6.41
KB
-rw-r--r--
2017-08-18 18:45
pagekite.aug
2.6
KB
-rw-r--r--
2017-08-18 18:45
pam.aug
2.26
KB
-rw-r--r--
2017-08-18 18:45
pamconf.aug
1.23
KB
-rw-r--r--
2017-08-18 18:45
passwd.aug
3.52
KB
-rw-r--r--
2017-08-18 18:45
pbuilder.aug
638
B
-rw-r--r--
2017-08-18 18:45
pg_hba.aug
2.91
KB
-rw-r--r--
2017-08-18 18:45
pgbouncer.aug
1.43
KB
-rw-r--r--
2017-08-18 18:45
php.aug
2.23
KB
-rw-r--r--
2017-08-18 18:45
phpvars.aug
3.85
KB
-rw-r--r--
2017-08-18 18:45
postfix_access.aug
732
B
-rw-r--r--
2017-08-18 18:45
postfix_main.aug
1.46
KB
-rw-r--r--
2017-08-18 18:45
postfix_master.aug
1.84
KB
-rw-r--r--
2017-08-18 18:45
postfix_sasl_smtpd.aug
636
B
-rw-r--r--
2017-08-18 18:45
postfix_transport.aug
1.43
KB
-rw-r--r--
2017-08-18 18:45
postfix_virtual.aug
1.26
KB
-rw-r--r--
2017-08-18 18:45
postgresql.aug
2.04
KB
-rw-r--r--
2017-08-18 18:45
properties.aug
2.25
KB
-rw-r--r--
2017-08-18 18:45
protocols.aug
1.05
KB
-rw-r--r--
2017-08-18 18:45
puppet.aug
1.52
KB
-rw-r--r--
2017-08-18 18:45
puppet_auth.aug
1.95
KB
-rw-r--r--
2017-08-18 18:45
puppetfile.aug
1.45
KB
-rw-r--r--
2017-08-18 18:45
puppetfileserver.aug
3.12
KB
-rw-r--r--
2017-08-18 18:45
pylonspaste.aug
2.3
KB
-rw-r--r--
2017-08-18 18:45
pythonpaste.aug
1.99
KB
-rw-r--r--
2017-08-18 18:45
qpid.aug
670
B
-rw-r--r--
2017-08-18 18:45
quote.aug
6.71
KB
-rw-r--r--
2017-08-18 18:45
rabbitmq.aug
3.73
KB
-rw-r--r--
2017-08-18 18:45
redis.aug
4.6
KB
-rw-r--r--
2017-08-18 18:45
reprepro_uploaders.aug
4.75
KB
-rw-r--r--
2017-08-18 18:45
resolv.aug
3.85
KB
-rw-r--r--
2017-08-18 18:45
rmt.aug
788
B
-rw-r--r--
2017-08-18 18:45
rsyncd.aug
1.97
KB
-rw-r--r--
2017-08-18 18:45
rsyslog.aug
2.01
KB
-rw-r--r--
2017-08-18 18:45
rx.aug
4.06
KB
-rw-r--r--
2017-08-18 18:45
samba.aug
1.71
KB
-rw-r--r--
2017-08-18 18:45
schroot.aug
1.79
KB
-rw-r--r--
2017-08-18 18:45
securetty.aug
450
B
-rw-r--r--
2017-08-18 18:45
sep.aug
1.28
KB
-rw-r--r--
2017-08-18 18:45
services.aug
2.82
KB
-rw-r--r--
2017-08-18 18:45
shadow.aug
2.35
KB
-rw-r--r--
2017-08-18 18:45
shells.aug
745
B
-rw-r--r--
2017-08-18 18:45
shellvars.aug
9.13
KB
-rw-r--r--
2017-08-18 18:45
shellvars_list.aug
1.74
KB
-rw-r--r--
2017-08-18 18:45
simplelines.aug
1.09
KB
-rw-r--r--
2017-08-18 18:45
simplevars.aug
1.39
KB
-rw-r--r--
2017-08-18 18:45
sip_conf.aug
1.61
KB
-rw-r--r--
2017-08-18 18:45
slapd.aug
5.2
KB
-rw-r--r--
2017-08-18 18:45
smbusers.aug
747
B
-rw-r--r--
2017-08-18 18:45
solaris_system.aug
3.15
KB
-rw-r--r--
2017-08-18 18:45
soma.aug
1.14
KB
-rw-r--r--
2017-08-18 18:45
spacevars.aug
1.35
KB
-rw-r--r--
2017-08-18 18:45
splunk.aug
1.22
KB
-rw-r--r--
2017-08-18 18:45
squid.aug
15.95
KB
-rw-r--r--
2017-08-18 18:45
ssh.aug
2.92
KB
-rw-r--r--
2017-08-18 18:45
sshd.aug
3.76
KB
-rw-r--r--
2017-08-18 18:45
sssd.aug
861
B
-rw-r--r--
2017-08-18 18:45
stunnel.aug
2.21
KB
-rw-r--r--
2017-08-18 18:45
subversion.aug
2.75
KB
-rw-r--r--
2017-08-18 18:45
sudoers.aug
19.65
KB
-rw-r--r--
2017-08-18 18:45
sysconfig.aug
2.49
KB
-rw-r--r--
2017-08-18 18:45
sysconfig_route.aug
2.55
KB
-rw-r--r--
2017-08-18 18:45
sysctl.aug
923
B
-rw-r--r--
2017-08-18 18:45
syslog.aug
7.1
KB
-rw-r--r--
2017-08-18 18:45
systemd.aug
5.65
KB
-rw-r--r--
2017-08-18 18:45
thttpd.aug
1.31
KB
-rw-r--r--
2017-08-18 18:45
tuned.aug
387
B
-rw-r--r--
2017-08-18 18:45
up2date.aug
2.21
KB
-rw-r--r--
2017-08-18 18:45
updatedb.aug
1.13
KB
-rw-r--r--
2017-08-18 18:45
util.aug
4.5
KB
-rw-r--r--
2017-08-18 18:45
vfstab.aug
1.71
KB
-rw-r--r--
2017-08-18 18:45
vmware_config.aug
702
B
-rw-r--r--
2017-08-18 18:45
vsftpd.aug
2.66
KB
-rw-r--r--
2017-08-18 18:45
webmin.aug
1.23
KB
-rw-r--r--
2017-08-18 18:45
wine.aug
1.92
KB
-rw-r--r--
2017-08-18 18:45
xendconfsxp.aug
1.07
KB
-rw-r--r--
2017-08-18 18:45
xinetd.aug
4.02
KB
-rw-r--r--
2017-08-18 18:45
xml.aug
6.09
KB
-rw-r--r--
2017-08-18 18:45
xorg.aug
10.12
KB
-rw-r--r--
2017-08-18 18:45
xymon.aug
2.18
KB
-rw-r--r--
2017-08-18 18:45
xymon_alerting.aug
6.11
KB
-rw-r--r--
2017-08-18 18:45
yum.aug
2.07
KB
-rw-r--r--
2017-08-18 18:45
Save
Rename
(* 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