This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package Foo is | |
type A is abstract tagged null record; | |
-- some functionality A provides | |
procedure Bar (Object : A); | |
-- some part of this functionality that depends | |
-- on the specific child-classes of A | |
-- this function should not be visible to other | |
-- packages, but it has to be visible to packages |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Paket Eigenheim ist | |
Sorte Geschirr ist Stapel (Positiver Bereich <>) von Teller; | |
Paket Tellerhaufen ist neuer Haufen mit (Gegenstand => Teller); | |
Aufgabe Küche_Machen ist | |
Einsprungspunkt Dreckiges_Geschirr_Kommt (Dreckiges_Geschirr : Geschirr); | |
Ende von Küche_Machen; | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import win32api, win32con | |
import os, os.path | |
import struct | |
import math | |
def checkPath(path, mode): | |
if not os.path.exists(path) or not os.path.isfile(path): | |
raise ValueError("{0} does not exist or isn't a file.".format(path)) | |
if not os.access(path, mode): | |
raise ValueError("Insufficient permissions: {0}".format(path)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with Ada.Text_IO; | |
with Ada.Numerics.Discrete_Random; | |
procedure Test is | |
subtype Random_Range is Integer range -10 .. 10; | |
package Random_X is new Ada.Numerics.Discrete_Random(Random_Range); | |
use Random_X; | |
Gen : Generator; | |
begin | |
loop |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function Calculate_Size return Natural; | |
-- illegal because call to Calculate_Size is non-static | |
Size : constant := Calculate_Size; | |
-- requires Size to be a static constant. | |
type Some_Type is mod 2 ** Size; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with Ada.Text_IO; | |
procedure Test is | |
type Int_Array is array (1 .. 64) of aliased Integer; | |
subtype Index is Integer range 1 .. 4; | |
type Ref_Element (Data : not null access Integer) is limited null record | |
with Implicit_Dereference => Data; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with Ada.Finalization; -- package import | |
generic -- indent++ | |
Foo : Integer; | |
package Bar is -- indend--; indent++ | |
package Child is -- indend++ | |
type T is new Ada.Finalization.Controlled | |
with null record; -- NO package import | |
end Child; -- indend-- |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// kernel | |
typedef struct { | |
int2 offset; | |
int2 center; | |
} viewport; | |
kernel void renderkernel(viewport vp) { | |
// just accessing the struct crashes | |
int a = vp.offset; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
module earth() { | |
sphere(r=2, $fn=200); | |
} | |
module chock() { | |
polyhedron( | |
points=[[0,0,2], [0,0,-2], [2,0.6,2], [2, 0.6, -2], [2, -0.6, 2], | |
[2, -0.6, -2] ], | |
triangles=[[0, 1, 2], [1, 3, 2], [0, 4, 1], [1, 4, 5], [2, 3, 5], [2, 5, 4], | |
[0, 2, 4], [1, 5, 3]] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def authenticated(func): | |
def wrapped_func(): | |
if 'userid' in session: | |
return func(user=db_session.query(User).filter(User.id == session['userid']).one()) | |
else: | |
return redirect('/user/login') | |
return wrapped_func | |
@app.route('/') | |
@authenticated |