Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Language server #1372

Merged
merged 3 commits into from
May 27, 2016
Merged

Conversation

svenefftinge
Copy link
Contributor

A language server registrant, that scans the /projects directory for files with the pattern

<fileextension>-languageserver.jar

If it finds one it starts a process (using java -jar) and connects to stdin, stdout.

To try run in that directory
wget https://dl.dropboxusercontent.com/u/842506/testlang-languageserver.jar

after that open a file with *.testlang extension.

The language declares types, like this:

type Person {
  string name
  Address address
}

type Address {
  string street
  string city
}

…les and runs them, if they are of the form ‘fileextension-languageserver.jar’

Signed-off-by: Sven Efftinge <sven.efftinge@typefox.io>
Signed-off-by: Sven Efftinge <sven.efftinge@typefox.io>
Signed-off-by: Sven Efftinge <sven.efftinge@typefox.io>
@codenvy-ci
Copy link

Can one of the admins verify this patch?

@evidolob evidolob merged commit f686314 into eclipse-che:language-server May 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants