public interface ExpressionVisitor {
+ void visit(EAmbiguous eAmbiguous);
void visit(EApply expression);
void visit(EApplyType expression);
void visit(EAsPattern expression);
void visit(EBinary expression);
void visit(EBind expression);
void visit(EBlock expression);
- void visit(ECHRRuleset echrRuleset);
+ void visit(ECHRSelect expression);
+ void visit(ECHRRuleset expression);
+ void visit(ECHRRulesetConstructor expression);
void visit(EConstant expression);
void visit(ECoveringBranchPoint expression);
void visit(EEnforce expression);