Assertion.java

package org.batfish.question.assertion;

import org.batfish.common.BatfishException;
import org.batfish.common.util.BatfishObjectMapper;

import com.fasterxml.jackson.core.JsonProcessingException;

public class Assertion {

   private boolean _asPathList;

   private String _assertion;

   private String _description;

   private boolean _summary;

   public boolean getAsPathList() {
      return _asPathList;
   }

   public String getAssertion() {
      return _assertion;
   }

   public String getDescription() {
      return _description;
   }

   public boolean getSummary() {
      return _summary;
   }

   public void setAsPathList(boolean asPathList) {
      _asPathList = asPathList;
   }

   public void setAssertion(String assertion) {
      _assertion = assertion;
   }

   public void setDescription(String description) {
      _description = description;
   }

   public void setSummary(boolean summary) {
      _summary = summary;
   }

   @Override
   public String toString() {
      BatfishObjectMapper mapper = new BatfishObjectMapper(false);
      try {
         return mapper.writeValueAsString(this);
      }
      catch (JsonProcessingException e) {
         throw new BatfishException("Could not map to JSON string", e);
      }
   }

}