gov.llnl.babel.symbols
Class Inverter

java.lang.Object
  extended by gov.llnl.babel.symbols.ExprVisitor
      extended by gov.llnl.babel.symbols.Inverter

public class Inverter
extends ExprVisitor


Constructor Summary
Inverter()
           
 
Method Summary
static AssertionExpression invertExpr(AssertionExpression ae, java.lang.String lengthExpr)
           
 java.lang.Object visitBinaryExpression(BinaryExpression be, java.lang.Object data)
           
 java.lang.Object visitUnaryExpression(UnaryExpression ue, java.lang.Object data)
           
 
Methods inherited from class gov.llnl.babel.symbols.ExprVisitor
visitBooleanLiteral, visitCharacterLiteral, visitDComplexLiteral, visitDoubleLiteral, visitExpr, visitFComplexLiteral, visitFloatLiteral, visitIdentifierLiteral, visitIntegerLiteral, visitLongLiteral, visitMethodCall, visitStringLiteral
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Inverter

public Inverter()
Method Detail

visitBinaryExpression

public java.lang.Object visitBinaryExpression(BinaryExpression be,
                                              java.lang.Object data)
Overrides:
visitBinaryExpression in class ExprVisitor

visitUnaryExpression

public java.lang.Object visitUnaryExpression(UnaryExpression ue,
                                             java.lang.Object data)
Overrides:
visitUnaryExpression in class ExprVisitor

invertExpr

public static AssertionExpression invertExpr(AssertionExpression ae,
                                             java.lang.String lengthExpr)