Uses of Class
escjava.ast.NaryExpr

Packages that use NaryExpr

escjava.ast
escjava.translate

Uses of NaryExpr in escjava.ast

Methods in escjava.ast that return NaryExpr

static NaryExpr

NaryExpr.make(int sloc, int eloc, int op, Identifier methodName, ExprVec exprs)

Methods in escjava.ast with parameters of type NaryExpr

java.lang.Object	VisitorArgResult.visitNaryExpr(NaryExpr x, java.lang.Object o)
void	Visitor.visitNaryExpr(NaryExpr x)

Uses of NaryExpr in escjava.translate

Methods in escjava.translate with parameters of type NaryExpr

protected void	VcToString.printDttfsa(java.io.PrintStream out, java.util.Hashtable subst, NaryExpr ne)
private static Set	Suggestion.checkNaryExpr(NaryExpr e)