This file is indexed.

/usr/share/vala-0.14/vapi/sdl-mixer.vapi is in valac-0.14 0.14.2-2ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
[CCode (cheader_filename="SDL_mixer.h")]
namespace SDLMixer {
	[CCode (cname="Mix_Linked_Version")]
	public static unowned SDL.Version linked();

	[CCode (cname="Mix_OpenAudio")]
	public static int open(int frequency, uint16 format, int channels, int chunksize);

	[CCode (cname="Mix_CloseAudio")]
	public static void close();

	[CCode (cname="Mix_QuerySpec")]
	public static int query(ref int frequency, ref uint16 format, ref int channels);

	[CCode (cname="Mix_SetPostMix")]
	public static void set_post_mixer(MixFunction f, void* arg);

	[CCode (cname="Mix_SetSynchroValue")]
	public static int set_synchro_value(int value);

	[CCode (cname="Mix_GetSynchroValue")]
	public static int get_synchro_value();

	public delegate void MixFunction(void* udata, uchar[] stream);
	public delegate void MusicFinishedCallback();
	public delegate void ChannelFinishedCallback(int channel);
	public delegate void EffectCallback(int chan, void* stream, int len, void* udata);
	public delegate void EffectDoneCallback(int chan, void* udata);

	[CCode (cname="int", cprefix="MIX_")]
	public enum FadeStatus {
		NO_FADING, FADING_OUT, FADING_IN
	}// FadeStatus

	[CCode (cname="int", cprefix="MUS_")]
	public enum MusicType {
		NONE, CMD, WAV, MOD, MID, OGG, MP3, MP3_MAD
	}// MusicType

	[CCode (cname="Mix_Chunk", free_function="Mix_FreeChunk")]
	[Compact]
	public class Chunk {
		[CCode (cname="Mix_LoadWAV_RW")]
		public Chunk.WAV(SDL.RWops src, int freesrc=0);

		[CCode (cname="Mix_QuickLoad_WAV")]
		public Chunk.QuickWAV([CCode (array_length = false)] uchar[] mem);

		[CCode (cname="Mix_QuickLoad_RAW")]
		public Chunk.QuickRAW(uchar[] mem);

		[CCode (cname="Mix_VolumeChunk")]
		public int volume(int num);
	}// Chunk

	[CCode (cname="Mix_Music", free_function="Mix_FreeMusic")]
	[Compact]
	public class Music {
		[CCode (cname="Mix_GetMusicHookData")]
		public static void* get_hook_data();

		[CCode (cname="Mix_HookMusic")]
		public static void hook_mixer(MixFunction? f, void* arg);

		[CCode (cname="Mix_HookMusicFinished")]
		public static void hook_finished(MusicFinishedCallback cb);

		[CCode (cname="Mix_FadeOutMusic")]
		public static int fade_out(int ms);

		[CCode (cname="Mix_FadingMusic")]
		public static FadeStatus is_fading();

		[CCode (cname="Mix_VolumeMusic")]
		public static int volume(int num);

		[CCode (cname="Mix_HaltMusic")]
		public static int halt();

		[CCode (cname="Mix_PauseMusic")]
		public static void pause();

		[CCode (cname="Mix_ResumeMusic")]
		public static void resume();

		[CCode (cname="Mix_RewindMusic")]
		public static void rewind();

		[CCode (cname="Mix_PausedMusic")]
		public static int is_paused();

		[CCode (cname="Mix_SetMusicPosition")]
		public static int position(double position);

		[CCode (cname="Mix_PlayingMusic")]
		public static int is_playing();

		[CCode (cname="Mix_SetMusicCMD")]
		public static int set_play_command(string command);

		[CCode (cname="Mix_LoadMUS")]
		public Music(string file);

		[CCode (cname="Mix_LoadMUS_RW")]
		public Music.RW(SDL.RWops rw);

		[CCode (cname="Mix_GetMusicType")]
		public MusicType type();

		[CCode (cname="Mix_PlayMusic")]
		public int play(int loops);

		[CCode (cname="Mix_FadeInMusicPos")]
		public int fade_in(int loops, int ms, double position=0.0);
	}// Music

	[Compact]
	public class Effect {
		[CCode (cname="Mix_RegisterEffect")]
		public static int register(int chan, EffectCallback f, 
			EffectDoneCallback? d, void* arg);

		[CCode (cname="Mix_UnregisterEffect")]
		public static int unregister(int chan, EffectCallback f);

		[CCode (cname="Mix_UnregisterAllEffects")]
		public static int unregister_all(int channel);
	}// Effect

	[CCode (cname="int")]
	[SimpleType]
	public struct Channel: int {
		[CCode (cname="Mix_AllocateChannels")]
		public static int allocate(int num_channels);

		[CCode (cname="Mix_ReserveChannels")]
		public static int reserve(int num_channels);

		[CCode (cname="Mix_ChannelFinished")]
		public static void hook_finished(ChannelFinishedCallback? cb);

		[CCode (cname="Mix_SetPanning")]
		public int pan(uchar left, uchar right);

		[CCode (cname="Mix_SetPosition")]
		public int position(int16 degrees, uchar distance);

		[CCode (cname="Mix_SetDistance")]
		public int distance(uchar distance);

		[CCode (cname="Mix_SetReverseStereo")]
		public int reverse_stereo(int flip);

		[CCode (cname="Mix_PlayChannelTimed")]
		public int play(Chunk chunk, int loops, int ticks=-1);

		[CCode (cname="Mix_FadeInChannelTimed")]
		public int fade_in(Chunk chunk, int loops, int ms, int ticks=-1);

		[CCode (cname="Mix_FadeOutChannelTimed")]
		public int fade_out(int ms);

		[CCode (cname="Mix_FadingChannel")]
		public FadeStatus is_fading();

		[CCode (cname="Mix_Volume")]
		public int volume(int num);

		[CCode (cname="Mix_HaltChannel")]
		public int halt();

		[CCode (cname="Mix_ExpireChannel")]
		public int expire(int ticks);

		[CCode (cname="Mix_Pause")]
		public void pause();

		[CCode (cname="Mix_Paused")]
		public int is_paused();

		[CCode (cname="Mix_Resume")]
		public void resume();

		[CCode (cname="Mix_Playing")]
		public int is_playing();

		[CCode (cname="Mix_GetChunk")]
		public Chunk? get_chunk();
	}// Channel

	[CCode (cname="int")]
	[SimpleType]
	public struct ChannelGroup: int {
		[CCode (cname="Mix_GroupChannel")]
		public static int add(int channel, int group);

		[CCode (cname="Mix_GroupChannels")]
		public static int add_range(int from_channel, int to_channel, int group);

		[CCode (cname="Mix_GroupAvailable")]
		public int first_available();

		[CCode (cname="Mix_GroupCount")]
		public int count();

		[CCode (cname="Mix_GroupOldest")]
		public int oldest();

		[CCode (cname="Mix_GroupNewer")]
		public int newest();

		[CCode (cname="Mix_HaltGroup")]
		public int halt();

		[CCode (cname="Mix_FadeOutGroup")]
		public int fade_out(int ms);
	}// ChannelGroup

}// SDLMixer