aDriv4 - MANAGER

Edit File: test_postgresql.aug

(* Module: Test_Postgresql Provides unit tests and examples for the <Postgresql> lens. *) module Test_Postgresql = (* "=" separator is optional *) let missing_equal = "fsync on\n" test Postgresql.lns get missing_equal = { "fsync" = "on" } test Postgresql.lns put missing_equal after set "fsync" "off" = "fsync off\n" (* extra whitespace is valid anywhere *) let extra_whitespace = " fsync = on # trailing comment \n" test Postgresql.lns get extra_whitespace = { "fsync" = "on" { "#comment" = "trailing comment" } } test Postgresql.lns put extra_whitespace after set "fsync" "off" = " fsync = off # trailing comment \n" (* no whitespace at all is also valid *) let no_whitespace = "fsync=on\n" test Postgresql.lns get no_whitespace = { "fsync" = "on" } test Postgresql.lns put no_whitespace after set "fsync" "off" = "fsync=off\n" (* Some settings specify a memory or time value. [...] Valid memory units are kB (kilobytes), MB (megabytes), and GB (gigabytes); valid time units are ms (milliseconds), s (seconds), min (minutes), h (hours), and d (days). *) let numeric_suffix_quotes = "shared_buffers = 24MB archive_timeout = 2min deadlock_timeout = '1s' " test Postgresql.lns get numeric_suffix_quotes = { "shared_buffers" = "24MB" } { "archive_timeout" = "2min" } { "deadlock_timeout" = "1s" } test Postgresql.lns put numeric_suffix_quotes after set "deadlock_timeout" "2s"; set "max_stack_depth" "2MB"; set "shared_buffers" "48MB" = "shared_buffers = 48MB archive_timeout = 2min deadlock_timeout = '2s' max_stack_depth = '2MB' " (* floats and ints can be single quoted or not *) let float_quotes = "seq_page_cost = 2.0 random_page_cost = '4.0' vacuum_freeze_min_age = 50000000 vacuum_freeze_table_age = '150000000' wal_buffers = -1 " test Postgresql.lns get float_quotes = { "seq_page_cost" = "2.0" } { "random_page_cost" = "4.0" } { "vacuum_freeze_min_age" = "50000000" } { "vacuum_freeze_table_age" = "150000000" } { "wal_buffers" = "-1" } test Postgresql.lns put float_quotes after set "seq_page_cost" "5.0"; set "vacuum_cost_limit" "200"; set "bgwriter_lru_multiplier" "2.0"; set "log_temp_files" "-1"; set "wal_buffers" "1" = "seq_page_cost = 5.0 random_page_cost = '4.0' vacuum_freeze_min_age = 50000000 vacuum_freeze_table_age = '150000000' wal_buffers = 1 vacuum_cost_limit = '200' bgwriter_lru_multiplier = '2.0' log_temp_files = '-1' " (* Boolean values can be written as on, off, true, false, yes, no, 1, 0 (all case-insensitive) or any unambiguous prefix of these. *) let bool_quotes = "log_connections = yes transform_null_equals = OFF sql_inheritance = 'on' synchronize_seqscans = 1 standard_conforming_strings = fal " test Postgresql.lns get bool_quotes = { "log_connections" = "yes" } { "transform_null_equals" = "OFF" } { "sql_inheritance" = "on" } { "synchronize_seqscans" = "1" } { "standard_conforming_strings" = "fal" } test Postgresql.lns put bool_quotes after set "sql_inheritance" "off"; set "log_lock_waits" "off" = "log_connections = yes transform_null_equals = OFF sql_inheritance = 'off' synchronize_seqscans = 1 standard_conforming_strings = fal log_lock_waits = 'off' " (* Strings must be single-quoted, except if they have no special character *) let string_quotes = "listen_addresses = 'localhost' stats_temp_directory = pg_stat_tmp lc_messages = 'en_US.UTF-8' log_filename = log archive_command = 'tar \'quoted option\'' search_path = '\"$user\",public' password_encryption = scram-sha-256 " test Postgresql.lns get string_quotes = { "listen_addresses" = "localhost" } { "stats_temp_directory" = "pg_stat_tmp" } { "lc_messages" = "en_US.UTF-8" } { "log_filename" = "log" } { "archive_command" = "tar \'quoted option\'" } { "search_path" = "\"$user\",public" } { "password_encryption" = "scram-sha-256" } test Postgresql.lns put string_quotes after set "stats_temp_directory" "foo_bar"; set "log_filename" "postgresql-%Y-%m-%d_%H%M%S.log"; set "log_statement" "none" = "listen_addresses = 'localhost' stats_temp_directory = foo_bar lc_messages = 'en_US.UTF-8' log_filename = 'postgresql-%Y-%m-%d_%H%M%S.log' archive_command = 'tar \'quoted option\'' search_path = '\"$user\",public' password_encryption = scram-sha-256 log_statement = 'none' " (* external files can be included more than once *) let include_keyword = "Include 'foo.conf' # can appear several times Include 'bar.conf' " test Postgresql.lns get include_keyword = { "Include" = "foo.conf" } { "#comment" = "can appear several times" } { "Include" = "bar.conf" } (* Variable: conf A full configuration file *) let conf = "data_directory = '/var/lib/postgresql/8.4/main' # use data in another directory hba_file = '/etc/postgresql/8.4/main/pg_hba.conf' # host-based authentication file ident_file = '/etc/postgresql/8.4/main/pg_ident.conf' # ident configuration file # If external_pid_file is not explicitly set, no extra PID file is written. external_pid_file = '/var/run/postgresql/8.4-main.pid' # write an extra PID file listen_addresses = 'localhost' # what IP address(es) to listen on; port = 5432 # (change requires restart) max_connections = 100 # (change requires restart) superuser_reserved_connections = 3 # (change requires restart) unix_socket_directory = '/var/run/postgresql' # (change requires restart) unix_socket_group = '' # (change requires restart) unix_socket_permissions = 0777 # begin with 0 to use octal notation # (change requires restart) bonjour_name = '' # defaults to the computer name authentication_timeout = 1min # 1s-600s ssl = true # (change requires restart) ssl_ciphers = 'ALL:!ADH:!LOW:!EXP:!MD5:@STRENGTH' # allowed SSL ciphers ssl_renegotiation_limit = 512MB # amount of data between renegotiations password_encryption = on db_user_namespace = off search_path = '\"$user\",public' # schema names default_tablespace = '' # a tablespace name, '' uses the default temp_tablespaces = '' # a list of tablespace names, '' uses datestyle = 'iso, mdy' intervalstyle = 'postgres' timezone = unknown # actually, defaults to TZ environment " (* Test: Postgresql.lns *) test Postgresql.lns get conf = { "data_directory" = "/var/lib/postgresql/8.4/main" { "#comment" = "use data in another directory" } } { "hba_file" = "/etc/postgresql/8.4/main/pg_hba.conf" { "#comment" = "host-based authentication file" } } { "ident_file" = "/etc/postgresql/8.4/main/pg_ident.conf" { "#comment" = "ident configuration file" } } { } { "#comment" = "If external_pid_file is not explicitly set, no extra PID file is written." } { "external_pid_file" = "/var/run/postgresql/8.4-main.pid" { "#comment" = "write an extra PID file" } } { "listen_addresses" = "localhost" { "#comment" = "what IP address(es) to listen on;" } } { "port" = "5432" { "#comment" = "(change requires restart)" } } { "max_connections" = "100" { "#comment" = "(change requires restart)" } } { "superuser_reserved_connections" = "3" { "#comment" = "(change requires restart)" } } { "unix_socket_directory" = "/var/run/postgresql" { "#comment" = "(change requires restart)" } } { "unix_socket_group" = "" { "#comment" = "(change requires restart)" } } { "unix_socket_permissions" = "0777" { "#comment" = "begin with 0 to use octal notation" } } { "#comment" = "(change requires restart)" } { "bonjour_name" = "" { "#comment" = "defaults to the computer name" } } { } { "authentication_timeout" = "1min" { "#comment" = "1s-600s" } } { "ssl" = "true" { "#comment" = "(change requires restart)" } } { "ssl_ciphers" = "ALL:!ADH:!LOW:!EXP:!MD5:@STRENGTH" { "#comment" = "allowed SSL ciphers" } } { "ssl_renegotiation_limit" = "512MB" { "#comment" = "amount of data between renegotiations" } } { "password_encryption" = "on" } { "db_user_namespace" = "off" } { } { "search_path" = "\"$user\",public" { "#comment" = "schema names" } } { "default_tablespace" = "" { "#comment" = "a tablespace name, '' uses the default" } } { "temp_tablespaces" = "" { "#comment" = "a list of tablespace names, '' uses" } } { } { "datestyle" = "iso, mdy" } { "intervalstyle" = "postgres" } { "timezone" = "unknown" { "#comment" = "actually, defaults to TZ environment" } }