gov.llnl.babel.symbols

Class Inverter

java.lang.Object

gov.llnl.babel.symbols.ExprVisitor

gov.llnl.babel.symbols.Inverter

public class Inverter
extends ExprVisitor

Constructor Summary

Constructors

Constructor and Description
Inverter(Context context)

Method Summary

Methods

Modifier and Type	Method and Description
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)