Uses of Interface
jml2b.structure.jml.JmlExpression

Packages that use JmlExpression

jml2b.structure.jml	Provides the classes necessary to create and manage jml clauses such that depends, represents, specification cases, modifies and exsures.
jml2b.structure.statement	Provides the classes necessary to create and manage java and jml statements and expressions.

Uses of JmlExpression in jml2b.structure.jml

Classes in jml2b.structure.jml that implement JmlExpression

class

Represents This abstract class describes a represents clause.

Methods in jml2b.structure.jml that return JmlExpression

JmlExpression	JmlExpression.instancie() Instancie the expression.
JmlExpression	JmlExpression.instancie(Expression b) Replaces this with the parameter in the expression.
JmlExpression	Represents.instancie()
JmlExpression	Represents.instancie(Expression b)

Uses of JmlExpression in jml2b.structure.statement

Classes in jml2b.structure.statement that implement JmlExpression

class	ArrayInitializer This class implements an array initializer statement, that is, for instance, { {"car", "house" }, {"dog", "cat", "monkey"} }.
class	BinaryExp This class implements binary expressions.
class	Expression This class defines a Java expression.
class	IsSubtypeOfExp This class implements subtype JML expression, it corresponds to code like a <: b
class	MethodCallExp This class implements a method call expression
class	QuantifiedExp This class implements a quantified expression, that is \forall type var; body or \exists type var; body.
class	QuestionExp This class implements a question expression, that is a ? b :c
class	TerminalExp This class implements a terminal expression.
class	TTypeExp This class implements expressions corresponding to types.
class	UnaryExp This class implements unary expressions.
class	WithTypeExp This class implements expression with type, that is object and array creation, casting and instanceof.

Methods in jml2b.structure.statement that return JmlExpression

JmlExpression	ArrayInitializer.instancie(Expression b)
JmlExpression	ArrayInitializer.instancie()
JmlExpression	BinaryExp.instancie()
JmlExpression	BinaryExp.instancie(Expression b)
abstract JmlExpression	Expression.instancie(Expression b) Replaces this with the parameter in the expression.
JmlExpression	IsSubtypeOfExp.instancie()
JmlExpression	IsSubtypeOfExp.instancie(Expression b)
JmlExpression	MethodCallExp.instancie()
JmlExpression	MethodCallExp.instancie(Expression b)
JmlExpression	QuantifiedExp.instancie()
JmlExpression	QuantifiedExp.instancie(Expression b)
JmlExpression	QuestionExp.instancie()
JmlExpression	QuestionExp.instancie(Expression b)
JmlExpression	TTypeExp.instancie()
JmlExpression	TTypeExp.instancie(Expression b)
JmlExpression	TerminalExp.instancie() Returns a dot expression this.e where e is the current expression when it is an identifer that corresponds to a non static field or non static method.
JmlExpression	TerminalExp.instancie(Expression b) If the current expression is LITERAL_this, return b else return this.
JmlExpression	UnaryExp.instancie()
JmlExpression	UnaryExp.instancie(Expression b)
JmlExpression	WithTypeExp.instancie()
JmlExpression	WithTypeExp.instancie(Expression b)