25 |
#include "lscpparser.h" |
#include "lscpparser.h" |
26 |
#include "lscpsymbols.h" |
#include "lscpsymbols.h" |
27 |
|
|
|
/// handle for a client connection (FIXME: doesn't work for more than one network connections of course) |
|
|
int hSession; |
|
|
|
|
28 |
%} |
%} |
29 |
|
|
30 |
%option reentrant |
%option reentrant |
63 |
VOICE_COUNT { return VOICE_COUNT; } |
VOICE_COUNT { return VOICE_COUNT; } |
64 |
INSTRUMENT { return INSTRUMENT; } |
INSTRUMENT { return INSTRUMENT; } |
65 |
ENGINE { return ENGINE; } |
ENGINE { return ENGINE; } |
|
AUDIO_OUTPUT_DEVICE { return AUDIO_OUTPUT_DEVICE; } |
|
|
AUDIO_OUTPUT_DEVICES { return AUDIO_OUTPUT_DEVICES; } |
|
66 |
AUDIO_OUTPUT_DEVICE_PARAMETER { return AUDIO_OUTPUT_DEVICE_PARAMETER; } |
AUDIO_OUTPUT_DEVICE_PARAMETER { return AUDIO_OUTPUT_DEVICE_PARAMETER; } |
67 |
AUDIO_OUTPUT_DRIVER { return AUDIO_OUTPUT_DRIVER; } |
AUDIO_OUTPUT_DEVICES { return AUDIO_OUTPUT_DEVICES; } |
68 |
|
AUDIO_OUTPUT_DEVICE { return AUDIO_OUTPUT_DEVICE; } |
69 |
AUDIO_OUTPUT_DRIVER_PARAMETER { return AUDIO_OUTPUT_DRIVER_PARAMETER; } |
AUDIO_OUTPUT_DRIVER_PARAMETER { return AUDIO_OUTPUT_DRIVER_PARAMETER; } |
70 |
AUDIO_OUTPUT_CHANNEL { return AUDIO_OUTPUT_CHANNEL; } |
AUDIO_OUTPUT_DRIVER { return AUDIO_OUTPUT_DRIVER; } |
71 |
AUDIO_OUTPUT_CHANNEL_PARAMETER { return AUDIO_OUTPUT_CHANNEL_PARAMETER; } |
AUDIO_OUTPUT_CHANNEL_PARAMETER { return AUDIO_OUTPUT_CHANNEL_PARAMETER; } |
72 |
|
AUDIO_OUTPUT_CHANNEL { return AUDIO_OUTPUT_CHANNEL; } |
73 |
AUDIO_OUTPUT_TYPE { return AUDIO_OUTPUT_TYPE; } |
AUDIO_OUTPUT_TYPE { return AUDIO_OUTPUT_TYPE; } |
74 |
|
AVAILABLE_MIDI_INPUT_DRIVERS { return AVAILABLE_MIDI_INPUT_DRIVERS; } |
75 |
|
MIDI_INPUT_DEVICE_PARAMETER { return MIDI_INPUT_DEVICE_PARAMETER; } |
76 |
|
MIDI_INPUT_PORT_PARAMETER { return MIDI_INPUT_PORT_PARAMETER; } |
77 |
|
MIDI_INPUT_DEVICES { return MIDI_INPUT_DEVICES; } |
78 |
|
MIDI_INPUT_DEVICE { return MIDI_INPUT_DEVICE; } |
79 |
|
MIDI_INPUT_DRIVER_PARAMETER { return MIDI_INPUT_DRIVER_PARAMETER; } |
80 |
|
MIDI_INPUT_DRIVER { return MIDI_INPUT_DRIVER; } |
81 |
MIDI_INPUT_PORT { return MIDI_INPUT_PORT; } |
MIDI_INPUT_PORT { return MIDI_INPUT_PORT; } |
82 |
MIDI_INPUT_CHANNEL { return MIDI_INPUT_CHANNEL; } |
MIDI_INPUT_CHANNEL { return MIDI_INPUT_CHANNEL; } |
83 |
MIDI_INPUT_TYPE { return MIDI_INPUT_TYPE; } |
MIDI_INPUT_TYPE { return MIDI_INPUT_TYPE; } |
84 |
|
MIDI_INPUT { return MIDI_INPUT; } |
85 |
VOLUME { return VOLUME; } |
VOLUME { return VOLUME; } |
86 |
BYTES { return BYTES; } |
BYTES { return BYTES; } |
87 |
PERCENTAGE { return PERCENTAGE; } |
PERCENTAGE { return PERCENTAGE; } |