本文整理汇总了Java中kodkod.ast.Expression.apply方法的典型用法代码示例。如果您正苦于以下问题：Java Expression.apply方法的具体用法？Java Expression.apply怎么用？Java Expression.apply使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类kodkod.ast.Expression的用法示例。
在下文中一共展示了Expression.apply方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import kodkod.ast.Expression; //导入方法依赖的package包/类
/**
* Calls lookup(unaryExpr) and returns the cached value, if any. If a
* replacement has not been cached, visits the expression's child. If
* nothing changes, the argument is cached and returned, otherwise a
* replacement expression is cached and returned.
*
* @return { u: UnaryExpression | u.left =
* unaryExpr.expression.accept(delegate) && u.op = unaryExpr.op }
*/
public Expression visit(UnaryExpression unaryExpr) {
Expression ret = lookup(unaryExpr);
if (ret != null)
return ret;
final Expression child = unaryExpr.expression().accept(delegate);
ret = (child == unaryExpr.expression()) ? unaryExpr : child.apply(unaryExpr.op());
return cache(unaryExpr, ret);
}
示例2: visit
import kodkod.ast.Expression; //导入方法依赖的package包/类
/**
* Calls lookup(unaryExpr) and returns the cached value, if any.
* If a replacement has not been cached, visits the expression's
* child. If nothing changes, the argument is cached and
* returned, otherwise a replacement expression is cached and returned.
* @return { u: UnaryExpression | u.left = unaryExpr.expression.accept(this) && u.op = unaryExpr.op }
*/
public Expression visit(UnaryExpression unaryExpr) {
Expression ret = lookup(unaryExpr);
if (ret!=null) return ret;
final Expression child = unaryExpr.expression().accept(this);
ret = (child==unaryExpr.expression()) ?
unaryExpr : child.apply(unaryExpr.op());
return cache(unaryExpr,ret);
}