atompm.html 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  1. <!--****************************************************************************
  2. AToMPM - A Tool for Multi-Paradigm Modelling
  3. Copyright (c) 2011 Raphael Mannadiar (raphael.mannadiar@mail.mcgill.ca)
  4. This file is part of AToMPM.
  5. AToMPM is free software: you can redistribute it and/or modify it under the
  6. terms of the GNU Lesser General Public License as published by the Free Software
  7. Foundation, either version 3 of the License, or (at your option) any later
  8. version.
  9. AToMPM is distributed in the hope that it will be useful, but WITHOUT ANY
  10. WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
  11. PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
  12. You should have received a copy of the GNU Lesser General Public License along
  13. with AToMPM. If not, see <http://www.gnu.org/licenses/>.
  14. *****************************************************************************-->
  15. <html>
  16. <head>
  17. <meta charset="utf-8">
  18. <link rel="stylesheet" type="text/css" href="client/styles.css"/>
  19. <script text="text/javascript" src="client/globalVariables.js"></script>
  20. <script text="text/javascript" src="/socket.io/socket.io.js"></script>
  21. <script text="text/javascript" src="client/3rd_party_libs/sha1.js"></script>
  22. <script text="text/javascript" src="client/3rd_party_libs/raphael/raphael.js"></script>
  23. <script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/point.js"></script>
  24. <script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/group.js"></script>
  25. <script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/raphael.primitives.js"></script>
  26. <script text="text/javascript" src="client/3rd_party_libs/jquery-1.8.2.min.js"></script>
  27. <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
  28. <script text="text/javascript" src="client/constants.js"></script>
  29. <script text="text/javascript" src="types.js"></script>
  30. <script text="text/javascript" src="utils.js"></script>
  31. <script text="text/javascript" src="client/behaviourmanager.js"></script>
  32. <script text="text/javascript" src="client/behavioursc_inputbar.js"></script>
  33. <script text="text/javascript" src="client/behavioursc_canvas.js"></script>
  34. <script text="text/javascript" src="client/behavioursc_dialog.js"></script>
  35. <script text="text/javascript" src="client/http_utils.js"></script>
  36. <script text="text/javascript" src="client/window_event.js"></script>
  37. <script text="text/javascript" src="client/user_management.js"></script>
  38. <script text="text/javascript" src="client/init.js"></script>
  39. <script text="text/javascript" src="client/input_bar_utils.js"></script>
  40. <script text="text/javascript" src="client/gui_utils.js"></script>
  41. <script text="text/javascript" src="client/data_utils.js"></script>
  42. <script text="text/javascript" src="client/edit_utils.js"></script>
  43. <script text="text/javascript" src="client/compile_utils.js"></script>
  44. <script text="text/javascript" src="client/svg_utils.js"></script>
  45. <script text="text/javascript" src="client/mmm_utils.js"></script>
  46. <script text="text/javascript" src="client/selection_utils.js"></script>
  47. <script text="text/javascript" src="client/geometry_utils.js"></script>
  48. <script text="text/javascript" src="client/connection_utils.js"></script>
  49. <script text="text/javascript" src="client/window_management.js"></script>
  50. <script text="text/javascript" src="client/query_response.js"></script>
  51. <script text="text/javascript" src="client/collaboration.js"></script>
  52. <script text="text/javascript" src="client/client.js"></script>
  53. <script text="text/javascript" src="styleinfo.js"></script>
  54. <link rel="icon" href="favicon.png">
  55. <script>
  56. $(document).ready(function(){
  57. /**
  58. * Initiate the default Window Event actions
  59. */
  60. //WindowEventHelper.initDefault();
  61. });
  62. </script>
  63. </head>
  64. <body class="default_style">
  65. <div id="rootDiv" class="rootDiv">
  66. <div id="commandHistory" class="commandHistory">
  67. </div>
  68. <!--div id="inputDiv" class="inputDiv">
  69. <input placeholder="type 'help' to get information about querying" name="mainInput" type="text" class="mainInput" id="mainInput" onkeyup="InputBarUtils.processKey( event )"/>
  70. </div-->
  71. <div id="contentDiv" class="contentDiv">
  72. <div id="div_container" class="container">
  73. <div id="div_canvas" class="canvas"></div>
  74. </div>
  75. <div class="header" align="right">
  76. <a id="a_logout" class="enabled_link unselectable" onclick="UserManagement.logout(); return false;"><b>logout</b></a>
  77. </div>
  78. <div id="div_dock" class="dock"></div>
  79. </div>
  80. </div>
  81. <div class="footer" align="right">
  82. <!--a class="enabled_link unselectable" id="showChat" href=
  83. "javascript:Collaboration.toggleChat();">Show Chat</a><br>
  84. <div id="chat">
  85. <div id="menu">
  86. <p class="welcome">Welcome,</p>
  87. <div class="welcome" id="chatName"></div>
  88. <p class="logout"><a id="hideChat" href=
  89. "javascript:Collaboration.toggleChat();">Hide Chat</a></p>
  90. <div style="clear:both"></div>
  91. </div>
  92. <div id="chatbox"></div>
  93. <form name="message" action="javascript:Collaboration.sendText();" style=
  94. "padding-right:30px">
  95. <input name="usermsg" type="text" id="usermsg" size="63">
  96. <input name="submitmsg" type="submit" id="submitmsg" value=
  97. "Send">
  98. </form>
  99. </div-->
  100. <a id="a_screenshare" class="disabled_link unselectable" target="_blank">send <b>screenshare</b> invitation</a></br>
  101. <a id="a_modelshare" class="disabled_link unselectable" target="_blank">send <b>modelshare</b> invitation</a>
  102. </div>
  103. <div id="div_login" class="dark_bg" style="display:none;width:100%;height=100%">
  104. <div class="dark_bg"></div>
  105. <div class="login" style="text-align:center">
  106. <h3>Log in to use AToMPM</h3>
  107. <form onsubmit="return false;">
  108. <table class="default_style">
  109. <tr><td>username</td><td><input id="input_username" class="default_style" type="text"/></td></tr>
  110. <tr><td>password</td><td><input id="input_password" class="default_style" type="password"/></td></tr>
  111. </table></br>
  112. <div id="div_login_error" class="error"></div>
  113. <a href="#" class="enabled_link"
  114. onclick="
  115. UserManagement.validateCredentials($('#input_username').val(), $('#input_password').val());
  116. return false;"><h3>Log in</h3></a><br/>
  117. (don't have an account? <a href="#" class="enabled_link"
  118. onclick="
  119. $('#form_signup').css('display', 'inline');
  120. return false;">create one now</a>)
  121. </form><br/>
  122. <form id="form_signup" onsubmit="return false;" style="display:none">
  123. <table class="default_style">
  124. <tr><td>choose username</td><td><input id="new_username" class="default_style" type="text"/></td></tr>
  125. <tr><td>choose password</td><td><input id="new_password" class="default_style" type="password"/></td></tr>
  126. <tr><td>re-type password</td><td><input id="new_password2" class="default_style" type="password"/></td></tr>
  127. </table></br>
  128. <div id="div_signup_error" class="error"></div>
  129. <a href="#" class="enabled_link"
  130. onclick="
  131. $('#div_signup_error').html( '' );
  132. if( $('#new_password').val() != $('#new_password2').val() )
  133. $('#div_signup_error').html( 'passwords don\'t match' );
  134. else if( $('#new_password').val() == '' )
  135. $('#div_signup_error').html( 'you must specify a password' );
  136. else if( ! $('#new_username').val().match(/^[0-9a-zA-Z]*$/) )
  137. $('#div_signup_error').html( 'usernames must be alphanumeric' );
  138. else
  139. UserManagement.signup($('#new_username').val(), $('#new_password').val());
  140. $('#pleaseWaitNote').show();
  141. var dots = window.setInterval( function() {
  142. var wait = document.getElementById('waitNoteDots');
  143. if ( wait.innerHTML.length > 10 )
  144. wait.innerHTML = '';
  145. else
  146. wait.innerHTML += '.';
  147. }, 500);
  148. return false;"><h3>Create account</h3></a>
  149. <span id="pleaseWaitNote" style="display:none">User is being created, please wait<span id="waitNoteDots">.</span></span>
  150. </form>
  151. </div>
  152. </div>
  153. <div id="div_dim_bg" class="dim_bg" style="display:none"></div>
  154. <div id="div_dialog" class="dialog" style="display:none;text-align:center"></div>
  155. <div id="div_geom_ctrls" class="geometry_ctrls" style="display:none"></div>
  156. </body>
  157. </html>