Added an assert in make() with variable length
list of arguments, to make sure the arity of the function is in agreement. git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1057 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
535bdf4bc9
commit
92af67ce9b
|
@ -61,7 +61,8 @@ public class FunctionTerm implements ITerm {
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
public static ITerm make(IFunction f, List<ITerm> terms) {
|
public static FunctionTerm make(IFunction f, List<ITerm> terms) {
|
||||||
|
assert f.getNumberOfParameters() == terms.size();
|
||||||
return new FunctionTerm(f, terms);
|
return new FunctionTerm(f, terms);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue