Ignore:
Timestamp:
Jan 6, 2015, 6:29:25 PM (5 years ago)
Author:
cameron
Message:

AST support for Lookahead/Lookbehind? assertions

File:
1 edited

Legend:

Unmodified
Added
Removed
  • icGREP/icgrep-devel/icgrep/re/re_simplifier.cpp

    r4308 r4405  
    99#include "re_diff.h"
    1010#include "re_intersect.h"
     11#include "re_assertion.h"
    1112#include <algorithm>
    1213#include <memory>
     
    3233        re = makeSeq(list.begin(), list.end());
    3334    }
     35    else if (Assertion * a = dyn_cast<Assertion>(re)) {
     36        re = makeAssertion(simplify(a->getAsserted()), a->getKind(), a->getSense());
     37    }
    3438    else if (Rep * rep = dyn_cast<Rep>(re)) {
    3539        re = makeRep(simplify(rep->getRE()), rep->getLB(), rep->getUB());
Note: See TracChangeset for help on using the changeset viewer.