本文整理匯總了Java中edu.mit.csail.sdg.alloy4compiler.ast.ExprLet類的典型用法代碼示例。如果您正苦於以下問題：Java ExprLet類的具體用法？Java ExprLet怎麽用？Java ExprLet使用的例子？那麽, 這裏精選的類代碼示例或許可以為您提供幫助。
ExprLet類屬於edu.mit.csail.sdg.alloy4compiler.ast包，在下文中一共展示了ExprLet類的3個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Java代碼示例。
示例1: visit
import edu.mit.csail.sdg.alloy4compiler.ast.ExprLet; //導入依賴的package包/類
/** {@inheritDoc} */
@Override public Object visit(ExprLet x) throws Err {
env.put(x.var, visitThis(x.expr));
Object ans = visitThis(x.sub);
env.remove(x.var);
return ans;
}
示例2: visit
import edu.mit.csail.sdg.alloy4compiler.ast.ExprLet; //導入依賴的package包/類
/** {@inheritDoc} */
@Override public Expr visit(ExprLet x) throws Err {
Expr right = visitThis(x.expr);
right = right.resolve(right.type(), warns);
ExprVar left = ExprVar.make(x.var.pos, x.var.label, right.type());
put(left.label, left);
Expr sub = visitThis(x.sub);
remove(left.label);
return ExprLet.make(x.pos, left, right, sub);
}
示例3: visit
import edu.mit.csail.sdg.alloy4compiler.ast.ExprLet; //導入依賴的package包/類
/** {@inheritDoc} */
@Override public Expr visit(ExprLet x) { return x; }