Changes between Version 12 and Version 13 of WebInterface


Ignore:
Timestamp:
Apr 9, 2012, 5:04:16 PM (13 years ago)
Author:
manualwiki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WebInterface

    v12 v13  
    124124 * {{{function}}}: can be set in the text-field located under ”Starting node (function)”. The function should be given in the following form: {{{module name:function name/arity}}}. The interface offers possible endings here as well. 
    125125 
     126Modules or functions which you don't want to see in the graph, should be added to the Excluded list with the provided button, or directly in the text area separated by newlines. 
     127Modules or functions which leaves you don't want to see in the graph, should be added to the No leaves list the same way. 
     128You can also exclude all OTP modules/functions by checking the Exclude OTP checkbox. 
     129 
    126130After configurating an examination, click the ”Generate graph” button to start it. The result is available in two different graphic formats. By clicking ”Generated graph in .dot” the result is sent to the browser in .dot format. By clicking ”See generated graph in .svg” the result is displayed in a new window in the browser. 
    127131 
    … …  
    136140= Logging out = 
    137141If the interface is no longer needed, the user can log out by clicking the ”Log out {{{username}}}” button. During the logout process the interface clears the users session, deletes the dynamically generated images, which belong to the user, and redirects the browser to the login page. The interface does not delete the queries executed by the user, nor their results, and also keeps the state of the database. 
    138  
    139  
    140  
    141  
    142 * [wiki:WebInterface/Installation Installation] 
    143 * [wiki:WebInterface/StartUp Start up] 
    144 * [wiki:WebInterface/ShuttingDown Shutting down] 
    145 * [wiki:WebInterface/LoggingIn Logging in] 
    146 * [wiki:WebInterface/RunningSemanticQueries Semantic queries] 
    147 * [wiki:WebInterface/DatabaseOperations Database operations and environmental nodes] 
    148 * [wiki:WebInterface/Errors Errors] 
    149 * [wiki:WebInterface/DependencyExaminations Dependency examinations] 
    150 * [wiki:WebInterface/LoggingOut Logging out] 
    151