User Tools

Site Tools


stats:proc:creategroup

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:proc:creategroup [2011/09/29 00:01]
Patrick Michel
stats:proc:creategroup [2013/07/10 12:42] (current)
Line 2: Line 2:
  
 <code xcend> <code xcend>
-createGroup(ident id, ident groupId, string day, string time, string location, integer maxSize) { +createGroup(ident uid, ident id, ident groupId, string day, string time, string location, integer maxSize) { 
-  assume exists //exercises/​exercise[id];​ +  assume exists /account[uid]/assistant[id];​ 
-  assume not exists ​//exercises/​exercise[id]/groups/​group[groupId];​+   
 +  assume exists ​/​exercise[id];​ 
 +  assume not exists /​exercise[id]/​group[groupId];​
   ​   ​
   assume maxSize >= 0;   assume maxSize >= 0;
   assume day = "​Monday"​ || day = "​Tuesday"​ || ...;   assume day = "​Monday"​ || day = "​Tuesday"​ || ...;
   ​   ​
-  insert ​//exercises/​exercise[id]/​groups ​<group id=[groupId] day=[day] time=[time] location=[location] maxSize=[maxSize] />; +  insert /​exercise[id] <group id=[groupId] day=[day] time=[time] location=[location] curSize=[0] maxSize=[maxSize] />; 
-# roles: assistant[id]+}
 </​code>​ </​code>​
  
  
stats/proc/creategroup.1317247305.txt.gz · Last modified: 2011/09/29 00:01 by Patrick Michel