Bài viết này tổ chức Javacom.ibm.wala.util.warnings.Warnings.add()Một số mã ví dụ về các phương thức, hiển thịCảnh báo.add()cách sử dụng cụ thể. Các ví dụ mã này chủ yếu đến từGithub/tràn ngăn xếp/MavenCác nền tảng như thế này là các mã được trích xuất từ ​​một số dự án được chọn. Chúng có ý nghĩa tham khảo mạnh mẽ và có thể giúp bạn ở một mức độ nhất định.Cảnh báo.add()Chi tiết cụ thể của phương pháp như sau:
Đường dẫn gói: com.ibm.wala.util.warnings.Warnings
Tên lớp: Cảnh báo
Tên phương thức: thêm

Giới thiệu Warnings.add

Chưa có

ví dụ về mã

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

@Override được bảo vệ FileModule makeFile(tệp tệp cuối cùng) { try { return new ClassFileModule(file, this); } Catch (InvalidClassFileException e) { Warnings.add(new Warning(Warning.MODERATE) { @Override public String getMsg() { return "Tệp lớp không hợp lệ tại đường dẫn " + file.getAbsolutePath(); } });

Nguồn mẫu mã:xuất xứ: wala/WALA

@Override được bảo vệ FileModule makeFile(tệp tệp cuối cùng) { try { return new ClassFileModule(file, this); } Catch (InvalidClassFileException e) { Warnings.add(new Warning(Warning.MODERATE) { @Override public String getMsg() { return "Tệp lớp không hợp lệ tại đường dẫn " + file.getAbsolutePath(); } });

Nguồn mẫu mã:xuất xứ: wala/WALA

/** * @param giao diện một tập hợp các tên lớp * @return Tập hợp tất cả các IClass có thể được tải tương ứng với các tên lớp trong mảng giao diện; đưa ra cảnh báo nếu * các lớp không thể được tải */ Private Collection array2IClassSet (Giao diện ImmutableByteArray[]) { ArrayList result = new ArrayList<>(interfaces.length); for (Tên ImmutableByteArray: giao diện) { IClass klass = null; klass = Loader.lookupClass(TypeName.findOrCreate(name)); if (klass == null) { Warnings.add(ClassNotFoundWarning.create(name) } else { result.add(klass }); } kết quả trả về }

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

/** * @param giao diện một tập hợp các tên lớp * @return Tập hợp tất cả các IClass có thể được tải tương ứng với các tên lớp trong mảng giao diện; đưa ra cảnh báo nếu * các lớp không thể được tải */ Private Collection array2IClassSet (Giao diện ImmutableByteArray[]) { ArrayList result = new ArrayList<>(interfaces.length); for (Tên ImmutableByteArray: giao diện) { IClass klass = null; klass = Loader.lookupClass(TypeName.findOrCreate(name)); if (klass == null) { Warnings.add(ClassNotFoundWarning.create(name) } else { result.add(klass }); } kết quả trả về }

Nguồn mẫu mã:xuất xứ: wala/WALA

riêng tư TypeAbstraction chặnType(TypeAbstraction T) { TypeReference type = T.getType().getReference(); if (type.equals(TypeReference.JavaIoSerializable)) { Warnings.add(IgnoreSerializableWarning.create()); trả lại T; } }

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

riêng tư TypeAbstraction chặnType(TypeAbstraction T) { TypeReference type = T.getType().getReference(); if (type.equals(TypeReference.JavaIoSerializable)) { Warnings.add(IgnoreSerializableWarning.create()); trả lại T; } }

Nguồn mẫu mã:xuất xứ: wala/WALA

Warnings.add(MethodResolutionFailure.moderate(target)); Warnings.add(MethodResolutionFailure.severe(target)); } else { TypeReference[]ExceptionTypes = M.getDeclaredExceptions();

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

Warnings.add(MethodResolutionFailure.moderate(target)); Warnings.add(MethodResolutionFailure.severe(target)); } else { TypeReference[]ExceptionTypes = M.getDeclaredExceptions();

Nguồn mẫu mã:xuất xứ: wala/WALA

Warnings.add(Cảnh báo mới() {

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

Warnings.add(Cảnh báo mới() {

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

Warnings.add(Cảnh báo mới() {

Nguồn mẫu mã:xuất xứ: wala/WALA

Warnings.add(Cảnh báo mới() {

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

/** * @return Bộ sưu tập các IClass, đại diện cho các giao diện mà lớp này triển khai */ protected Collection CalculateAllInterfacesAsCollection() { Collection c = getDirectInterfaces(); ); for (IClass klass : c) { if (klass.isInterface()) { result.add(klass } else { Warnings.add(ClassHierarchyWarning.create("dự kiến ​​một giao diện " + klass)); } } // tại thời điểm này, kết quả giữ tất cả các giao diện mà lớp trực tiếp mở rộng. // bây giờ mở rộng đến một điểm cố định. ; làm { Last = HashSetFactory.make(result); for (IClass i : end) { result.addAll(i.getDirectInterfaces()); (last.size() < result.size()); // bây giờ thêm bất kỳ giao diện nào được triển khai bởi siêu lớp IClass sup = null; sup = getSuperclass(); getAllImplementedInterfaces()); } kết quả trả về }

Nguồn mẫu mã:xuất xứ: wala/WALA

/** * @return Bộ sưu tập các IClass, đại diện cho các giao diện mà lớp này triển khai */ protected Collection CalculateAllInterfacesAsCollection() { Collection c = getDirectInterfaces(); ); for (IClass klass : c) { if (klass.isInterface()) { result.add(klass } else { Warnings.add(ClassHierarchyWarning.create("dự kiến ​​một giao diện " + klass)); } } // tại thời điểm này, kết quả giữ tất cả các giao diện mà lớp trực tiếp mở rộng. // bây giờ mở rộng đến một điểm cố định. ; làm { Last = HashSetFactory.make(result); for (IClass i : end) { result.addAll(i.getDirectInterfaces()); (last.size() < result.size()); // bây giờ thêm bất kỳ giao diện nào được triển khai bởi siêu lớp IClass sup = null; sup = getSuperclass(); getAllImplementedInterfaces()); } kết quả trả về }

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

protected void processPutStatic(int rval, FieldReference field, IField f) { PointerKey fKey = getPointerKeyForStaticField(f); PointerKey rvalKey = getPointerKeyForLocal(rval); // if (!supportFullPointerFlowGraph && // contentAreInvariant(rval)) { if (contentsAreInvariant(symbolTable) , du, rval)) { system.recordImplicitPointsToSet(rvalKey); InstanceKey[] ik = getInvariantContents(rval); for (InstanceKey element : ik) { system.newConstraint(fKey, element); } } else { system.newConstraint(fKey,signOperator, rvalKey } if (DEBUG) { System.err.println("visitPut class init " + field.getDeclaringClass() + ' ' + field); } // tác dụng phụ của putstatic: có thể gọi trình khởi tạo lớp IClass klass = getClassHierarchy().lookupClass(field.getDeclaringClass()); add(FieldResolutionFailure.create(field)); } else { processClassInitializer(klass);

Nguồn mẫu mã:xuất xứ: wala/WALA

protected void processPutStatic(int rval, FieldReference field, IField f) { PointerKey fKey = getPointerKeyForStaticField(f); PointerKey rvalKey = getPointerKeyForLocal(rval); // if (!supportFullPointerFlowGraph && // contentAreInvariant(rval)) { if (contentsAreInvariant(symbolTable) , du, rval)) { system.recordImplicitPointsToSet(rvalKey); InstanceKey[] ik = getInvariantContents(rval); for (InstanceKey element : ik) { system.newConstraint(fKey, element); } } else { system.newConstraint(fKey,signOperator, rvalKey } if (DEBUG) { System.err.println("visitPut class init " + field.getDeclaringClass() + ' ' + field); } // tác dụng phụ của putstatic: có thể gọi trình khởi tạo lớp IClass klass = getClassHierarchy().lookupClass(field.getDeclaringClass()); add(FieldResolutionFailure.create(field)); } else { processClassInitializer(klass);

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

public voidvisitPutInternal(int rval, int ref, boolean isStatic, FieldReference field) { if (DEBUG) { System.err.println("visitPut " + field } // bỏ qua các trường put của kiểu nguyên thủy if (field.getFieldType()); .isPrimitiveType()) { return; } IField f = getClassHierarchy().resolveField(field); null) { if (DEBUG) { System.err.println("Không thể giải quyết trường " + field); } Warnings.add(FieldResolutionFailure.create(field)); return; .equals(field.getFieldType().getName()) : "tên xung đột của hai trường có cùng tên nhưng khác loại: " + f.getReference() + " <=> " + field; khẳng định isStatic || !symbolTable.isStringConstant(ref) : "không được phép đặt thành hằng số chuỗi?"; if (isStatic) { processPutStatic(rval, field, f); } else { processPutField (rval, ref, f);

Nguồn mẫu mã:xuất xứ: wala/WALA

public voidvisitPutInternal(int rval, int ref, boolean isStatic, FieldReference field) { if (DEBUG) { System.err.println("visitPut " + field } // bỏ qua các trường put của kiểu nguyên thủy if (field.getFieldType()); .isPrimitiveType()) { return; } IField f = getClassHierarchy().resolveField(field); null) { if (DEBUG) { System.err.println("Không thể giải quyết trường " + field); } Warnings.add(FieldResolutionFailure.create(field)); return; .equals(field.getFieldType().getName()) : "tên xung đột của hai trường có cùng tên nhưng khác loại: " + f.getReference() + " <=> " + field; khẳng định isStatic || !symbolTable.isStringConstant(ref) : "không được phép đặt thành hằng số chuỗi?"; if (isStatic) { processPutStatic(rval, field, f); } else { processPutField (rval, ref, f);

Nguồn mẫu mã:xuất xứ: wala/WALA

Private void recordExceptionTypes(Set set, IClassLoader Loader) { for (ExceptionHandler handler : set) { TypeReference t = null; if (handler.getCatchClass() == null) { // theo quy ước, trong ShrikeCT, điều này có nghĩa là nắm bắt mọi thứ t = TypeReference.JavaLangThrowable; } else if (handler.getCatchClassLoader() instanceof ClassLoaderReference) { t = ShrikeUtil.makeTypeReference((ClassLoaderReference)handler.getCatchClassLoader(), handler.getCatchClass()); } else { TypeReferenceExceptionType = ShrikeUtil.makeTypeReference(loader.getReference(), handler.getCatchClass()); klass = Loader.lookupClass(ExceptionType.getName()); (klass == null) { Warnings.add(ExceptionLoadFailure.create(ExceptionType, phương thức)); t = ngoại lệ; } else { t = klass.getReference(); } } intguideIndex = handler.getHandler(); getBlockForInstruction(instructionIndex); if (!(b instanceof ExceptionHandlerBasicBlock)) { khẳng định b instanceof ExceptionHandlerBasicBlock : "không phải trình xử lý ngoại lệ " + b + " chỉ mục " +guideIndex; } ExceptionHandlerBasicBlock bb = (ExceptionHandlerBasicBlock) getBlockForInstruction(instructionIndex);

Nguồn mẫu mã:nguồn gốc: com.ibm.wala/com.ibm.wala.core

Private void recordExceptionTypes(Set set, IClassLoader Loader) { for (ExceptionHandler handler : set) { TypeReference t = null; if (handler.getCatchClass() == null) { // theo quy ước, trong ShrikeCT, điều này có nghĩa là nắm bắt mọi thứ t = TypeReference.JavaLangThrowable; } else if (handler.getCatchClassLoader() instanceof ClassLoaderReference) { t = ShrikeUtil.makeTypeReference((ClassLoaderReference)handler.getCatchClassLoader(), handler.getCatchClass()); } else { TypeReferenceExceptionType = ShrikeUtil.makeTypeReference(loader.getReference(), handler.getCatchClass()); klass = Loader.lookupClass(ExceptionType.getName()); (klass == null) { Warnings.add(ExceptionLoadFailure.create(ExceptionType, phương thức)); t = ngoại lệ; } else { t = klass.getReference(); } } intguideIndex = handler.getHandler(); getBlockForInstruction(instructionIndex); if (!(b instanceof ExceptionHandlerBasicBlock)) { khẳng định b instanceof ExceptionHandlerBasicBlock : "không phải trình xử lý ngoại lệ " + b + " chỉ mục " +guideIndex; } ExceptionHandlerBasicBlock bb = (ExceptionHandlerBasicBlock) getBlockForInstruction(instructionIndex);