/**
  * 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();
 }