summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2017-01-16Add a trivial 'a option -> 'a -> 'a function for substituting something for ↵Daniil Baturin
a default.
2017-01-16Update reference tree loader to match the schema.Daniil Baturin
2017-01-16Re-generate RNG schema, update files that use it.Daniil Baturin
2017-01-16Move <keepChildOrder/> into properties.Daniil Baturin
I have no idea why I did not do it this way from the start.
2017-01-16Make the "argument" attribute of external validators optional.Daniil Baturin
2017-01-15Add .mllib and .mldylib to gitignoreDaniil Baturin
2017-01-15Add functionality for socket communication.Daniil Baturin
The Message module contains read and write functions that take care of the wire protocol, which sends a 4 byte length header before every message. They take a bytes buffer and don't care about its contents. The Vyconf_client module has high level functions for interfacing with vyconfd. Functions for creating a socket and creating a server loop are in Startup. The rest is, for now at least, right in vyconfd. Notes: Message.read/write probably should be wrapped in Lwt_io.atomic We need to find out if it's safe to reuse Pbrt.Encoder.t or we really should create it every time.
2017-01-14Break some overly long lines in the curly config parser.Daniil Baturin
2017-01-14Use Menhir's build-in boption() for #INACTIVE and #EPHEMERALDaniil Baturin
instead of home-grown equivalents.
2017-01-13T249: add support for inactive and ephemeral nodes to the curly config parser.Daniil Baturin
2017-01-13T254: disallow node names with characters significant to the curly config parserDaniil Baturin
(whitespace, braces, square brackets, quotes, and hash).
2017-01-13A few touches to the curly config lexer and parser.Daniil Baturin
Allow single quoted strings. Allow \r's as whitespace. Set line numbers on \n to enable better error reporting. Allow any non-reserved characters ([^\s\{\}\[\]\"\']) in identifiers and unquoted values.
2017-01-12T245: improve handling of nodes with duplicate names.Daniil Baturin
Two tag nodes with the same name ("ethernet eth0 {...} ethernet eth0 {...}") is an error. Two leaf nodes with the same name, however, are not an error. Values of the next nodes are merged into the first one, while all other data (comment and inactive and ephemeral properties are inherited from the first node. This mimics the old syntax of multi nodes, so a person who uses the old syntax out of habit in a handwritten config will get the result they expect.
2017-01-10Add JSON de/serialization derivers to vytree and config tree modules.Daniil Baturin
2017-01-10De-duplicate top level nodes during parsing too.Daniil Baturin
2017-01-10Allow valueless nodes in the curly parser.Daniil Baturin
2017-01-09Not quite T245: add some unit tests for the curly parser.Daniil Baturin
2017-01-09Not quite T245 but related: trim comments and allow more characters in ↵Daniil Baturin
identifiers.
2017-01-09T245: add support for the old style tag node syntax ("ethernet eth0")Daniil Baturin
as opposed to "ethernet { eth0". Note that "new syntax" for tag nodes, i.e. not using any special syntax for them is automatically support too, configs will load correctly since node name/value validation only occurs after parsing is complete.
2017-01-09T245: add Vytree.merge_children function for de-duplicating childrenDaniil Baturin
that share the same name by merging subsequent nodes into the first one. Bad thing: the comments of the outer nodes will be lost, but then again one should attach them to the inner node anyway, in non-pathological cases.
2017-01-07Remove the old message library that will be replaced with the Protobuf one.Daniil Baturin
2017-01-06Do not require path for set/delete, add an error for trying to set a path ↵Daniil Baturin
that already exists.
2017-01-06Make error and warning single string, add more specific error codes.Daniil Baturin
2017-01-06Split session setup and entering configuration mode in the protobuf schema.Daniil Baturin
2017-01-06Add confirm operation. Remove notifications field.Daniil Baturin
2017-01-06Extend the protobuf schema, update build scripts.Daniil Baturin
2017-01-06Fix makefile formatting.Daniil Baturin
2017-01-06Add a target for re-generating the RNG schemata to makefile.Daniil Baturin
2017-01-06Add initial implementation of the protobuf schema.Daniil Baturin
2017-01-06Add oasis-generated files.Daniil Baturin
2017-01-06Remove oasis-generated scripts from gitignore, so that simply buildingDaniil Baturin
vyconf doesn't require oasis.
2017-01-05Initial implementation of the curly config parser.Daniil Baturin
2017-01-05Remove the old tag node format from the example grammar.Daniil Baturin
2017-01-05Expose the Vytree.adopt function in the module interface.Daniil Baturin
This is useful in the parser and possibly other code that creates nodes from scratch.
2017-01-04Add "version" attribute to component definition schema.Daniil Baturin
It will be used for migrating configs if incompatible syntax change is made.
2017-01-04Add a grammar for generating curly configs for parser fuzzing tests.Daniil Baturin
Subject to improvement and extension to cover more cases.
2017-01-04Add an RNG XML version of the component definition schema.Daniil Baturin
2017-01-03Add a function to get completion data from a reference tree node.Daniil Baturin
2017-01-02Last missing accessor: value help.Daniil Baturin
2016-12-31Fix format of validation error messages (paths in square brackets, no quotes).Daniil Baturin
2016-12-30Remove the extends attribute from <interfaceDefinition>Daniil Baturin
It's problematic for multiple reasons: 1. It's plaintext and is hard to verify 2. If it's wrong, it may have a very "interesting" effect on the resulting reference tree, such as lots of misplaced nodes 3. It's hardly ever needed as most nodes only go one or two levels deep in VyOS, such as "service $something" or "interfaces $something", and I think it's unlikely that other appliances will differ much.
2016-12-30Fix missing quotes around values in Session.string_of_opDaniil Baturin
2016-12-30Add some unit tests for the Session.string_of_op function.Daniil Baturin
2016-12-30Expose the string_of_op function in the module interface.Daniil Baturin
2016-12-30Fix the string_of_path test (square brackets are no longer part of the output).Daniil Baturin
2016-12-28Add a function to convert config operations to commands.Daniil Baturin
2016-12-28Update the session module interface to expose the new functions.Daniil Baturin
2016-12-25Remove square brackets around the path string from Util.string_of_pathDaniil Baturin
They are trivial to add with printf when needed anyway, and this function is useful for generating commands from a tree.
2016-12-25Add value retrieval functions to the session module.Daniil Baturin
2016-12-25Add Vytree.children_of_path : 'a t -> string list function as a convenient ↵Daniil Baturin
shortcut for getting children of a non-root node