]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/profile-manager/profile-manager.xsl
proofs are now built lazily at the end of the computation
[helm.git] / helm / DEVEL / profile-manager / profile-manager.xsl
1 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
2
3   <xsl:template name="profile_manager_list">
4     <xsl:param name="managerURL" select="''"/>
5     <xsl:copy-of select="document(string-concat($managerURL, 'list'))"/>
6   </xsl:template>
7
8   <xsl:template name="profile_manager_new">
9     <xsl:param name="managerURL" select="''"/>
10     <xsl:param name="id" select="''"/> <!-- optional -->
11     <xsl:param name="password" select="''"/> <!-- optional -->
12     <xsl:copy-of select="document(concat($managerURL, 'new?id=', $id, '&amp;password=', $password))"/>
13   </xsl:template>
14   
15   <xsl:template name="profile_manager_delete">
16     <xsl:param name="managerURL" select="''"/>
17     <xsl:param name="id" select="''"/>
18     <xsl:param name="password" select="''"/> <!-- optional -->
19     <xsl:copy-of select="document(concat($managerURL, 'del?id=', $id, '&amp;password=', $password))"/>  
20   </xsl:template>
21   
22   <xsl:template name="profile_manager_get">
23     <xsl:param name="managerURL" select="''"/>
24     <xsl:param name="id" select="''"/>
25     <xsl:param name="password" select="''"/> <!-- optional -->
26     <xsl:copy-of select="document(concat($managerURL, 'get?id=', $id, '&amp;password=', $password))"/>  
27   </xsl:template>
28   
29   <xsl:template name="profile_manager_set">
30     <xsl:param name="managerURL" select="''"/>
31     <xsl:param name="id" select="''"/>
32     <xsl:param name="field" select="''"/>
33     <xsl:param name="value" select="''"/> <!-- optional -->
34     <xsl:param name="password" select="''"/> <!-- optional -->
35     <xsl:copy-of select="document(concat($managerURL, 'set?id=', $id, '&amp;field=', $field, '&amp;value=', $value, '&amp;password=', $password))"/>  
36   </xsl:template>
37   
38   <xsl:template name="profile_manager_set_password">
39     <xsl:param name="managerURL" select="''"/>
40     <xsl:param name="id" select="''"/>
41     <xsl:param name="old_password" select="''"/> <!-- optional -->
42     <xsl:param name="new_password" select="''"/> <!-- optional -->
43     <xsl:copy-of select="document(concat($managerURL, 'get?id=', $id, '&amp;old_password=', $old_password, '&amp;new_password=', $new_password))"/>  
44   </xsl:template>
45   
46   <xsl:template name="profile_manager_set_access">
47     <xsl:param name="managerURL" select="''"/>
48     <xsl:param name="id" select="''"/>
49     <xsl:param name="read" select="''"/> <!-- optional -->
50     <xsl:param name="write" select="''"/> <!-- optional -->
51     <xsl:param name="profile" select="''"/> <!-- optional -->
52     <xsl:copy-of select="document(concat($managerURL, 'get?id=', $id, '&amp;read=', $read, '&amp;write=', $write, '&amp;profile=', $profile))"/>  
53   </xsl:template>
54   
55 </xsl:stylesheet>