public class CExprString extends ExprVisitor
| Constructor and Description |
|---|
CExprString() |
CExprString(java.lang.String prefix) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
specialCase(BinaryExpression be,
java.lang.String lhs,
java.lang.String rhs) |
static java.lang.String |
toCString(AssertionExpression ae) |
java.lang.Object |
visitBinaryExpression(BinaryExpression be,
java.lang.Object data) |
java.lang.Object |
visitBooleanLiteral(BooleanLiteral bl,
java.lang.Object data) |
java.lang.Object |
visitCharacterLiteral(CharacterLiteral cl,
java.lang.Object data) |
java.lang.Object |
visitDComplexLiteral(DComplexLiteral dcl,
java.lang.Object data) |
java.lang.Object |
visitDoubleLiteral(DoubleLiteral dl,
java.lang.Object data) |
java.lang.Object |
visitFComplexLiteral(FComplexLiteral fcl,
java.lang.Object data) |
java.lang.Object |
visitFloatLiteral(FloatLiteral fl,
java.lang.Object data) |
java.lang.Object |
visitIdentifierLiteral(IdentifierLiteral il,
java.lang.Object data) |
java.lang.Object |
visitIntegerLiteral(IntegerLiteral il,
java.lang.Object data) |
java.lang.Object |
visitLongLiteral(LongLiteral ll,
java.lang.Object data) |
java.lang.Object |
visitMethodCall(MethodCall mc,
java.lang.Object data) |
java.lang.Object |
visitStringLiteral(StringLiteral sl,
java.lang.Object data) |
java.lang.Object |
visitUnaryExpression(UnaryExpression ue,
java.lang.Object data) |
visitExprpublic CExprString()
public CExprString(java.lang.String prefix)
public java.lang.String specialCase(BinaryExpression be, java.lang.String lhs, java.lang.String rhs)
public java.lang.Object visitBinaryExpression(BinaryExpression be, java.lang.Object data)
visitBinaryExpression in class ExprVisitorpublic java.lang.Object visitBooleanLiteral(BooleanLiteral bl, java.lang.Object data)
visitBooleanLiteral in class ExprVisitorpublic java.lang.Object visitCharacterLiteral(CharacterLiteral cl, java.lang.Object data)
visitCharacterLiteral in class ExprVisitorpublic java.lang.Object visitDComplexLiteral(DComplexLiteral dcl, java.lang.Object data)
visitDComplexLiteral in class ExprVisitorpublic java.lang.Object visitDoubleLiteral(DoubleLiteral dl, java.lang.Object data)
visitDoubleLiteral in class ExprVisitorpublic java.lang.Object visitFComplexLiteral(FComplexLiteral fcl, java.lang.Object data)
visitFComplexLiteral in class ExprVisitorpublic java.lang.Object visitFloatLiteral(FloatLiteral fl, java.lang.Object data)
visitFloatLiteral in class ExprVisitorpublic java.lang.Object visitIdentifierLiteral(IdentifierLiteral il, java.lang.Object data)
visitIdentifierLiteral in class ExprVisitorpublic java.lang.Object visitIntegerLiteral(IntegerLiteral il, java.lang.Object data)
visitIntegerLiteral in class ExprVisitorpublic java.lang.Object visitLongLiteral(LongLiteral ll, java.lang.Object data)
visitLongLiteral in class ExprVisitorpublic java.lang.Object visitMethodCall(MethodCall mc, java.lang.Object data)
visitMethodCall in class ExprVisitorpublic java.lang.Object visitStringLiteral(StringLiteral sl, java.lang.Object data)
visitStringLiteral in class ExprVisitorpublic java.lang.Object visitUnaryExpression(UnaryExpression ue, java.lang.Object data)
visitUnaryExpression in class ExprVisitorpublic static java.lang.String toCString(AssertionExpression ae)