| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectgov.llnl.babel.symbols.ExprVisitor
gov.llnl.babel.symbols.Inverter
public class Inverter
| 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 | 
|---|
public Inverter(Context context)
| Method Detail | 
|---|
public java.lang.Object visitBinaryExpression(BinaryExpression be,
                                              java.lang.Object data)
visitBinaryExpression in class ExprVisitor
public java.lang.Object visitUnaryExpression(UnaryExpression ue,
                                             java.lang.Object data)
visitUnaryExpression in class ExprVisitor
public static AssertionExpression invertExpr(AssertionExpression ae,
                                             java.lang.String lengthExpr,
                                             Context context)
| 
 | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||