Skip to content

Instantly share code, notes, and snippets.

View flyx's full-sized avatar

Felix Krause flyx

View GitHub Profile
aggregate project OpenCLAda is
type Toggle is ("Enabled", "Disabled");
GL_Support : Toggle := external ("GL_BINDING"; "Disabled");
case GL_Support is
when "Enabled" =>
for Project_Files use ("openclada_gl_binding.gpr");
when "Disabled" =>
for Project_Files use ("openclada_core.gpr");
end case;
end OpenCLAda;
<?php
/**
* concerts
*/
class Concert extends ORMBase {
/**
* INT(10)
*/
@flyx
flyx / whatev.ads
Created February 5, 2012 11:09
Example interfacing with C and arrays in Ada
with Interfaces.C;
package Whatev is
package C renames Interfaces.C;
type Vector_Index is (X, Y, Z, W);
type Vector is array (Vector_Index range <>) of aliased C.double;
pragma Convention (C, Vector);
procedure Vertex (Value : Vector);
@flyx
flyx / foo-bar.adb
Created January 28, 2012 17:00
This serves as example to show Ada syntax highlighting bugs in pygments
package Foo is
end Foo;
package Foo.Bar is
type Hurz is (Kol, Ra, Bi);
for Hurz use (Kol => 1, Ra => 2, Bi => 3);
end Foo.Bar;
@flyx
flyx / foo.adb
Created January 28, 2012 16:36
Yields "foo.adb:12:04: warning: types for unchecked conversion have different sizes"
with Ada.Unchecked_Conversion;
with Interfaces.C;
with Ada.Text_IO;
procedure Foo is
type Bar is (Kol, Ra, Bi);
for Bar use (Kol => 1, Ra => 2, Bi => 3);
for Bar'Size use Interfaces.C.int'Size;
subtype Cocktail_Bar is Bar range Kol .. Ra;