souffle lsp plugin

Soufflé Datalog Language Server readme

Soufflé는 Datalog에서 영감을 얻은 논리 프로그래밍 언어입니다. Soufflé는 처음에는 정적 프로그램 분석을 위해 설계되었으며 그 이후로 리버스 엔지니어링, 네트워크 분석 및 데이터 분석의 응용 프로그램을 포함하여 Soufflé 언어로 작성된 다른 많은 응용 프로그램이 있습니다.

언어 서버 프로토콜을 사용하여 Soufflé 언어에 기본 스마트 기능을 추가하는 플러그인입니다.

구문 하이라이트는 https://marketplace.visualstudio.com/items?itemname=w4rh4wk.souffle-syntax를 참조하십시오

사용자는 플러그인 설정에서 Java_Home 변수를 올바르게 작동하도록 설정 해야합니다.

특징

• 파일을 저장할 때 자동 재구성.

• 구문 오류보고

• Souffle-Lint와의 통합 (사용자 시스템에서 사용 가능한 경우)

• 호버 (호버에 대한 선언 정보 제공)

• 정의로 이동하십시오

• 유형 정의로 이동하십시오

• 자동 완성

• 시그니처 도움

• 이름 바꾸기

• 모든 참조를 찾으십시오

• 관계에 대한 모든 규칙을 찾으십시오

• 관계에 대한 .input/.output을 생성합니다

• 추출 유형

• 사실 / 규칙 템플릿 용 스 니펫

• decl / comp 생성을위한 스 니펫

• 더 이상 사용되지 않은 코드 경고 및 QuickFixes

• 개혁 문서 설명

• 문서 기호

요구 사항

사용자는 시스템에 Java를 설치해야합니다.

소스에서 빌드하십시오

서버 JAR 파일을 제작하려면 직접 실행되면 ./gradlew jar 최상위 레벨에서 실행하면 결과적인 JAR이 빌드/libs 아래에 있습니다.

생성 된 JAR 파일의 이름으로 서버를 실행하려면 java -jar 실행합니다.

VS 코드 플러그인 실행 npm run package 의 경우 .js 파일은 dist/extension.js 아래에 있습니다.

알려진 문제

C Preprocessor 매크로를 많이 사용하는 라이브러리에서는 구문 분석이 잘못 실패하여 잘못된 구문 오류가 발생합니다.

릴리스 노트

0.3.1

유형의 자동 완성 제안서의 사소한 수정

0.3.0

• 원시 유형 목록이 추가되었습니다
• 관계 데이터 구조 목록이 추가되었습니다
• 더 나은 유형 문서 (슈퍼 유형 포함)
• 더 이상 사용되지 않은 코드 경고가 추가되었습니다

0.2.5

• 스 니펫에 대한 지원이 추가되었습니다
  • 사실 / 규칙 템플릿
  • decl / comp 생성

0.2.1

• Souffle-Lint의 느린 규칙에 대한 지원이 추가되었습니다
• 많은 일선 // 스타일 댓글에 대한 지원이 추가되었습니다.

0.2.0

• Souffle-Lint와의 통합이 추가되었습니다.
• 소스 코드 조치가 추가되어 수플리 린트를 트리거했습니다
• 유형을 추출하기 위해 코드 조치가 추가되었습니다

0.1.6

문서 주석을 재구성하기위한 코드 조치가 추가되었습니다.

0.1.5

관계에 대한 .input/.output을 생성하기위한 코드 조치가 추가되었습니다.

0.1.2

README 업데이트

0.1.1

• 문법을 수플레와 동등하게 변경했습니다.
• 추가 아이콘.

0.1.0

Soufflé Datalog Language Server의 초기 릴리스.