Fixed prefixNotation for NullaryRelation
Added make for NullaryRelation git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1055 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
d12cabee64
commit
053eb95444
|
@ -87,6 +87,10 @@ public class RelationFormula implements IFormula {
|
||||||
return new RelationFormula(relation, terms);
|
return new RelationFormula(relation, terms);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public static RelationFormula make(NullaryRelation R) {
|
||||||
|
return new RelationFormula(R, new ArrayList<ITerm>());
|
||||||
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public int hashCode() {
|
public int hashCode() {
|
||||||
final int PRIME = 31;
|
final int PRIME = 31;
|
||||||
|
@ -146,7 +150,8 @@ public class RelationFormula implements IFormula {
|
||||||
result.append(terms.get(i));
|
result.append(terms.get(i));
|
||||||
result.append(",");
|
result.append(",");
|
||||||
}
|
}
|
||||||
result.append(terms.get(R.getValence() - 1));
|
if (R.getValence() > 0)
|
||||||
|
result.append(terms.get(R.getValence() - 1));
|
||||||
result.append(")");
|
result.append(")");
|
||||||
return result.toString();
|
return result.toString();
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue