This shows you the differences between two versions of the page.
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> |