org.clafer.ast

Class AstNot

java.lang.Object

org.clafer.ast.AstNot

All Implemented Interfaces:

AstBoolExpr, AstExpr

public class AstNot
extends Object
implements AstBoolExpr

Negate a boolean expression.

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
AstBoolExpr	getExpr() Returns the expression to negated.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

getExpr

public AstBoolExpr getExpr()

Returns the expression to negated.

Returns:

the expression to negate

accept

public <A,B> B accept(AstExprVisitor<A,B> visitor,
             A a)

Dynamic dispatch on the visitor.

Specified by:

accept in interface AstExpr

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

toString

public String toString()

Overrides:

toString in class Object