gov.llnl.babel.symbols

Class Inverter


public class Inverter
extends ExprVisitor

Constructor Summary

Inverter(Context context)

Method Summary

static AssertionExpression
invertExpr(AssertionExpression ae, String lengthExpr, Context context)
Object
visitBinaryExpression(BinaryExpression be, Object data)
Object
visitUnaryExpression(UnaryExpression ue, Object data)

Methods inherited from class gov.llnl.babel.symbols.ExprVisitor

visitBinaryExpression, visitBooleanLiteral, visitCharacterLiteral, visitDComplexLiteral, visitDoubleLiteral, visitExpr, visitFComplexLiteral, visitFloatLiteral, visitIdentifierLiteral, visitIntegerLiteral, visitLongLiteral, visitMethodCall, visitStringLiteral, visitUnaryExpression

Constructor Details

Inverter

public Inverter(Context context)

Method Details

invertExpr

public static AssertionExpression invertExpr(AssertionExpression ae,
                                             String lengthExpr,
                                             Context context)

visitBinaryExpression

public Object visitBinaryExpression(BinaryExpression be,
                                    Object data)
Overrides:
visitBinaryExpression in interface ExprVisitor

visitUnaryExpression

public Object visitUnaryExpression(UnaryExpression ue,
                                   Object data)
Overrides:
visitUnaryExpression in interface ExprVisitor