Class: ServerConnection

Defined in:

web-src/coffee/model/server_connection.coffee

Instance Method Summary

# (void) constructor(error_callback)

# (void) set_urlprefix(str)

# (void) request_satisfiable(json, callback_function)

Send to the server a "is satisfiable" request

# (void) request_full_reasoning(json, strategy, reasoner, callback_function)

Send model to server request for full reasoning

# (void) request_translation(json, format, strategy, callback_function)

Send to the server a translation Request.

@param callback_function A functino to use as a callback when the response is recieved.

json ( string )
strategy ( String ) — "berardi", "crowd" or other strategy. Remember that a strategy cannot be applied to other visual languages.
format ( string ) — "owllink", "html" or any supported translation format by the server.

# (void) request_metamodel_translation(json, callback_function)

Send to the server a metamodel translation Request.

@param callback_function A function to use as a callback when the response is recieved.

# (void) request_meta2erd_translation(json, callback_function)

Send to the server a metamodel-to-ERD translation Request.

@param callback_function A function to use as a callback when the response is recieved.

# (void) request_meta2orm_translation(json, callback_function)

Send to the server a metamodel-to-ORM translation Request.

@param callback_function A function to use as a callback when the response is recieved.

# (void) request_fol_translation(json, callback_function)

# (void) request_owl2importer(owl, callback_function)

# (void) request_documentation(json, documenter, callback_function)