User Tools
magik-demo:developer:class:core:programgenerator
Differences
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:programgenerator [2013/07/26 10:29] 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> | <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> | </code> | ||
| - | |||
| - | An internal auxiliary function, needed for conversion of atoms of the query to prototypical EDB. | ||
| **Parameters:** | **Parameters:** | ||
| - | * atom - atom that we want to convert | ||
| * isUnfolding - //TRUE// if unfolding needed, //FALSE// no unfolding | * isUnfolding - //TRUE// if unfolding needed, //FALSE// no unfolding | ||
| + | * keyTarget - key taget | ||
| **Return** | **Return** | ||
| - | * String with the extensional database definition of the atom | + | * String Builder |
| ---- | ---- | ||
| - | ==== makeEDB_Atom ==== | + | ==== create_vector_Y ==== |
| <code java> | <code java> | ||
| - | static java.lang.String makeEDB_Atom (Atom atom, | + | private static StringBuilder create_vector_Y (int keyTarget) |
| - | boolean isUnfolding) | + | |
| </code> | </code> | ||
| - | |||
| - | An internal auxiliary function, needed for conversion of atoms of the query to prototypical EDB. | ||
| **Parameters:** | **Parameters:** | ||
| - | * atom - atom that we want to convert | + | * keyTarget - index of the key target |
| - | * isUnfolding - //TRUE// if unfolding needed, //FALSE// no unfolding | + | |
| **Return** | **Return** | ||
| - | * String with the extensional database definition of the atom | + | * String Builder |
| + | |||
| + | |||
| + | [[magik-demo:developer:class:core:programgenerator|Back to Top]] | [[magik-demo:start|Back to Home Page]] | ||
magik-demo/developer/class/core/programgenerator.1374827341.txt.gz · Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
