diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-12-09 15:30:10 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-12-17 19:03:38 -0600 |
| commit | 28b6ac04aaef995656eaabb2c9a279a79e657687 (patch) | |
| tree | f10db931d15eeb8a7fbce2c9e619a6c0032a8aad /src/session.ml | |
| parent | a2775407f2b69f9e0b5030bcac691463abbede06 (diff) | |
| download | vyconf-28b6ac04aaef995656eaabb2c9a279a79e657687.tar.gz vyconf-28b6ac04aaef995656eaabb2c9a279a79e657687.zip | |
T8061: add get_path_type request
Get the potential node type of a path, preliminary to any validation of
values.
Diffstat (limited to 'src/session.ml')
| -rw-r--r-- | src/session.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/session.ml b/src/session.ml index c869a1a..f924591 100644 --- a/src/session.ml +++ b/src/session.ml @@ -394,6 +394,9 @@ let config_unsaved w s file id = let reference_path_exists w _s path = RT.reference_path_exists w.reference_tree path +let get_path_type ?(legacy_format=false) w _s path = + RT.get_path_type_str ~legacy_format w.reference_tree path + let write_running_cache w = (* alert exn Internal.write_internal: [Internal.Write_error] caught |