mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-19 00:41:43 +00:00
d82635bbe1
Subsections are alphabetized according to lexographic ordering. Also, HAL includes were moved from headers to source files where possible. This change may cause user code which uses HAL functionality and does not include the relevant HAL header (since it may have been provided by another WPILib header) to fail to compile.
38 lines
1.7 KiB
C
38 lines
1.7 KiB
C
/*----------------------------------------------------------------------------*/
|
|
/* Copyright (c) FIRST 2016. All Rights Reserved. */
|
|
/* Open Source Software - may be modified and shared by FRC teams. The code */
|
|
/* must be accompanied by the FIRST BSD license file in the root directory of */
|
|
/* the project. */
|
|
/*----------------------------------------------------------------------------*/
|
|
|
|
#pragma once
|
|
|
|
#include <stdint.h>
|
|
|
|
extern "C" {
|
|
void* initializeDigitalPort(void* port_pointer, int32_t* status);
|
|
void freeDigitalPort(void* digital_port_pointer);
|
|
|
|
void* allocatePWM(int32_t* status);
|
|
void freePWM(void* pwmGenerator, int32_t* status);
|
|
void setPWMRate(double rate, int32_t* status);
|
|
void setPWMDutyCycle(void* pwmGenerator, double dutyCycle, int32_t* status);
|
|
void setPWMOutputChannel(void* pwmGenerator, uint32_t pin, int32_t* status);
|
|
|
|
bool allocateDIO(void* digital_port_pointer, bool input, int32_t* status);
|
|
void freeDIO(void* digital_port_pointer, int32_t* status);
|
|
void setDIO(void* digital_port_pointer, short value, int32_t* status);
|
|
bool getDIO(void* digital_port_pointer, int32_t* status);
|
|
bool getDIODirection(void* digital_port_pointer, int32_t* status);
|
|
void pulse(void* digital_port_pointer, double pulseLength, int32_t* status);
|
|
bool isPulsing(void* digital_port_pointer, int32_t* status);
|
|
bool isAnyPulsing(int32_t* status);
|
|
|
|
void setFilterSelect(void* digital_port_pointer, int filter_index,
|
|
int32_t* status);
|
|
int getFilterSelect(void* digital_port_pointer, int32_t* status);
|
|
|
|
void setFilterPeriod(int filter_index, uint32_t value, int32_t* status);
|
|
uint32_t getFilterPeriod(int filter_index, int32_t* status);
|
|
}
|