Bug #5463
closed[S-expr] JavaDoc comments are needed
100%
Description
The ru.ispras.fortress.esexpr package added in revisions r709 и r710 does not contain any description. It is not obvious what purpose it is supposed to serve. Corresponding JavaDoc comments should be included in the source code (including headers with the ISP RAS copyright).
Updated by Artem Kotsynyak about 10 years ago
Proper JavaDoc is to be added for sure, this is just simple description.
ESExpr stands for extended S-expression which represents Lisp-style textual (i.e. uninterpreted) S-expressions like (a b c).
ESExprParser is simple parser for such expressions ignoring ; one-line comments.
ESExprMatcher is expression structure matcher that uses same textual List-style notation and several wildcards -- two for now: %a that matches any atom including NIL, %s that matches any S-expression including atoms. It allows much more readable matching than one based on regex.
Package is experimental, mostly for SMT bridge.
Updated by Artem Kotsynyak about 10 years ago
Legal notice headers has landed in r730.
Updated by Andrei Tatarnikov almost 10 years ago
- Status changed from Resolved to Closed
- % Done changed from 0 to 100
- Published in build set to 141226