001package org.clafer.ast; 002 003import org.clafer.common.Check; 004 005/** 006 * 007 * @author jimmy 008 */ 009public class AstSum implements AstSetExpr { 010 011 private final AstSetExpr set; 012 013 AstSum(AstSetExpr set) { 014 this.set = Check.notNull(set); 015 } 016 017 public AstSetExpr getSet() { 018 return set; 019 } 020 021 @Override 022 public <A, B> B accept(AstExprVisitor<A, B> visitor, A a) { 023 return visitor.visit(this, a); 024 } 025 026 @Override 027 public String toString() { 028 return "sum(" + set + ")"; 029 } 030}