프로그램 검증자는 컴파일러와 비슷하게 코드에 대한 전체적인 문장론 및 의미론적 검사를 제공합니다. 검증자는 컴파일러와 동일한 검사를 수행하지만 오브젝트 코드를 생성하지 않습니다. 그 대신, 프로그램 검증자가 컴파일하기 전에 코드를 수정하는 데 사용할 수 있는 피드백 및 오류 메시지를 오류 목록 보기에 표시합니다.
검증 환경 설정은 컴파일러와 거의 동일한 옵션을 제공합니다. 예를 들어, 프로그램 검증자 환경 설정에서 검증 중 소스의 목록을 생성하도록 지정하거나 /copy 멤버의 로컬 캐시를 사용하거나 다른 외부적으로 설명된 파일을 사용하도록 지정할 수 있습니다.
에서 검증 단추를 누르거나 Ctrl+Shift+V를 누를 수도 있습니다. 오류를 두 번 클릭하여 오류가 발생한 소스의 라인으로
건너뛰십시오. 오류를 쉽게 탐색하려면 워크벤치 도구 모음에서
다음 문제점
및 이전 문제점
단추를 사용하십시오. 또는 다음 문제점으로 이동하려면 Ctrl+.(Ctrl+period)를 클릭하고
이전 문제점으로 이동하려면 Ctrl+,(Ctrl+comma)를 클릭하십시오.
환경 설정 페이지를 통해 프로그램 검증자의 조작을 제어합니다. 검증 중 트리거된 프로그램 검증자는 편집할 파일의 유형에 해당합니다. 예를 들어, ILE RPG 파일을 편집하는 경우 ILE RPG 프로그램 검증자는 검증을 수행할 때 트리거됩니다.
를 클릭한 후 를 선택하십시오. 프로그램 검증자는 복사/포함 파일 또는 외부 파일 설명 참조를 해결하려면 연결 라이브러리 목록에 있는 라이브러리를 검색해야 할 수도 있습니다. 이러한 라이브러리를 포함하도록 라이브러리 목록을 수정할 수 있습니다.
현재 세션의 라이브러리 목록을 수정하려면 원격 시스템 탐색기 보기로 가십시오. 연결에 대한 오브젝트 서브시스템에서 라이브러리 목록 노드를 선택하고 마우스 오른쪽 단추를 클릭하여 컨텍스트 메뉴를 여십시오. 라이브러리 목록 추가 조치를 선택하십시오.
연결에 대한 초기 라이브러리 목록은 연결 또는 오브젝트 서브시스템의 특성을 열고 초기 라이브러리 목록 설정을 수정하여 다음 세션을 설정할 수 있습니다.
각 프로그램 검증 옵션에 대한 자세한 정보는 관련 링크를 참조하십시오.