 | 검사기 프레임 워크Java 용 사용자 정의 플러그 가능 유형 |
| 지금 다운로드 | |
검사기 프레임 워크 순위 및 요약
광고
검사기 프레임 워크 태그
검사기 프레임 워크 설명
EditBy 체커 프레임 워크 는 후방 호환 방식으로 Java 언어에 플러그 가능 유형 시스템을 추가하는 것을 지원합니다. Java의 내장형 TypeChecker는 많은 오류를 찾아서 방지하지만 충분한 오류를 찾아서 방지하지 않습니다. 검사기 프레임 워크 를 사용하면 추가 TypeChecker를 javac 컴파일러에 플러그인으로 실행할 수 있습니다. 코드는 완전히 역 호환됩니다. 코드는 모든 JVM에서 실행되며 동료가 원하지 않는 경우 강화 된 유형 시스템을 사용하지 않아도됩니다. 프로그램의 일부만을 확인할 수 있습니다. 코드를 입력하는 데 도움이되는 유형 추론 도구가 있습니다. 유형 시스템 설계자는 검사기 프레임 워크 를 사용하여 유형 한정자와 의미론을 정의하고 컴파일러 플러그인 ( "검사기")은 의미론을 적용합니다. 프로그래머는 프로그램에 유형 한정자를 작성하고 플러그인을 사용하여 오류를 감지하거나 방지 할 수 있습니다. 검사기 프레임 워크 는 오류없는 코드를 작성하고 유형 시스템을 평가하고 배포하려는 시스템 디자이너를 입력하려는 프로그래머 모두에게 유용합니다. 이 문서는 "검사기", "검사기 플러그인", "유형 체크 컴파일러 플러그인"및 "주석 처리 프로세서"를 동의어로 사용합니다. 버전 1.1.0B, 2010 년 6 월 16 일. JDK-7 특정 필드를 Java 6에서 실행할 때 보호하십시오.
검사기 프레임 워크 관련 소프트웨어
