|
UTJML | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||