/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Creates a new complete constructor {@code SQuantifierExpBase} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param bindList_ the {@link NodeList} node for the {@code bindList} child of this {@link SQuantifierExpBase} node * @param predicate_ the {@link SExpIR} node for the {@code predicate} child of this {@link SQuantifierExpBase} node */ public SQuantifierExpBase(SourceNode sourceNode_, Object tag_, List<? extends ClonableString> metaData_, STypeIR type_, List<? extends SMultipleBindIR> bindList_, SExpIR predicate_) { super(sourceNode_,tag_,metaData_,type_); this.setBindList(bindList_); this.setPredicate(predicate_); }
public String toString() { return super.toString(); }
/** * Creates a map of all field names and their value * @param includeInheritedFields if true all inherited fields are included * @return a a map of names to values of all fields */ @Override public Map<String,Object> getChildren(Boolean includeInheritedFields) { Map<String,Object> fields = new HashMap<String,Object>(); if(includeInheritedFields) { fields.putAll(super.getChildren(includeInheritedFields)); } return fields; }
/** * Creates a map of all field names and their value * @param includeInheritedFields if true all inherited fields are included * @return a a map of names to values of all fields */ @Override public Map<String,Object> getChildren(Boolean includeInheritedFields) { Map<String,Object> fields = new HashMap<String,Object>(); if(includeInheritedFields) { fields.putAll(super.getChildren(includeInheritedFields)); } return fields; }
/** * Creates a new tree field only constructor {@code SQuantifierExpBase TAG=#Quantifier} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param bindList_ the {@link NodeList} node for the {@code bindList} child of this {@link SQuantifierExpBase} node * @param predicate_ the {@link SExpIR} node for the {@code predicate} child of this {@link SQuantifierExpBase} node */ public SQuantifierExpBase(STypeIR type_, List<? extends SMultipleBindIR> bindList_, SExpIR predicate_) { super(null,null,null,type_); this.setBindList(bindList_); this.setPredicate(predicate_); }
public String toString() { return super.toString(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Creates a map of all field names and their value * @param includeInheritedFields if true all inherited fields are included * @return a a map of names to values of all fields */ @Override public Map<String,Object> getChildren(Boolean includeInheritedFields) { Map<String,Object> fields = new HashMap<String,Object>(); if(includeInheritedFields) { fields.putAll(super.getChildren(includeInheritedFields)); } return fields; }
public String toString() { return super.toString(); }
/** * Forwarding hashCode call to {@link Object#hashCode()}. **/ @Override public int hashCode() { return super.hashCode(); }
/** * Essentially this.toString().equals(o.toString()). **/ @Override public boolean equals(Object o) { if (o != null && o instanceof SQuantifierExpBase) { return toString().equals(o.toString()); } return false; }