public List<OJPathName> getParamTypes(){ List<OJPathName> result = new ArrayList<OJPathName>(); Iterator it = this.getParameters().iterator(); while(it.hasNext()){ OJParameter par = (OJParameter) it.next(); result.add(par.getType()); } return result; } public void renameAll(Set<OJPathName> renamePathNames,String newName){
public void renameAll(Set<OJPathName> renamePathNames, String newName) { getType().renameAll(renamePathNames, newName); }
public String getSignature(){ StringBuilder sb = new StringBuilder(getName()); sb.append("("); for(OJParameter p:getParameters()){ sb.append(p.getType().getLast()); sb.append(","); } sb.setCharAt(sb.length() - 1, ')'); return sb.toString(); } /******************************************************
public String toJavaString() { if (getType() == null) { System.err.println("type of param " + getName() + " is null"); return ""; } StringBuilder result = new StringBuilder(); if (isFinal) { result.append("final "); } result.append(getType().getCollectionTypeName()); result.append(" "); result.append(getName()); return result.toString(); }
/** * Implements ->forAll( i : Integer | * self.parameters->at(i).type.equals(types->at(i)) ) * * @param name * @param types */ private boolean forAll2(String name, List<OJPathName> types) { Iterator it = collectionLiteral1(name, types).iterator(); while (it.hasNext()) { Integer i = (Integer) it.next(); if (!(this.getParameters().size() > i.intValue() - 1 ? ((OJParameter) this.getParameters().get(i.intValue() - 1)) : null).getType().equals( (types.size() > i.intValue() - 1 ? ((OJPathName) types.get(i.intValue() - 1)) : null))) { return false; } } return true; }
public boolean isEqual(String name,List /* (OJPathName) */types){ boolean result = false; if(this.getName().equals(name)){ List<OJParameter> myPars = this.getParameters(); if((myPars.size() == 0) && (types.size() == 0)){ result = true; }else{ if(myPars.size() == types.size()){ Iterator parsIt = myPars.iterator(); Iterator typesIt = types.iterator(); boolean loopResult = true; while(parsIt.hasNext()){ OJParameter par = (OJParameter) parsIt.next(); OJPathName type = (OJPathName) typesIt.next(); if(!(par.getType().equals(type))){ loopResult = false; } } result = loopResult; } } } return result; } public List<OJPathName> getParamTypes(){