org.jmlspecs.checker
Class JmlExpressionFactory

java.lang.Object
  org.multijava.mjc.JExpressionFactory
      org.jmlspecs.checker.JmlExpressionFactory

All Implemented Interfaces:

MjcTokenTypes

public class JmlExpressionFactory

extends JExpressionFactory

Expression AST node factory class. Factory methods are provided for expressions whose semantics are different in Java and JML annotations.

Field Summary

 

Fields inherited from interface org.multijava.mjc.MjcTokenTypes

ASSIGN, AT, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, EOF, EQUAL, GE, GT, IDENT, INC, INTEGER_LITERAL, JAVADOC_OPEN, LAND, LBRACK, LCURLY, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_goto, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_peer, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_readonly, LITERAL_rep, LITERAL_resend, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL

 

Constructor Summary

JmlExpressionFactory()

 

Method Summary
JAddExpression	createAddExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JDivideExpression	createDivideExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JMinusExpression	createMinusExpression(antlr.Token tok, TokenReference where, JExpression left, JExpression right)
JMultExpression	createMultExpression(antlr.Token op, TokenReference where, JExpression left, JExpression right)
JUnaryExpression	createUnaryExpression(antlr.Token op, TokenReference where, int oper, JExpression expr)

 

Methods inherited from class org.multijava.mjc.JExpressionFactory

createAdditiveExpr, createBitwiseExpression, createModuloExpression, createMultiplicativeExpr, createShiftExpression

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

JmlExpressionFactory

public JmlExpressionFactory()

createUnaryExpression

public JUnaryExpression createUnaryExpression(antlr.Token op,
                                              TokenReference where,
                                              int oper,
                                              JExpression expr)

Overrides:

createUnaryExpression in class JExpressionFactory

createAddExpression

public JAddExpression createAddExpression(antlr.Token tok,
                                          TokenReference where,
                                          JExpression left,
                                          JExpression right)

Overrides:

createAddExpression in class JExpressionFactory

createMinusExpression

public JMinusExpression createMinusExpression(antlr.Token tok,
                                              TokenReference where,
                                              JExpression left,
                                              JExpression right)

Overrides:

createMinusExpression in class JExpressionFactory

createMultExpression

public JMultExpression createMultExpression(antlr.Token op,
                                            TokenReference where,
                                            JExpression left,
                                            JExpression right)

Overrides:

createMultExpression in class JExpressionFactory

createDivideExpression

public JDivideExpression createDivideExpression(antlr.Token op,
                                                TokenReference where,
                                                JExpression left,
                                                JExpression right)

Overrides:

createDivideExpression in class JExpressionFactory