Changes between Version 6 and Version 7 of JooPo usage


Ignore:
Timestamp:
Oct 16, 2008 11:41:33 AM (9 years ago)
Author:
schuhmac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • JooPo usage

    v6 v7  
    11= JooPo usage =
    22
    3 == Bytecode ==
     3JooPo is not yet fully implemented.
     4Here you find preliminary information about what we know already or plan to incorporate.
     5 * [#Output Output]
     6 * [#Restrictions Restrictions]
     7   * [#Bytecode Bytecode]
     8   * [#Blockstructure Block structure]
     9   * [#Countloops Count loops]
     10   * [#Loopoparagraphs Loopo paragraphs]
     11
     12== Output ==
     13
     14As is planned, JooPo will output two files.
     15
     16The first one is a classfile, in which all elements are at strictest protected.
     17The classfile will have abstract methods for all loopo source methods in order to be refined by the loopo output.
     18The classfile will also have methods to be called from the loopo source for more complex operation carried out from within the superclass.
     19
     20The second one is a loopo source file with extracted recognized loopo loops fit into methods bodies.
     21The loop bodies will state the dependences and use calls to the superclass methods to pass their interrelation.
     22
     23== Restrictions ==
     24
     25=== Bytecode ===
    426
    527Bytecode recognition is based on the second edition of the java virtual machine specification.
    628
    7 == Block structure ==
     29=== Block structure ===
    830
    931As of now, there are various restraints to the code recognized.
     
    1840In any unforseeable case anything still should not work, be sure to write at least one instruction before the end of any block in order to confound the optimizer.
    1941
    20 == Count loops ==
     42=== Count loops ===
    2143
    2244Count loop detection is done purely syntactically, i.e. only checking for a certain fixed scheme, that one which is exerted by the standard java compiler.
    2345It expects a variable initialization terminating the last paragraph before the loop, an infinite loop terminated by an addition of the variable, and a break with the inverted loop condition as first statement beginning the loop. The variable may not be written in the loop body except for the addition.
    2446
    25 == Loopo paragraphs ==
     47=== Loopo paragraphs ===
    2648
    2749As is planned, loopo paragraphs impose various restrictions on the array usage within them.