void javax_wukong_wkpf_WKPF_byte_getPortNumberForComponent_short() { uint16_t component_id = (uint16_t)dj_exec_stackPopShort(); wkcomm_address_t node_id; uint8_t port_number; wkpf_error_code = wkpf_get_node_and_port_for_component(component_id, &node_id, &port_number); dj_exec_stackPushShort(port_number); }
void javax_wukong_wkpf_WKPF_boolean_isLocalComponent_short() { uint16_t component_id = (int16_t)dj_exec_stackPopShort(); wkcomm_address_t node_id; uint8_t port_number; wkpf_error_code = wkpf_get_node_and_port_for_component(component_id, &node_id, &port_number); dj_exec_stackPushShort(wkpf_error_code == WKPF_OK && node_id == wkcomm_get_node_id()); }
void javax_wukong_wkpf_WKPF_void_setPropertyRefreshRate_short_byte_short() { int16_t value = (int16_t)dj_exec_stackPopShort(); uint8_t property_number = (uint8_t)dj_exec_stackPopShort(); uint16_t component_id = (uint16_t)dj_exec_stackPopShort(); address_t node_id; uint8_t port_number; wkpf_error_code = wkpf_get_node_and_port_for_component(component_id, &node_id, &port_number); if (wkpf_error_code == WKPF_OK) { if (node_id != wkcomm_get_node_id()) wkpf_error_code = WKPF_ERR_REMOTE_PROPERTY_FROM_JAVASET_NOT_SUPPORTED; else { wuobject_t *wuobject; wkpf_error_code = wkpf_get_wuobject_by_port(port_number, &wuobject); if (wkpf_error_code == WKPF_OK) { DEBUG_LOG(DBG_WKPF, "WKPF: setPropertyRefreshRate (local). Port %x, property %x, value %x\n", port_number, property_number, value); wkpf_error_code = wkpf_external_write_property_refresh_rate(wuobject, property_number, value); } } } }