Examples with Pos edu.mit.csail.sdg.alloy4.Pos used on opensource projects

Example 56 with Pos

use of edu.mit.csail.sdg.alloy4.Pos in project org.alloytools.alloy by AlloyTools.

the class ExprChoice method span.

// ============================================================================================================//
/**
 * {@inheritDoc}
 */
@Override
public Pos span() {
    Pos p = span;
    if (p == null) {
        p = pos;
        for (Expr a : choices) p = p.merge(a.span());
        span = p;
    }
    return p;
}