JML

org.jmlspecs.checker
Class JmlExpressionFactory

java.lang.Object
  extended byorg.multijava.mjc.JExpressionFactory
      extended byorg.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()
Method Detail

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

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.