package xtc.lang.blink.agent;

/**
 * The Blink Agent's constant values visible to the Blink through the
 * Java component debugger. The constant here should be consistent
 * with the options.h file.
 *
 * @author Byeongcheol Lee
 */
public interface AgentCommandOptions {
  /** Agent source file name.*/
  public static final String JNICHECK = "jniassert";
}
