public static Path pathOneOrMoreN(Path path) { return new P_OneOrMoreN(path) ; } }
@Override public int hashCode() { return hashOneOrMoreN ^ getSubPath().hashCode() ; }
@Override public void visit(P_ZeroOrMoreN p) { new P_OneOrMoreN(p.getSubPath()).visit(this); List<Rule> rules = result; Predicate oneOrMorePred = resultMainPredicate; Predicate newpred = new Predicate(idpPredicateGen.createNewVariable(), 2); VariableExpr x = new VariableExpr("X"); VariableExpr y = new VariableExpr("Y"); rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(new Predicate(Rule.BUILT_IN_EQUAL, 2), x, y))); rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(oneOrMorePred, x, y))); result = rules; resultMainPredicate = newpred; }
@Override public boolean equalTo(Path path2, NodeIsomorphismMap isoMap) { if ( ! ( path2 instanceof P_OneOrMoreN ) ) return false ; P_OneOrMoreN other = (P_OneOrMoreN)path2 ; return getSubPath().equalTo(other.getSubPath(), isoMap) ; }
@Override public Path make(ItemList list) { BuilderLib.checkLength(2, 2, list, "path OneOrMore: wanted 1 argument") ; Path path = build(list, 1) ; return new P_OneOrMoreN(path) ; } } ;
@Override public void visit(P_OneOrMoreN path) { writePath(Tags.tagPathOneOrMoreN, path.getSubPath()) ; }
@Override public void visit(P_OneOrMoreN path) { printPathMod("{+}", path.getSubPath()) ; }
@Override public void visit(P_OneOrMoreN path) { engine.doOneOrMoreN(path.getSubPath(), node, output) ; }
@Override public void visit(P_OneOrMoreN p) { p.getSubPath().visit(this); List<Rule> rules = result; Predicate basePred = resultMainPredicate; Predicate newpred = new Predicate(idpPredicateGen.createNewVariable(), 2); VariableExpr x = new VariableExpr("X"); VariableExpr y = new VariableExpr("Y"); VariableExpr z = new VariableExpr("Z"); rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(basePred, x, y))); if (rightRecursion) { rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(basePred, x, z), new AtomicFormula(newpred, z, y) )); } else { rules.add(new Rule(new AtomicFormula(newpred, x, y), ruleid++, new AtomicFormula(newpred, z, y), new AtomicFormula(basePred, x, z))); } result = rules; resultMainPredicate = newpred; }