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}