Skip to content
6 changes: 4 additions & 2 deletions plugins/de.cau.cs.kieler.sccharts/META-INF/MANIFEST.MF
Original file line number Diff line number Diff line change
Expand Up @@ -54,6 +54,8 @@ Require-Bundle: org.eclipse.emf.ecore;visibility:=reexport,
org.eclipse.core.resources,
org.eclipse.core.runtime,
org.eclipse.elk.graph;bundle-version="0.4.0",
org.eclipse.elk.core;bundle-version="0.4.0"
org.eclipse.elk.core;bundle-version="0.4.0",
com.google.gson;bundle-version="[2.11.0,3.0.0)"
Bundle-ActivationPolicy: lazy
Import-Package: org.apache.log4j
Import-Package: com.google.gson;version="[2.11.0,3.0.0)",
org.apache.log4j
Original file line number Diff line number Diff line change
@@ -0,0 +1,156 @@

package de.cau.cs.kieler.sccharts.processors.json;

import java.util.HashMap;
import java.util.Map;
import javax.annotation.processing.Generated;
import com.google.gson.annotations.Expose;
import com.google.gson.annotations.SerializedName;

@Generated("jsonschema2pojo")
public class Action {

@SerializedName("label")
@Expose
private String label;
/**
*
* (Required)
*
*/
@SerializedName("type")
@Expose
private Action.Type type;
/**
*
* (Required)
*
*/
@SerializedName("isImmediate")
@Expose
private boolean isImmediate;
@SerializedName("guard")
@Expose
private String guard;
/**
*
* (Required)
*
*/
@SerializedName("action")
@Expose
private String action;

public String getLabel() {
return label;
}

public void setLabel(String label) {
this.label = label;
}

/**
*
* (Required)
*
*/
public Action.Type getType() {
return type;
}

/**
*
* (Required)
*
*/
public void setType(Action.Type type) {
this.type = type;
}

/**
*
* (Required)
*
*/
public boolean isIsImmediate() {
return isImmediate;
}

/**
*
* (Required)
*
*/
public void setIsImmediate(boolean isImmediate) {
this.isImmediate = isImmediate;
}

public String getGuard() {
return guard;
}

public void setGuard(String guard) {
this.guard = guard;
}

/**
*
* (Required)
*
*/
public String getAction() {
return action;
}

/**
*
* (Required)
*
*/
public void setAction(String action) {
this.action = action;
}

@Generated("jsonschema2pojo")
public enum Type {

@SerializedName("during")
DURING("during"),
@SerializedName("entry")
ENTRY("entry"),
@SerializedName("exit")
EXIT("exit");
private final String value;
private final static Map<String, Action.Type> CONSTANTS = new HashMap<String, Action.Type>();

static {
for (Action.Type c: values()) {
CONSTANTS.put(c.value, c);
}
}

Type(String value) {
this.value = value;
}

@Override
public String toString() {
return this.value;
}

public String value() {
return this.value;
}

public static Action.Type fromValue(String value) {
Action.Type constant = CONSTANTS.get(value);
if (constant == null) {
throw new IllegalArgumentException(value);
} else {
return constant;
}
}

}

}
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@

package de.cau.cs.kieler.sccharts.processors.json;

import java.util.List;
import javax.annotation.processing.Generated;
import com.google.gson.annotations.Expose;
import com.google.gson.annotations.SerializedName;

@Generated("jsonschema2pojo")
public class Reference {

/**
*
* (Required)
*
*/
@SerializedName("targetID")
@Expose
private String targetID;
@SerializedName("targetFile")
@Expose
private String targetFile;
/**
*
* (Required)
*
*/
@SerializedName("parameters")
@Expose
private List<String> parameters;

/**
*
* (Required)
*
*/
public String getTargetID() {
return targetID;
}

/**
*
* (Required)
*
*/
public void setTargetID(String targetID) {
this.targetID = targetID;
}

public String getTargetFile() {
return targetFile;
}

public void setTargetFile(String targetFile) {
this.targetFile = targetFile;
}

/**
*
* (Required)
*
*/
public List<String> getParameters() {
return parameters;
}

/**
*
* (Required)
*
*/
public void setParameters(List<String> parameters) {
this.parameters = parameters;
}

}
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@

package de.cau.cs.kieler.sccharts.processors.json;

import java.util.List;
import javax.annotation.processing.Generated;
import com.google.gson.annotations.Expose;
import com.google.gson.annotations.SerializedName;

@Generated("jsonschema2pojo")
public class Region {

/**
*
* (Required)
*
*/
@SerializedName("id")
@Expose
private String id;
@SerializedName("label")
@Expose
private String label;
/**
*
* (Required)
*
*/
@SerializedName("states")
@Expose
private List<State> states;

/**
*
* (Required)
*
*/
public String getId() {
return id;
}

/**
*
* (Required)
*
*/
public void setId(String id) {
this.id = id;
}

public String getLabel() {
return label;
}

public void setLabel(String label) {
this.label = label;
}

/**
*
* (Required)
*
*/
public List<State> getStates() {
return states;
}

/**
*
* (Required)
*
*/
public void setStates(List<State> states) {
this.states = states;
}

}
Loading
Loading