Project

General

Profile

Actions

Bug #5463

closed

[S-expr] JavaDoc comments are needed

Added by Andrei Tatarnikov over 9 years ago. Updated about 9 years ago.

Status:
Closed
Priority:
High
Category:
-
Target version:
Start date:
12/04/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
141226

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).

Actions #1

Updated by Artem Kotsynyak over 9 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.

Actions #2

Updated by Artem Kotsynyak over 9 years ago

  • Status changed from New to Resolved

r729

Actions #3

Updated by Artem Kotsynyak over 9 years ago

Legal notice headers has landed in r730.

Actions #4

Updated by Andrei Tatarnikov about 9 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 0 to 100
  • Published in build set to 141226
Actions

Also available in: Atom PDF