예제 #1
0
파일: Decls.java 프로젝트: msakai/kodkod
 /**
  * Constructs a new Decls with the specified head and tail.
  *
  * @requires head.size > 0 && tail.size > 0
  * @ensures this.size' = head.size + tail.size && (all i: [0..head.size) | this.decls[i] =
  *     head.decls[i]) && (all i: [head.size..this.size') | this.decls[i] = tail.decls[i])
  * @throws NullPointerException head = null || tail is null
  */
 private Decls(Decls head, Decls tail) {
   this.decls = new Decl[head.size() + tail.size()];
   System.arraycopy(head.decls, 0, decls, 0, head.size());
   System.arraycopy(tail.decls, 0, decls, head.size(), tail.size());
 }
예제 #2
0
 /**
  * Returns the arity of this comprehension expression, which is the sum of the arities of declared
  * variables
  *
  * @return #this.decls
  */
 public int arity() {
   return decls.size();
 }