Uses of Class
escjava.ast.DefPredApplExpr

Packages that use DefPredApplExpr

escjava.ast

Uses of DefPredApplExpr in escjava.ast

Methods in escjava.ast that return DefPredApplExpr

static DefPredApplExpr

DefPredApplExpr.make(Identifier predId, ExprVec args)

Methods in escjava.ast with parameters of type DefPredApplExpr

abstract java.lang.Object	VisitorArgResult.visitDefPredApplExpr(DefPredApplExpr x, java.lang.Object o)
abstract void	Visitor.visitDefPredApplExpr(DefPredApplExpr x)