Uses of Class
org.jmlspecs.jml4.ast.JmlUnaryExpression

Packages that use JmlUnaryExpression

org.jmlspecs.jml4.ast
org.jmlspecs.jml4.rac

Uses of JmlUnaryExpression in org.jmlspecs.jml4.ast

Subclasses of JmlUnaryExpression in org.jmlspecs.jml4.ast

class	JmlElemtypeExpression
class	JmlOldExpression
class	JmlOperationOverStoreRefList
class	JmlTypeExpression
class	JmlTypeofExpression

Methods in org.jmlspecs.jml4.ast that return JmlUnaryExpression

static JmlUnaryExpression

JmlUnaryExpression.factory(Expression expr, int op)

Uses of JmlUnaryExpression in org.jmlspecs.jml4.rac

Methods in org.jmlspecs.jml4.rac with parameters of type JmlUnaryExpression

void	JmlAstVisitor.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)
void	DefaultRacAstVisitor.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)
void	AstDirtyBitsRetriever.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)
void	AstDirtyBitsRestorer.endVisit(JmlUnaryExpression unaryExpression, BlockScope scope)
boolean	JmlAstVisitor.visit(JmlUnaryExpression unaryExpression, BlockScope scope)
boolean	DefaultRacAstVisitor.visit(JmlUnaryExpression unaryExpression, BlockScope scope)
boolean	AstDirtyBitsRetriever.visit(JmlUnaryExpression unaryExpression, BlockScope scope)
boolean	AstDirtyBitsRestorer.visit(JmlUnaryExpression unaryExpression, BlockScope scope)