UTJML

Uses of Class
edu.utep.cs.utjml.compiler.JmlCallSequenceExpression

Packages that use JmlCallSequenceExpression
edu.utep.cs.utjml.compiler   
 

Uses of JmlCallSequenceExpression in edu.utep.cs.utjml.compiler
 

Subclasses of JmlCallSequenceExpression in edu.utep.cs.utjml.compiler
 class JmlBinaryCallSequenceExpression
          Concrete class representing binary call sequence expressions.
 class JmlMethodCallSequenceExpression
          Concrete class representing method call sequences.
 class JmlParenCallSequenceExpression
          Concrete class representing parenthesized call sequences.
 class JmlUnaryCallSequenceExpression
          Concrete class representing unary call sequence expressions.
 

Methods in edu.utep.cs.utjml.compiler that return JmlCallSequenceExpression
 JmlCallSequenceExpression JmlParenCallSequenceExpression.expression()
           
 JmlCallSequenceExpression JmlCallSequence.expression()
          Returns the call sequence expression of this clause.
 JmlCallSequenceExpression JmlUnaryCallSequenceExpression.expressione()
           
 JmlCallSequenceExpression UtJmlParser.jmlCallSequence()
           
 JmlCallSequenceExpression UtJmlParser.jmlCallSequenceF()
           
 JmlCallSequenceExpression UtJmlParser.jmlCallSequenceP()
           
 JmlCallSequenceExpression UtJmlParser.jmlCallSequenceS()
           
 JmlCallSequenceExpression JmlMethodCallSequenceExpression.nested()
           
 

Constructors in edu.utep.cs.utjml.compiler with parameters of type JmlCallSequenceExpression
JmlBinaryCallSequenceExpression(TokenReference where, int opr, JmlCallSequenceExpression left, JmlCallSequenceExpression right)
           
JmlCallSequence(TokenReference where, long modifiers, boolean redundantly, JmlCallSequenceExpression expr)
          Creates a new instance.
JmlMethodCallSequenceExpression(TokenReference where, JmlMethodName name, JmlCallSequenceExpression nested)
           
JmlParenCallSequenceExpression(TokenReference where, JmlCallSequenceExpression expr)
           
JmlUnaryCallSequenceExpression(TokenReference where, int opr, JmlCallSequenceExpression expr)
           
 


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso 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 JML project.