package jazz.circuit;

///////////////////////////////////////////////////////////////////////////////
//
//                     Utility functions for exporting devices
//
///////////////////////////////////////////////////////////////////////////////

public abstract final class Device {

  // Set the name of current device (fully-qualified name of the
  // device by default). The name of a device may be set only once.
  public static native setName(name: String): ()
  = "void fr.ensmp.cma.jazz.runtime.Primitive.setDeviceName(java.lang.String)";

  // Set the parameters of current device ("" by default).
  // The parameters of a device may set only once.
  public static native setParams(params: String): ()
  = "void fr.ensmp.cma.jazz.runtime.Primitive.setDeviceParams(java.lang.String)";
}