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