Differences

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

--- magik-demo:developer:class:core:programgenerator [2013/07/26 10:28]
alex [makeEDB_Atom]
+++ magik-demo:developer:class:core:programgenerator [2017/07/06 15:24] (current)
@@ Line 376: / Line 376: @@
 ----
-==== makeEDB_Atom ====
+==== createMaybe_V_vector_Y ====
 <code java>
-static java.lang.String makeEDB_Atom (Atom atom,
+private static java.lang.StringBuilder createMaybe_V_vector_Y (boolean isUnfolding,
-                                      boolean isUnfolding)
+                                                               int keyTarget)
 </code>
-An internal auxiliary function, needed for conversion of atoms of the query to prototypical EDB.
 **Parameters:**
-  * atom - atom that we want to convert
   * isUnfolding - //TRUE// if unfolding needed, //FALSE// no unfolding
+  * keyTarget - key taget
 **Return**
-  * String with the extensional database definition of the atom
+  * String Builder
 ----
+==== create_vector_Y ====
+<code java>
+private static StringBuilder create_vector_Y (int keyTarget)
+</code>
+**Parameters:**
+  * keyTarget - index of the key target
+**Return**
+  * String Builder
+[[magik-demo:developer:class:core:programgenerator|Back to Top]] | [[magik-demo:start|Back to Home Page]]

ognjen.savkovic@wikispace