Uses of Interface
org.clafer.ast.AstExpr

Packages that use AstExpr

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.

Uses of AstExpr in org.clafer.ast

Subinterfaces of AstExpr in org.clafer.ast

Modifier and Type	Interface and Description
interface	AstBoolExpr
interface	AstSetExpr

Classes in org.clafer.ast that implement AstExpr

Modifier and Type	Class and Description
class	AstArithm foldl1 op operands.
class	AstBoolArithm foldl1 op operands.
class	AstCard
class	AstCompare
class	AstConstant A constant set.
class	AstDifference
class	AstDowncast
class	AstGlobal All the Clafers of a type.
class	AstIfThenElse
class	AstIntersection
class	AstJoin
class	AstJoinParent
class	AstJoinRef
class	AstLocal A local is a binding of a value to a name in quantifiers.
class	AstMembership
class	AstMinus
class	AstNot Negate a boolean expression.
class	AstQuantify
class	AstSetTest
class	AstSum
class	AstTernary
class	AstThis Do NOT reuse for different expressions.
class	AstUnion
class	AstUpcast

Methods in org.clafer.ast that return AstExpr

Modifier and Type	Method and Description
AstExpr	AstExprRewriter.visit(AstArithm ast, T a)
AstExpr	AstExprRewriter.visit(AstBoolArithm ast, T a)
AstExpr	AstExprRewriter.visit(AstCard ast, T a)
AstExpr	AstExprRewriter.visit(AstCompare ast, T a)
AstExpr	AstExprRewriter.visit(AstConstant ast, T a)
AstExpr	AstExprRewriter.visit(AstDifference ast, T a)
AstExpr	AstExprRewriter.visit(AstDowncast ast, T a)
AstExpr	AstExprRewriter.visit(AstGlobal ast, T a)
AstExpr	AstExprRewriter.visit(AstIfThenElse ast, T a)
AstExpr	AstExprRewriter.visit(AstIntersection ast, T a)
AstExpr	AstExprRewriter.visit(AstJoinParent ast, T a)
AstExpr	AstExprRewriter.visit(AstJoinRef ast, T a)
AstExpr	AstExprRewriter.visit(AstJoin ast, T a)
AstExpr	AstExprRewriter.visit(AstLocal ast, T a)
AstExpr	AstExprRewriter.visit(AstMembership ast, T a)
AstExpr	AstExprRewriter.visit(AstMinus ast, T a)
AstExpr	AstExprRewriter.visit(AstNot ast, T a)
AstExpr	AstExprRewriter.visit(AstQuantify ast, T a)
AstExpr	AstExprRewriter.visit(AstSetTest ast, T a)
AstExpr	AstExprRewriter.visit(AstSum ast, T a)
AstExpr	AstExprRewriter.visit(AstTernary ast, T a)
AstExpr	AstExprRewriter.visit(AstThis ast, T a)
AstExpr	AstExprRewriter.visit(AstUnion ast, T a)
AstExpr	AstExprRewriter.visit(AstUpcast ast, T a)

Uses of AstExpr in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return AstExpr

Modifier and Type	Method and Description
AstExpr	OptimizerAnalyzer.visit(AstJoin ast, Analysis a)
AstExpr	OptimizerAnalyzer.visit(AstJoinParent ast, Analysis a)

Methods in org.clafer.ast.analysis that return types with arguments of type AstExpr

Modifier and Type	Method and Description
Map<AstExpr,Type>	Analysis.getTypeMap()

Methods in org.clafer.ast.analysis with parameters of type AstExpr

Modifier and Type	Method and Description
AstClafer	Analysis.getCommonSupertype(AstExpr expr)
Type	Analysis.getType(AstExpr expr)

Method parameters in org.clafer.ast.analysis with type arguments of type AstExpr

Modifier and Type	Method and Description
Analysis	Analysis.setTypeMap(Map<AstExpr,Type> typeMap)