/**
* Converts the general format of the trace to a json which can be used to draw an automata This
* includes the methods and fields parameter which filters which ones the user wants to display
*
* @param auto
* @param methods
* @param fields
*/
public AutomataToVisualisation(Automata auto, List<String> methods, List<String> fields) {
this.states = auto.getStates();
this.links = auto.getLinks();
this.methods = methods;
this.fields = fields;
filter();
}
/**
* Converts the general format of the trace to a json which can be used to draw an automata
*
* @param auto
*/
public AutomataToVisualisation(Automata auto) {
this.states = auto.getStates();
this.links = auto.getLinks();
}
