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
stats:proc:creategroup [2011/09/29 19:34]
Patrick Michel
stats:proc:creategroup [2013/07/10 12:42] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 createGroup(ident uid, 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 ​//accounts/​account[uid]/​assistant[id];​+  assume exists /​account[uid]/​assistant[id];​
   ​   ​
-  assume exists ​//exercises/​exercise[id];​ +  assume exists /​exercise[id];​ 
-  assume not exists ​//exercises/​exercise[id]/groups/​group[groupId];​+  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] curSize=[0] maxSize=[maxSize] />;+  insert /​exercise[id] <group id=[groupId] day=[day] time=[time] location=[location] curSize=[0] maxSize=[maxSize] />;
 } }
 </​code>​ </​code>​
  
  
stats/proc/creategroup.1317317654.txt.gz · Last modified: 2011/09/29 19:34 by Patrick Michel