https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692014-12-04T12:28:02ZOpen-Source ProjectsFortress - Bug #5463: [S-expr] JavaDoc comments are neededhttps://forge.ispras.ru/issues/5463?journal_id=213282014-12-04T12:28:02ZArtem Kotsynyak
<ul></ul><p>Proper JavaDoc is to be added for sure, this is just simple description.<br />ESExpr stands for extended S-expression which represents Lisp-style textual (i.e. uninterpreted) S-expressions like (a b c).<br />ESExprParser is simple parser for such expressions ignoring ; one-line comments.<br />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.</p>
<p>Package is experimental, mostly for SMT bridge.</p> Fortress - Bug #5463: [S-expr] JavaDoc comments are neededhttps://forge.ispras.ru/issues/5463?journal_id=213442014-12-05T08:38:28ZArtem Kotsynyak
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>r729</p> Fortress - Bug #5463: [S-expr] JavaDoc comments are neededhttps://forge.ispras.ru/issues/5463?journal_id=213452014-12-05T08:42:51ZArtem Kotsynyak
<ul></ul><p>Legal notice headers has landed in r730.</p> Fortress - Bug #5463: [S-expr] JavaDoc comments are neededhttps://forge.ispras.ru/issues/5463?journal_id=216052014-12-26T16:26:24ZAndrei Tatarnikovandrewt@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li><li><strong>Published in build</strong> set to <i>141226</i></li></ul>