package de.tu_dresden.diplom.richter_mirko_mat2628335.witness.process.result;

import de.tu_dresden.diplom.richter_mirko_mat2628335.common.result.IFBaseResult;

/**
 * 
 */
public interface IFContextRemovalResult extends IFBaseResult{

   public static final int CONTEXT_NOT_MANAGED = IFBaseResult.CUSTOM_START + 1;
   public static final int CONTEXT_ALREADY_INVALID = IFBaseResult.CUSTOM_START + 2;
   public static final int CONTEXT_WITH_OPEN_TRANSFER_CONTEXTS = IFBaseResult.CUSTOM_START + 3;

   public static final int CUSTOM_START = IFBaseResult.CUSTOM_START + 10;

}
