📄 playercore_javaconstants.java
字号:
/* ---------------------------------------------------------------------------- * This file was automatically generated by SWIG (http://www.swig.org). * Version 1.3.24 * * Do not make changes to this file unless you know what you are doing--modify * the SWIG interface file instead. * ----------------------------------------------------------------------------- */package net.sourceforge.playerstage.Jplayercore;public interface playercore_javaConstants { public final static int LOCALHOST_ADDR = playercore_javaJNI.get_LOCALHOST_ADDR(); public final static int PLAYER_ERR_ERR = playercore_javaJNI.get_PLAYER_ERR_ERR(); public final static int PLAYER_ERR_WARN = playercore_javaJNI.get_PLAYER_ERR_WARN(); public final static int PLAYER_ERR_MSG = playercore_javaJNI.get_PLAYER_ERR_MSG(); public final static int PLAYER_ERR_DBG = playercore_javaJNI.get_PLAYER_ERR_DBG(); public final static int PLAYER_MAX_MESSAGE_SIZE = playercore_javaJNI.get_PLAYER_MAX_MESSAGE_SIZE(); public final static int PLAYER_MAX_DRIVER_STRING_LEN = playercore_javaJNI.get_PLAYER_MAX_DRIVER_STRING_LEN(); public final static int PLAYER_MAX_DEVICES = playercore_javaJNI.get_PLAYER_MAX_DEVICES(); public final static int PLAYER_MSGQUEUE_DEFAULT_MAXLEN = playercore_javaJNI.get_PLAYER_MSGQUEUE_DEFAULT_MAXLEN(); public final static String PLAYER_IDENT_STRING = playercore_javaJNI.get_PLAYER_IDENT_STRING(); public final static int PLAYER_IDENT_STRLEN = playercore_javaJNI.get_PLAYER_IDENT_STRLEN(); public final static int PLAYER_KEYLEN = playercore_javaJNI.get_PLAYER_KEYLEN(); public final static int PLAYER_MSGTYPE_DATA = playercore_javaJNI.get_PLAYER_MSGTYPE_DATA(); public final static int PLAYER_MSGTYPE_CMD = playercore_javaJNI.get_PLAYER_MSGTYPE_CMD(); public final static int PLAYER_MSGTYPE_REQ = playercore_javaJNI.get_PLAYER_MSGTYPE_REQ(); public final static int PLAYER_MSGTYPE_RESP_ACK = playercore_javaJNI.get_PLAYER_MSGTYPE_RESP_ACK(); public final static int PLAYER_MSGTYPE_SYNCH = playercore_javaJNI.get_PLAYER_MSGTYPE_SYNCH(); public final static int PLAYER_MSGTYPE_RESP_NACK = playercore_javaJNI.get_PLAYER_MSGTYPE_RESP_NACK(); public final static int PLAYER_NULL_CODE = playercore_javaJNI.get_PLAYER_NULL_CODE(); public final static int PLAYER_PLAYER_CODE = playercore_javaJNI.get_PLAYER_PLAYER_CODE(); public final static int PLAYER_POWER_CODE = playercore_javaJNI.get_PLAYER_POWER_CODE(); public final static int PLAYER_GRIPPER_CODE = playercore_javaJNI.get_PLAYER_GRIPPER_CODE(); public final static int PLAYER_POSITION2D_CODE = playercore_javaJNI.get_PLAYER_POSITION2D_CODE(); public final static int PLAYER_SONAR_CODE = playercore_javaJNI.get_PLAYER_SONAR_CODE(); public final static int PLAYER_LASER_CODE = playercore_javaJNI.get_PLAYER_LASER_CODE(); public final static int PLAYER_BLOBFINDER_CODE = playercore_javaJNI.get_PLAYER_BLOBFINDER_CODE(); public final static int PLAYER_PTZ_CODE = playercore_javaJNI.get_PLAYER_PTZ_CODE(); public final static int PLAYER_AUDIO_CODE = playercore_javaJNI.get_PLAYER_AUDIO_CODE(); public final static int PLAYER_FIDUCIAL_CODE = playercore_javaJNI.get_PLAYER_FIDUCIAL_CODE(); public final static int PLAYER_SPEECH_CODE = playercore_javaJNI.get_PLAYER_SPEECH_CODE(); public final static int PLAYER_GPS_CODE = playercore_javaJNI.get_PLAYER_GPS_CODE(); public final static int PLAYER_BUMPER_CODE = playercore_javaJNI.get_PLAYER_BUMPER_CODE(); public final static int PLAYER_TRUTH_CODE = playercore_javaJNI.get_PLAYER_TRUTH_CODE(); public final static int PLAYER_DIO_CODE = playercore_javaJNI.get_PLAYER_DIO_CODE(); public final static int PLAYER_AIO_CODE = playercore_javaJNI.get_PLAYER_AIO_CODE(); public final static int PLAYER_IR_CODE = playercore_javaJNI.get_PLAYER_IR_CODE(); public final static int PLAYER_WIFI_CODE = playercore_javaJNI.get_PLAYER_WIFI_CODE(); public final static int PLAYER_WAVEFORM_CODE = playercore_javaJNI.get_PLAYER_WAVEFORM_CODE(); public final static int PLAYER_LOCALIZE_CODE = playercore_javaJNI.get_PLAYER_LOCALIZE_CODE(); public final static int PLAYER_MCOM_CODE = playercore_javaJNI.get_PLAYER_MCOM_CODE(); public final static int PLAYER_SOUND_CODE = playercore_javaJNI.get_PLAYER_SOUND_CODE(); public final static int PLAYER_AUDIODSP_CODE = playercore_javaJNI.get_PLAYER_AUDIODSP_CODE(); public final static int PLAYER_AUDIOMIXER_CODE = playercore_javaJNI.get_PLAYER_AUDIOMIXER_CODE(); public final static int PLAYER_POSITION3D_CODE = playercore_javaJNI.get_PLAYER_POSITION3D_CODE(); public final static int PLAYER_SIMULATION_CODE = playercore_javaJNI.get_PLAYER_SIMULATION_CODE(); public final static int PLAYER_BLINKENLIGHT_CODE = playercore_javaJNI.get_PLAYER_BLINKENLIGHT_CODE(); public final static int PLAYER_NOMAD_CODE = playercore_javaJNI.get_PLAYER_NOMAD_CODE(); public final static int PLAYER_CAMERA_CODE = playercore_javaJNI.get_PLAYER_CAMERA_CODE(); public final static int PLAYER_MAP_CODE = playercore_javaJNI.get_PLAYER_MAP_CODE(); public final static int PLAYER_PLANNER_CODE = playercore_javaJNI.get_PLAYER_PLANNER_CODE(); public final static int PLAYER_LOG_CODE = playercore_javaJNI.get_PLAYER_LOG_CODE(); public final static int PLAYER_ENERGY_CODE = playercore_javaJNI.get_PLAYER_ENERGY_CODE(); public final static int PLAYER_JOYSTICK_CODE = playercore_javaJNI.get_PLAYER_JOYSTICK_CODE(); public final static int PLAYER_SPEECH_RECOGNITION_CODE = playercore_javaJNI.get_PLAYER_SPEECH_RECOGNITION_CODE(); public final static int PLAYER_OPAQUE_CODE = playercore_javaJNI.get_PLAYER_OPAQUE_CODE(); public final static int PLAYER_POSITION1D_CODE = playercore_javaJNI.get_PLAYER_POSITION1D_CODE(); public final static int PLAYER_ACTARRAY_CODE = playercore_javaJNI.get_PLAYER_ACTARRAY_CODE(); public final static int PLAYER_LIMB_CODE = playercore_javaJNI.get_PLAYER_LIMB_CODE(); public final static int PLAYER_GRAPHICS2D_CODE = playercore_javaJNI.get_PLAYER_GRAPHICS2D_CODE(); public final static int PLAYER_RFID_CODE = playercore_javaJNI.get_PLAYER_RFID_CODE(); public final static int PLAYER_WSN_CODE = playercore_javaJNI.get_PLAYER_WSN_CODE(); public final static int PLAYER_GRAPHICS3D_CODE = playercore_javaJNI.get_PLAYER_GRAPHICS3D_CODE(); public final static String PLAYER_ACTARRAY_STRING = playercore_javaJNI.get_PLAYER_ACTARRAY_STRING(); public final static String PLAYER_AIO_STRING = playercore_javaJNI.get_PLAYER_AIO_STRING(); public final static String PLAYER_AUDIO_STRING = playercore_javaJNI.get_PLAYER_AUDIO_STRING(); public final static String PLAYER_AUDIODSP_STRING = playercore_javaJNI.get_PLAYER_AUDIODSP_STRING(); public final static String PLAYER_AUDIOMIXER_STRING = playercore_javaJNI.get_PLAYER_AUDIOMIXER_STRING(); public final static String PLAYER_BLINKENLIGHT_STRING = playercore_javaJNI.get_PLAYER_BLINKENLIGHT_STRING(); public final static String PLAYER_BLOBFINDER_STRING = playercore_javaJNI.get_PLAYER_BLOBFINDER_STRING(); public final static String PLAYER_BUMPER_STRING = playercore_javaJNI.get_PLAYER_BUMPER_STRING(); public final static String PLAYER_CAMERA_STRING = playercore_javaJNI.get_PLAYER_CAMERA_STRING(); public final static String PLAYER_ENERGY_STRING = playercore_javaJNI.get_PLAYER_ENERGY_STRING(); public final static String PLAYER_DIO_STRING = playercore_javaJNI.get_PLAYER_DIO_STRING(); public final static String PLAYER_GRIPPER_STRING = playercore_javaJNI.get_PLAYER_GRIPPER_STRING(); public final static String PLAYER_FIDUCIAL_STRING = playercore_javaJNI.get_PLAYER_FIDUCIAL_STRING(); public final static String PLAYER_GPS_STRING = playercore_javaJNI.get_PLAYER_GPS_STRING(); public final static String PLAYER_IR_STRING = playercore_javaJNI.get_PLAYER_IR_STRING(); public final static String PLAYER_JOYSTICK_STRING = playercore_javaJNI.get_PLAYER_JOYSTICK_STRING(); public final static String PLAYER_LASER_STRING = playercore_javaJNI.get_PLAYER_LASER_STRING(); public final static String PLAYER_LIMB_STRING = playercore_javaJNI.get_PLAYER_LIMB_STRING(); public final static String PLAYER_LOCALIZE_STRING = playercore_javaJNI.get_PLAYER_LOCALIZE_STRING(); public final static String PLAYER_LOG_STRING = playercore_javaJNI.get_PLAYER_LOG_STRING(); public final static String PLAYER_MAP_STRING = playercore_javaJNI.get_PLAYER_MAP_STRING(); public final static String PLAYER_MCOM_STRING = playercore_javaJNI.get_PLAYER_MCOM_STRING(); public final static String PLAYER_NOMAD_STRING = playercore_javaJNI.get_PLAYER_NOMAD_STRING(); public final static String PLAYER_NULL_STRING = playercore_javaJNI.get_PLAYER_NULL_STRING(); public final static String PLAYER_OPAQUE_STRING = playercore_javaJNI.get_PLAYER_OPAQUE_STRING(); public final static String PLAYER_PLANNER_STRING = playercore_javaJNI.get_PLAYER_PLANNER_STRING(); public final static String PLAYER_PLAYER_STRING = playercore_javaJNI.get_PLAYER_PLAYER_STRING(); public final static String PLAYER_POSITION1D_STRING = playercore_javaJNI.get_PLAYER_POSITION1D_STRING(); public final static String PLAYER_POSITION2D_STRING = playercore_javaJNI.get_PLAYER_POSITION2D_STRING(); public final static String PLAYER_POSITION3D_STRING = playercore_javaJNI.get_PLAYER_POSITION3D_STRING(); public final static String PLAYER_POWER_STRING = playercore_javaJNI.get_PLAYER_POWER_STRING(); public final static String PLAYER_PTZ_STRING = playercore_javaJNI.get_PLAYER_PTZ_STRING(); public final static String PLAYER_RFID_STRING = playercore_javaJNI.get_PLAYER_RFID_STRING(); public final static String PLAYER_SIMULATION_STRING = playercore_javaJNI.get_PLAYER_SIMULATION_STRING(); public final static String PLAYER_SONAR_STRING = playercore_javaJNI.get_PLAYER_SONAR_STRING(); public final static String PLAYER_SOUND_STRING = playercore_javaJNI.get_PLAYER_SOUND_STRING(); public final static String PLAYER_SPEECH_STRING = playercore_javaJNI.get_PLAYER_SPEECH_STRING(); public final static String PLAYER_SPEECH_RECOGNITION_STRING = playercore_javaJNI.get_PLAYER_SPEECH_RECOGNITION_STRING(); public final static String PLAYER_TRUTH_STRING = playercore_javaJNI.get_PLAYER_TRUTH_STRING(); public final static String PLAYER_WAVEFORM_STRING = playercore_javaJNI.get_PLAYER_WAVEFORM_STRING(); public final static String PLAYER_WIFI_STRING = playercore_javaJNI.get_PLAYER_WIFI_STRING(); public final static String PLAYER_GRAPHICS2D_STRING = playercore_javaJNI.get_PLAYER_GRAPHICS2D_STRING(); public final static String PLAYER_GRAPHICS3D_STRING = playercore_javaJNI.get_PLAYER_GRAPHICS3D_STRING(); public final static String PLAYER_WSN_STRING = playercore_javaJNI.get_PLAYER_WSN_STRING(); public final static int PLAYER_ACTARRAY_NUM_ACTUATORS = playercore_javaJNI.get_PLAYER_ACTARRAY_NUM_ACTUATORS(); public final static int PLAYER_ACTARRAY_ACTSTATE_IDLE = playercore_javaJNI.get_PLAYER_ACTARRAY_ACTSTATE_IDLE(); public final static int PLAYER_ACTARRAY_ACTSTATE_MOVING = playercore_javaJNI.get_PLAYER_ACTARRAY_ACTSTATE_MOVING(); public final static int PLAYER_ACTARRAY_ACTSTATE_BRAKED = playercore_javaJNI.get_PLAYER_ACTARRAY_ACTSTATE_BRAKED(); public final static int PLAYER_ACTARRAY_ACTSTATE_STALLED = playercore_javaJNI.get_PLAYER_ACTARRAY_ACTSTATE_STALLED(); public final static int PLAYER_ACTARRAY_TYPE_LINEAR = playercore_javaJNI.get_PLAYER_ACTARRAY_TYPE_LINEAR(); public final static int PLAYER_ACTARRAY_TYPE_ROTARY = playercore_javaJNI.get_PLAYER_ACTARRAY_TYPE_ROTARY(); public final static int PLAYER_ACTARRAY_POWER_REQ = playercore_javaJNI.get_PLAYER_ACTARRAY_POWER_REQ(); public final static int PLAYER_ACTARRAY_BRAKES_REQ = playercore_javaJNI.get_PLAYER_ACTARRAY_BRAKES_REQ(); public final static int PLAYER_ACTARRAY_GET_GEOM_REQ = playercore_javaJNI.get_PLAYER_ACTARRAY_GET_GEOM_REQ(); public final static int PLAYER_ACTARRAY_SPEED_REQ = playercore_javaJNI.get_PLAYER_ACTARRAY_SPEED_REQ(); public final static int PLAYER_ACTARRAY_POS_CMD = playercore_javaJNI.get_PLAYER_ACTARRAY_POS_CMD(); public final static int PLAYER_ACTARRAY_SPEED_CMD = playercore_javaJNI.get_PLAYER_ACTARRAY_SPEED_CMD(); public final static int PLAYER_ACTARRAY_HOME_CMD = playercore_javaJNI.get_PLAYER_ACTARRAY_HOME_CMD(); public final static int PLAYER_ACTARRAY_DATA_STATE = playercore_javaJNI.get_PLAYER_ACTARRAY_DATA_STATE(); public final static int PLAYER_AIO_MAX_INPUTS = playercore_javaJNI.get_PLAYER_AIO_MAX_INPUTS(); public final static int PLAYER_AIO_MAX_OUTPUTS = playercore_javaJNI.get_PLAYER_AIO_MAX_OUTPUTS(); public final static int PLAYER_AIO_CMD_STATE = playercore_javaJNI.get_PLAYER_AIO_CMD_STATE(); public final static int PLAYER_AIO_DATA_STATE = playercore_javaJNI.get_PLAYER_AIO_DATA_STATE();
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -