@Override public boolean equalTo(Element el2, NodeIsomorphismMap isoMap) { if ( ! ( el2 instanceof ElementService ) ) return false ; ElementService service = (ElementService)el2 ; if ( ! serviceNode.equals(service.serviceNode) ) return false ; if ( service.getSilent() != getSilent() ) return false ; if ( ! this.getElement().equalTo(service.getElement(), isoMap) ) return false ; return true ; }
@Override public boolean equalTo(Element el2, NodeIsomorphismMap isoMap) { if ( ! ( el2 instanceof ElementService ) ) return false ; ElementService service = (ElementService)el2 ; if ( ! serviceNode.equals(service.serviceNode) ) return false ; if ( service.getSilent() != getSilent() ) return false ; if ( ! this.getElement().equalTo(service.getElement(), isoMap) ) return false ; return true ; }
@Override public void visit(ElementService es) { Node n = es.getServiceNode(); String uri = n!=null && n.isURI()? n.getURI(): null; es.getElement().visit(this); if (uri!=null) { result = new ElementService(uri, result, es.getSilent()); } else if (n!=null) { result = new ElementService(n, result,es.getSilent()); } else { result = new ElementService((Node) null, result, es.getSilent() ); } }
@Override public void visit(ElementService es) { Node n = es.getServiceNode(); String uri = n!=null && n.isURI()? n.getURI(): null; es.getElement().visit(this); if (uri!=null) { result = new ElementService(uri, result, es.getSilent()); } else if (n!=null) { result = new ElementService(n, result,es.getSilent()); } else { result = new ElementService((Node) null, result, es.getSilent() ); } }
@Override public void visit(ElementService es) { Node n = es.getServiceNode(); String uri = n!=null && n.isURI()? n.getURI(): null; es.getElement().visit(this); if (uri!=null) { result = new ElementService(uri, result, es.getSilent()); } else if (n!=null) { result = new ElementService(n, result,es.getSilent()); } else { result = new ElementService((Node) null, result, es.getSilent() ); } }
@Override public void visit(ElementService es) { Node n = es.getServiceNode(); String uri = n!=null && n.isURI()? n.getURI(): null; es.getElement().visit(this); if (uri!=null) { result = new ElementService(uri, result, es.getSilent()); } else if (n!=null) { result = new ElementService(n, result,es.getSilent()); } else { result = new ElementService((Node) null, result, es.getSilent() ); } }
public void visit(ElementService el) { String x = "SERVICE" ; if ( el.getSilent() ) x = "SERVICE SILENT" ; visitNodePattern(x, el.getServiceNode(), el.getElement()) ; }
@Override public void visit(ElementService el) { String x = "SERVICE" ; if ( el.getSilent() ) x = "SERVICE SILENT" ; visitNodePattern(x, el.getServiceNode(), el.getElement()) ; }
protected Op compileElementService(ElementService eltService) { Node serviceNode = eltService.getServiceNode() ; Op sub = compileElement(eltService.getElement()) ; return new OpService(serviceNode, sub, eltService, eltService.getSilent()) ; }
protected Op compileElementService(ElementService eltService) { Node serviceNode = eltService.getServiceNode() ; Op sub = compileElement(eltService.getElement()) ; return new OpService(serviceNode, sub, eltService, eltService.getSilent()) ; }