Method deserialize

src/utils/JSON.java:384–388

(final JsonParser parser, final
        DeserializationContext context)

    extends JsonDeserializer<TreeRuleType> {
    
    @Override
    public TreeRuleType deserialize(final JsonParser parser, final
        DeserializationContext context) throws IOException {
      return TreeRule.stringToType(parser.getValueAsString());
    }
  }
  
  /**