Examples of edu.mit.csail.sdg.alloy4compiler.ast.Type.fold()

Package edu.mit.csail.sdg.alloy4compiler.ast

Class edu.mit.csail.sdg.alloy4compiler.ast.Type

Examples of edu.mit.csail.sdg.alloy4compiler.ast.Type.fold()

edu.mit.csail.sdg.alloy4compiler.ast.Type.fold()
Merge "a" into the set of entries.
If {a}+this.entries contain a set of entries X1..Xn, such that
(1) For each X: X[j]==a[j] for i!=j, and X[i].super==a[i].super
(2) X1[i]..Xn[i] exhaust all the direct subsignatures of an abstract parent sig
THEN:
we remove X1..Xn, then return the merged result of X1..Xn
ELSE
we change nothing, and simply return null
Precondition: a[i] is not NONE, and a[i].parent is abstract, and a[i].parent!=UNIV

                    continue;
                 }
              }
              Type t = isOne ? Sig.UNIV.type().join(f.type()) : f.type();
              TupleSet ub = factory.noneOf(t.arity());
              for(List<PrimSig> p:t.fold()) {
                 TupleSet upper=null;
                 for(PrimSig b:p) {
                    TupleSet tmp = sol.query(true, sol.a2k(b), false);
                    if (upper==null) upper=tmp; else upper=upper.product(tmp);
                 }

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.