本文整理汇总了Java中org.aikodi.chameleon.core.validation.Verification.and方法的典型用法代码示例。如果您正苦于以下问题:Java Verification.and方法的具体用法?Java Verification.and怎么用?Java Verification.and使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.aikodi.chameleon.core.validation.Verification
的用法示例。
在下文中一共展示了Verification.and方法的2个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: analyze
import org.aikodi.chameleon.core.validation.Verification; //导入方法依赖的package包/类
@Override
public void analyze(AssignmentExpression assignment) throws LookupException {
Verification result = Valid.create();
Method method = assignment.nearestAncestor(Method.class);
Java7 language = method.language(Java7.class);
if(method != null && Predicates.EXTERNALLY_ACCESSIBLE.eval(method)) {
Variable v = assignment.variable();
if(v instanceof RegularMemberVariable && v.isTrue(language.INSTANCE)) {
Expression e = assignment.getValue();
if(e instanceof CrossReference) {
Declaration rhs = ((CrossReference) e).getElement();
if(rhs instanceof FormalParameter) {
Type type_of_value = ((FormalParameter)rhs).getType();
if((!Predicates.IMMUTABLE_COLLECTION.eval(type_of_value)) && Predicates.COLLECTION.eval(type_of_value)) {
result = result.and(new IncomingCollectionEncapsulationViolationResult(v,(FormalParameter) rhs));
}
}
}
}
}
setResult(result().and(result));
}
示例2: verifySelf
import org.aikodi.chameleon.core.validation.Verification; //导入方法依赖的package包/类
@Override
public Verification verifySelf() {
Verification result = Valid.create();
if(newSignature() == null) {
result = result.and(new BasicProblem(this, "The renaming clause does not contain a new name."));
}
QualifiedName fqn = oldFQN();
if(fqn == null) {
result = result.and(new BasicProblem(this, "The renaming clause does not contain an old name."));
}
try {
oldDeclaration();
} catch(LookupException exc) {
String id = "";
if(fqn != null) {
id = fqn.toString();
}
result = result.and(new BasicProblem(this, "The exported declaration "+id+"cannot be found."));
}
return result;
}