本文整理汇总了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; }