Home Explore Help
Sign In
simon
/
AToMPM
Watch 4
Star 0
Fork 2
Files Issues 17 Pull Requests 0 Wiki
Tree: c4b44440e7
Branches Tags
AToMPM
/
client
/
atompm.html

atompm.html 8.2 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166 
  1. <!--****************************************************************************
    2. 

  2. *  This file is part of AToMPM - A Tool for Multi-Paradigm Modelling
    3. 

  3. *  Copyright 2011 by the AToMPM team and licensed under the LGPL
    4. 

  4. *  See COPYING.lesser and README.md in the root of this project for full details
    5. 

  5. *****************************************************************************-->
    6. 

  6. 

  7. <html>
    8. 

  8. 	<head>
    9. 

  9.         <title>AToMPM</title>
    10. 

  10. 		<meta charset="utf-8">
    11. 

  11. 		<link rel="stylesheet" type="text/css" href="client/styles.css"/>
    12. 

  12. 		<script text="text/javascript" src="client/globalVariables.js"></script>
    13. 

  13. 		<script text="text/javascript" src="/socket.io/socket.io.js"></script>
    14. 

  14. 		<script text="text/javascript" src="client/3rd_party_libs/sha1.js"></script>		
    15. 

  15. 		<script text="text/javascript" src="client/3rd_party_libs/raphael/raphael.js"></script>		
    16. 

  16. 		<script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/point.js"></script>				
    17. 

  17. 		<script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/group.js"></script>		
    18. 

  18. 		<script text="text/javascript" src="client/3rd_party_libs/raphael/plugins/raphael.primitives.js"></script>
    19. 

  19. 		<script text="text/javascript" src="client/3rd_party_libs/jquery-1.8.2.min.js"></script>
    20. 

  20. 		<script text="text/javascript" src="client/3rd_party_libs/d3/d3.min.js"></script>
    21. 

  21.         <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
    22. 

  22. 		<script text="text/javascript" src="client/constants.js"></script>		
    23. 

  23. 		<script text="text/javascript" src="types.js"></script>		
    24. 

  24. 		<script text="text/javascript" src="utils.js"></script>	
    25. 

  25. 		<script text="text/javascript" src="client/behaviourmanager.js"></script>
    26. 

  26. 		<script text="text/javascript" src="client/behavioursc_inputbar.js"></script>
    27. 

  27. 		<script text="text/javascript" src="client/behavioursc_canvas.js"></script>
    28. 

  28. 		<script text="text/javascript" src="client/behavioursc_dialog.js"></script>
    29. 

  29. 		<script text="text/javascript" src="client/http_utils.js"></script>
    30. 

  30. 		<script text="text/javascript" src="client/window_event.js"></script>
    31. 

  31. 		<script text="text/javascript" src="client/user_management.js"></script>
    32. 

  32. 		<script text="text/javascript" src="client/init.js"></script>
    33. 

  33. 		<script text="text/javascript" src="client/input_bar_utils.js"></script>
    34. 

  34. 		<script text="text/javascript" src="client/gui_utils.js"></script>
    35. 

  35. 		<script text="text/javascript" src="client/data_utils.js"></script>
    36. 

  36. 		<script text="text/javascript" src="client/edit_utils.js"></script>
    37. 

  37. 		<script text="text/javascript" src="client/compile_utils.js"></script>
    38. 

  38. 		<script text="text/javascript" src="client/svg_utils.js"></script>
    39. 

  39. 		<script text="text/javascript" src="client/mmm_utils.js"></script>
    40. 

  40. 		<script text="text/javascript" src="client/selection_utils.js"></script>
    41. 

  41. 		<script text="text/javascript" src="client/geometry_utils.js"></script>
    42. 

  42. 		<script text="text/javascript" src="client/connection_utils.js"></script>
    43. 

  43. 		<script text="text/javascript" src="client/window_management.js"></script>
    44. 

  44. 		<script text="text/javascript" src="client/file_browser.js"></script>
    45. 

  45. 		<script text="text/javascript" src="client/query_response.js"></script>
    46. 

  46. 		<script text="text/javascript" src="client/collaboration.js"></script>
    47. 

  47. 		<script text="text/javascript" src="client/layout.js"></script>
    48. 

  48. 		<script text="text/javascript" src="client/client.js"></script>
    49. 

  49. 		<script text="text/javascript" src="styleinfo.js"></script>
    50. 

  50.         <link rel="icon" href="favicon.png">
    51. 

  51. 		<script>
    52. 

  52. 			$(document).ready(function(){
    53. 

  53. 				/**
    54. 

  54. 				 * Initiate the default Window Event actions
    55. 

  55. 				 */
    56. 

  56. 				//WindowEventHelper.initDefault();
    57. 

  57. 			});
    58. 

  58. 		</script>
    59. 

  59. 	</head>
    60. 

  60. 	<body class="default_style">
    61. 

  61. 		<div id="rootDiv" class="rootDiv">
    62. 

  62. 			<div id="commandHistory" class="commandHistory">
    63. 

  63. 			</div>
    64. 

  64. 			<!--div id="inputDiv" class="inputDiv">
    65. 

  65. 				<input placeholder="type 'help' to get information about querying" name="mainInput" type="text" class="mainInput" id="mainInput" onkeyup="InputBarUtils.processKey( event )"/>
    66. 

  66. 			</div-->
    67. 

  67. 			<div id="contentDiv" class="contentDiv">
    68. 

  68. 				<div id="div_container" class="container">
    69. 

  69. 					<div id="div_canvas" class="canvas"></div>
    70. 

  70. 				</div>
    71. 

  71. 				<div class="header" align="right">
    72. 

  72. 					<a id="a_logout" class="enabled_link unselectable" onclick="UserManagement.logout(); return false;"><b>logout</b></a>
    73. 

  73. 				</div>
    74. 

  74. 				<div id="div_dock" class="dock"></div>
    75. 

  75. 			</div>
    76. 

  76. 		</div>
    77. 

  77. 

  78. 		<div class="footer" align="right">
    79. 

  79. 			<!--a class="enabled_link unselectable" id="showChat" href=
    80. 

  80. 			"javascript:Collaboration.toggleChat();">Show Chat</a><br>
    81. 

  81. 

  82. 			<div id="chat">
    83. 

  83. 			  <div id="menu">
    84. 

  84. 				<p class="welcome">Welcome,</p>
    85. 

  85. 

  86. 				<div class="welcome" id="chatName"></div>
    87. 

  87. 

  88. 				<p class="logout"><a id="hideChat" href=
    89. 

  89. 				"javascript:Collaboration.toggleChat();">Hide Chat</a></p>
    90. 

  90. 

  91. 				<div style="clear:both"></div>
    92. 

  92. 			  </div>
    93. 

  93. 

  94. 			  <div id="chatbox"></div>
    95. 

  95. 

  96. 			  <form name="message" action="javascript:Collaboration.sendText();" style=
    97. 

  97. 			  "padding-right:30px">
    98. 

  98. 				<input name="usermsg" type="text" id="usermsg" size="63">
    99. 

  99. 				<input name="submitmsg" type="submit" id="submitmsg" value=
    100. 

  100. 				"Send">
    101. 

  101. 			  </form>
    102. 

  102. 			</div-->
    103. 

  103. 			<a id="a_screenshare" class="disabled_link unselectable" target="_blank">send <b>screenshare</b> invitation</a></br> 
    104. 

  104. 			<a id="a_modelshare" class="disabled_link unselectable" target="_blank">send <b>modelshare</b> invitation</a>
    105. 

  105. 		</div>
    106. 

  106. 

  107. 		<div id="div_login" class="dark_bg" style="display:none;width:100%;height=100%">
    108. 

  108. 			<div class="dark_bg"></div>
    109. 

  109. 			<div class="login" style="text-align:center">
    110. 

  110. 				<h3>Log in to use AToMPM</h3>
    111. 

  111. 					<form onsubmit="return false;">
    112. 

  112. 						<table class="default_style">
    113. 

  113. 							<tr><td>username</td><td><input id="input_username" class="default_style" type="text"/></td></tr>
    114. 

  114. 							<tr><td>password</td><td><input id="input_password" class="default_style" type="password"/></td></tr>
    115. 

  115. 						</table></br>
    116. 

  116. 						<div id="div_login_error" class="error"></div>
    117. 

  117. 						<a href="#" class="enabled_link" 
    118. 

  118. 							onclick="
    119. 

  119. 								UserManagement.validateCredentials($('#input_username').val(), $('#input_password').val()); 
    120. 

  120. 								return false;"><h3>Log in</h3></a><br/>
    121. 

  121. 					   (don't have an account? <a href="#" class="enabled_link" 
    122. 

  122. 						 	onclick="
    123. 

  123. 								$('#form_signup').css('display', 'inline');
    124. 

  124. 								return false;">create one now</a>)
    125. 

  125. 					</form><br/>
    126. 

  126. 

  127. 					<form id="form_signup" onsubmit="return false;" style="display:none">
    128. 

  128. 						<table class="default_style">
    129. 

  129. 							<tr><td>choose username</td><td><input id="new_username" class="default_style" type="text"/></td></tr>
    130. 

  130. 							<tr><td>choose password</td><td><input id="new_password" class="default_style" type="password"/></td></tr>
    131. 

  131. 							<tr><td>re-type password</td><td><input id="new_password2" class="default_style" type="password"/></td></tr>
    132. 

  132. 						</table></br>
    133. 

  133. 						<div id="div_signup_error" class="error"></div>
    134. 

  134. 						<a href="#" class="enabled_link" 
    135. 

  135. 							onclick="
    136. 

  136. 								$('#div_signup_error').html( '' );
    137. 

  137. 								if( $('#new_password').val() != $('#new_password2').val() )
    138. 

  138. 									$('#div_signup_error').html( 'passwords don\'t match' );
    139. 

  139. 								else if( $('#new_password').val() == '' )
    140. 

  140. 									$('#div_signup_error').html( 'you must specify a password' );									
    141. 

  141. 								else if( ! $('#new_username').val().match(/^[0-9a-zA-Z]*$/) )
    142. 

  142. 									$('#div_signup_error').html( 'usernames must be alphanumeric' );							
    143. 

  143. 								else
    144. 

  144. 									UserManagement.signup($('#new_username').val(), $('#new_password').val()); 
    145. 

  145.                                 $('#pleaseWaitNote').show();
    146. 

  146.                                 var dots = window.setInterval( function() {
    147. 

  147.                                     var wait = document.getElementById('waitNoteDots');
    148. 

  148.                                     if ( wait.innerHTML.length > 10 ) 
    149. 

  149.                                         wait.innerHTML = '';
    150. 

  150.                                     else 
    151. 

  151.                                         wait.innerHTML += '.';
    152. 

  152.                                     }, 500);
    153. 

  153. 								return false;"><h3>Create account</h3></a>
    154. 

  154.                          <span id="pleaseWaitNote" style="display:none">User is being created, please wait<span id="waitNoteDots">.</span></span>
    155. 

  155. 					</form>						
    156. 

  156. 			</div>		
    157. 

  157. 		</div>
    158. 

  158. 		
    159. 

  159. 

  160. 		<div id="div_dim_bg" class="dim_bg" style="display:none"></div>
    161. 

  161. 		<div id="div_dialog" class="dialog" style="display:none;text-align:center"></div>		
    162. 

  162. 		<div id="div_geom_ctrls" class="geometry_ctrls" style="display:none"></div>
    163. 

  163. 	</body>
    164. 

  164. </html>
    165. 

  165. 

  166.