public Object onChoice(ChoiceExp exp) { return doChoice(exp); }
public int getStringCareLevel() { // if the value is cached, return cached value. // otherwise, calculate it now. OptimizationTag ot = (OptimizationTag)expression.verifierTag; if(ot==null) expression.verifierTag = ot = new OptimizationTag(); if(ot.stringCareLevel==OptimizationTag.STRING_NOTCOMPUTED) ot.stringCareLevel = StringCareLevelCalculator.calc(expression); return ot.stringCareLevel; }
public int getStringCareLevel() { // if the value is cached, return cached value. // otherwise, calculate it now. OptimizationTag ot = (OptimizationTag)expression.verifierTag; if(ot==null) expression.verifierTag = ot = new OptimizationTag(); if(ot.stringCareLevel==OptimizationTag.STRING_NOTCOMPUTED) ot.stringCareLevel = StringCareLevelCalculator.calc(expression); return ot.stringCareLevel; }
public int getStringCareLevel() { // if the value is cached, return cached value. // otherwise, calculate it now. OptimizationTag ot = (OptimizationTag)expression.verifierTag; if(ot==null) expression.verifierTag = ot = new OptimizationTag(); if(ot.stringCareLevel==OptimizationTag.STRING_NOTCOMPUTED) ot.stringCareLevel = StringCareLevelCalculator.calc(expression); return ot.stringCareLevel; }
public Object onChoice(ChoiceExp exp) { return doChoice(exp); }
public int getStringCareLevel() { // if the value is cached, return cached value. // otherwise, calculate it now. OptimizationTag ot = (OptimizationTag)expression.verifierTag; if(ot==null) expression.verifierTag = ot = new OptimizationTag(); if(ot.stringCareLevel==OptimizationTag.STRING_NOTCOMPUTED) ot.stringCareLevel = StringCareLevelCalculator.calc(expression); return ot.stringCareLevel; }
public Object onInterleave(InterleaveExp p) { return doChoice(p); }
public Object onInterleave(InterleaveExp p) { return doChoice(p); }
public Object onSequence(SequenceExp exp) { if(!exp.exp1.isEpsilonReducible()) return exp.exp1.visit(this); else return doChoice(exp); }
public Object onSequence(SequenceExp exp) { if(!exp.exp1.isEpsilonReducible()) return exp.exp1.visit(this); else return doChoice(exp); }