User Tools

Site Tools


Writing /home/academic/ogsavkovic/public_html/wiki/data/cache/0/01f21848de708ef25657604b439f79ee.metadata failed
magik-demo:developer:class:core:queryspecialization

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
magik-demo:developer:class:core:queryspecialization [2013/08/23 16:05]
alex [readMeta]
magik-demo:developer:class:core:queryspecialization [2017/07/06 15:24] (current)
Line 221: Line 221:
 </​code>​ </​code>​
  
-Method that encodes ​in Prolog Foreign Keys not enforced+Method that reads the file with the program that runs the input generated (used in GUI)
  
 ---- ----
 +
 +==== generateQuery ====
 +
 +<code java>
 +public static java.lang.String generateQuery (Query query)</​code>​
 +
 +Method that generate a part of the command used for call specialization algorithm
 +
 +----
 +
 +==== generateCommand ====
 +
 +<code java>
 +public static java.lang.String generateCommand (java.lang.String q4p, 
 +                                                int maximal)
 +</​code>​
 +Method that generate the command used for call specialization algorithm
 +
 +----
 +
 +==== parseQuerySpecializationsTUProlog ====
 +
 +<code java>
 +public static java.util.ArrayList<​Query>​ parseQuerySpecializationsTuProlog (Query query, ​
 +                                                                            Schema schema, ​
 +                                                                            SolveInfo info) 
 +                                                                     ​throws ContextException, ​
 +                                                                            NoSolutionException
 +</​code>​
 +
 +Method that analyses the solutions given by Prolog and returns the list of the specialization (if there are)
 +
 +----
 +
 +==== getters and setters methods ====
 +
 +<code java>
 +public static java.lang.String getProlog_enconding()
 +public static void setProlog_enconding (java.lang.String prolog_enconding) ​
 +
 +public static java.lang.String getQueryForProlog() ​
 +public static void setQueryForProlog(java.lang.String queryForProlog)
 +
 +public static java.lang.String getMetaProlog()
 +public static void setMetaProlog(java.lang.String metaProlog)
 +
 +public static java.lang.String getCommandQuery()
 +public static void setCommandQuery(java.lang.String commandQuery)
 +
 +public static long getExecutionTime()
 +public static void setExecutionTime(long executionTime) ​
 +
 +public static java.lang.String getEncodingGUI()
 +public static void setEncodingGUI(java.lang.String encodingGUI)
 +
 +</​code>​
magik-demo/developer/class/core/queryspecialization.1377266724.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)