@Override public boolean equalTo(Element el2, NodeIsomorphismMap isoMap) { if ( el2 == null ) return false ; if ( ! ( el2 instanceof ElementMinus ) ) return false ; ElementMinus opt2 = (ElementMinus)el2 ; return getMinusElement().equalTo(opt2.getMinusElement(), isoMap) ; }
@Override public Element transform(ElementMinus el, Element elt1) { if ( el.getMinusElement() == elt1 ) return el ; return new ElementMinus(elt1) ; }
@Override public void visit(ElementMinus el) { el.getMinusElement().visit(this); if (result == el.getMinusElement()) { // nothing to do result = el; } else { result = new ElementMinus( result); } }
@Override public void visit(ElementMinus el) { if ( el.getMinusElement() != null ) el.getMinusElement().visit(this) ; elementVisitor.visit(el) ; }
@Override public int hashCode() { int hash = Element.HashOptional ; hash = hash ^ getMinusElement().hashCode() ; return hash ; }
@Override public void visit(ElementMinus el) { el.getMinusElement().visit(this); if (result == el.getMinusElement()) { // nothing to do result = el; } else { result = new ElementMinus( result); } }
protected Op compileElementMinus(Op current, ElementMinus elt2) { Op op = compile(elt2.getMinusElement()) ; Op opMinus = OpMinus.create(current, op) ; return opMinus ; }
@Override public void visit(ElementMinus el) { before(el) ; if ( el.getMinusElement() != null ) el.getMinusElement().visit(this) ; proc.visit(el) ; after(el) ; }
@Override public final void visit(ElementMinus el) { startElement(el) ; el.getMinusElement().visit(this) ; endElement(el) ; }
@Override public void visit(ElementMinus el) { Element elt = el.getMinusElement() ; Element elt1 = pop() ; if ( elt == elt1 ) push(el) ; else push(new ElementMinus(elt1)) ; }
@Override public void visit(ElementMinus el) { el.getMinusElement().visit(this); push(new ElementMinus(getResult())); }
@Override public void visit(ElementMinus el) { el.getMinusElement().visit(this); push(new ElementMinus(getResult())); }
@Override public void visit(ElementMinus el) { Element elt = el.getMinusElement() ; Element elt1 = pop() ; if ( elt == elt1 ) push(el) ; else push(new ElementMinus(elt1)) ; }
@Override public void visit(ElementMinus el) { out.print("MINUS"); out.incIndent(INDENT); out.newline(); visitAsGroup(el.getMinusElement()); out.decIndent(INDENT); }