XtextWebErrorKind.java « message « server « xtext « web « language « refinery « tools « java « main « src « language-web « subprojects - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/message/XtextWebErrorKind.java

blob: f74bae749ed5f3be62a60c7ff9a5c9a7274b5d7f (plain) (blame)

package tools.refinery.language.web.xtext.server.message;

import com.google.gson.annotations.SerializedName;

public enum XtextWebErrorKind {
	@SerializedName("request")
	REQUEST_ERROR,

	@SerializedName("server")
	SERVER_ERROR,
}