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) |
visitExpr
public 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 ExprVisitor
public java.lang.Object visitBooleanLiteral(BooleanLiteral bl, java.lang.Object data)
visitBooleanLiteral
in class ExprVisitor
public java.lang.Object visitCharacterLiteral(CharacterLiteral cl, java.lang.Object data)
visitCharacterLiteral
in class ExprVisitor
public java.lang.Object visitDComplexLiteral(DComplexLiteral dcl, java.lang.Object data)
visitDComplexLiteral
in class ExprVisitor
public java.lang.Object visitDoubleLiteral(DoubleLiteral dl, java.lang.Object data)
visitDoubleLiteral
in class ExprVisitor
public java.lang.Object visitFComplexLiteral(FComplexLiteral fcl, java.lang.Object data)
visitFComplexLiteral
in class ExprVisitor
public java.lang.Object visitFloatLiteral(FloatLiteral fl, java.lang.Object data)
visitFloatLiteral
in class ExprVisitor
public java.lang.Object visitIdentifierLiteral(IdentifierLiteral il, java.lang.Object data)
visitIdentifierLiteral
in class ExprVisitor
public java.lang.Object visitIntegerLiteral(IntegerLiteral il, java.lang.Object data)
visitIntegerLiteral
in class ExprVisitor
public java.lang.Object visitLongLiteral(LongLiteral ll, java.lang.Object data)
visitLongLiteral
in class ExprVisitor
public java.lang.Object visitMethodCall(MethodCall mc, java.lang.Object data)
visitMethodCall
in class ExprVisitor
public java.lang.Object visitStringLiteral(StringLiteral sl, java.lang.Object data)
visitStringLiteral
in class ExprVisitor
public java.lang.Object visitUnaryExpression(UnaryExpression ue, java.lang.Object data)
visitUnaryExpression
in class ExprVisitor
public static java.lang.String toCString(AssertionExpression ae)