Warning: session_start(): open(/var/lib/php/sessions/sess_dost2d89ia86v3rerh7vbgljj0, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
concept CSnippet {
long snippetID;
S type;
S title, md5, transpilationMD5;
File file() { ret snippetDB_textFile(snippetID); }
S text() { ret loadTextFile(file()); }
bool hasText() { ret fileExists(file()); }
void setText(S text) { saveTextFile(file(), text); }
int textLength() { ret hasText() ? (int) fileSize(file()) : -1; }
S snippetID() { ret fsI(snippetID); }
}