本文整理匯總了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;
}