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(Context context)
           
 
Method Summary
static AssertionExpression invertExpr(AssertionExpression ae, java.lang.String lengthExpr, Context context)
           
 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(Context context)
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,
                                             Context context)