Eclipse에 Polyspace as You Code 플러그인을 설치하세요

이 페이지는 기계 번역을 사용하여 번역되었습니다. 최신 내용을 영문으로 보려면 여기를 클릭하십시오.

Eclipse에 Polyspace as You Code 플러그인을 설치하세요

Eclipse™ 기반 IDE의 Polyspace^® as You Code 플러그인을 사용하면 현재 보고 있는 파일에서 Polyspace를 실행하여 버그 및 코딩 표준 위반과 같은 분석 결과를 볼 수 있습니다. 분석을 실행하려면 Polyspace as You Code 분석 엔진을 설치해야 합니다. 이 플러그인을 사용하면 Eclipse에서 이 분석 엔진을 가리키고 Polyspace 분석에서 생성된 결과를 표시할 수 있습니다.

참고

Linux^®에 Polyspace as You Code Eclipse 플러그인을 설치하는 경우 Linux에서 지원되는 Java 버전에 대해 Eclipse 구성를 참조하세요.

다음 두 가지 방법 중 하나로 플러그인을 설치할 수 있습니다.

Polyspace as You Code 인스톨러를 실행하는 동안 플러그인을 설치하는 옵션을 선택하세요. 인스톨러는 Polyspace as You Code 분석 엔진과 플러그인을 설치합니다.
인스톨러를 사용하여 Polyspace as You Code 설치 항목을 참조하십시오.
Polyspace as You Code 인스톨러를 실행하는 동안 분석 엔진만 설치하는 경우 나중에 polyspaceroot\polyspace\plugin\eclipse_payc 폴더의 내용을 사용하여 플러그인을 설치하세요. 이 폴더는 인스톨러를 실행한 후에만 사용할 수 있습니다. polyspaceroot는 Polyspace as You Code 설치 폴더입니다(예: C:\Program Files\Polyspace as You Code\R2025a).

이 항목의 나머지 부분에서는 인스톨러를 실행하는 동안 플러그인 설치를 건너뛰고 나중에 polyspaceroot\polyspace\plugin\eclipse_payc 폴더의 콘텐츠를 사용하여 플러그인을 설치하는 두 번째 접근 방식에 대해 설명합니다.

Polyspace as You Code Eclipse 플러그인은 Eclipse용 Polyspace 데스크톱 플러그인과 호환되지 않습니다. Polyspace as You Code Eclipse 플러그인을 설치하기 전에 데스크톱 플러그인을 제거하세요.

대화형 설치

플러그인을 대화형으로 설치하려면:

Eclipse IDE에서 Help > Install New Software를 선택합니다.
Install 창에서 Add를 클릭한 후 Add Repository 팝업에서 Local를 클릭하세요.
polyspaceroot\polyspace\plugin\eclipse_payc 폴더로 이동하여 Select Folder를 클릭한 다음 폴더를 저장소에 추가합니다.
Polyspace 플러그인이 선택되었는지 확인한 다음 Next를 클릭하고 프롬프트에 따라 설치를 완료하세요.

플러그인을 제거하려면 Help > About Eclipse IDE로 이동하세요. About Eclipse IDE 창에서 Installation Details를 클릭하고, Installed Software 탭에서 Polyspace 플러그인을 선택한 다음, Uninstall를 클릭하고 메시지를 따릅니다.

명령줄 설치

플러그인을 설치하려면 터미널을 열고 Eclipse 설치 폴더(예: C:\Program Files\eclipse)로 이동한 후 다음을 입력합니다.

eclipsec.exe -application org.eclipse.equinox.p2.director ^
-repository file:"/polyspaceroot/polyspace/plugin/eclipse_payc/" ^
-installIU com.polyspace.eclipse.feature -nosplash

여기서 polyspaceroot는 Polyspace as You Code 설치 폴더입니다(예: C:/Program Files/Polyspace as You Code). -repository 경로는 슬래시 "/"를 사용하여 지정해야 합니다.

플러그인을 제거하려면 다음을 입력하십시오.

eclipsec.exe -application org.eclipse.equinox.p2.director ^
-uninstallIU com.polyspace.eclipse.feature -nosplash

Linux에서 지원되는 Java 버전에 대해 Eclipse 구성

Polyspace as You Code Eclipse 플러그인은 Java^® 버전 13 이상을 지원하지 않습니다. Eclipse IDE가 지원되지 않는 Java 버전을 사용하는 경우 IDE를 시작할 때 오류 메시지가 표시됩니다.

지원되는 Java 버전을 사용하도록 IDE를 구성하려면:

https://jdk.java.net/archive/로 가서 Linux용 OpenJDK 버전 12 GA(빌드 12+33)을 다운로드한 다음, 다운로드한 TAR 파일을 마우스 오른쪽 버튼으로 클릭하여 내용을 추출합니다.
또는 명령줄에 다음 명령을 입력합니다.
```
wget https://download.java.net/java/GA/jdk12/33/GPL/openjdk-12_linux-x64_bin.tar.gz
tar xzvf openjdk-12_linux-x64_bin.tar.gz
```
텍스트 편집기에서 eclipseRoot/eclipse.ini 파일을 열고 -vm 행 아래의 경로를 openJDK 설치를 위한 bin 폴더 경로로 바꿉니다. 1단계에서 다운로드한 것입니다. eclipseRoot 폴더는 Eclipse IDE 설치 폴더입니다.
예를 들어, 1단계의 다운로드를 /local/tools 폴더로 추출한 경우 eclipse.ini 파일에서 -vm 행 주위의 섹션은 다음과 같습니다. 이 섹션과 유사합니다.
```
 --launcher.defaultAction
 openFile
 --launcher.appendVmargs
 -vm
 /local/tools/jdk-12/bin
```
변경 사항을 적용하려면 IDE를 다시 시작하세요.

참고 항목

도움말 항목

인스톨러를 사용하여 Polyspace as You Code 설치