Paper

Takes as an input a program in EO and converts it to a semantically equivalent program, excluding the use of goto object. The input data is a program in .eo/.xmir format, as the output the program returns .eo/.xmir respectively.

Usage

To use this program, the first step is to download the JAR. Then:

$ java -jar target/dejump-1.0-SNAPSHOT-jar-with-dependencies.jar --help

An application has a CLI (Command line interface), which appears as:

Usage: dejump [-hV] [--eo] <file>
Replaces objects GOTO with semantically equivalent
      <file>      Absolute path of file to transform
      --eo        treat input file as EO program (not XMIR)
  -h, --help      Show this help message and exit.
  -V, --version   Print version information and exit.

Depending on the input file format, the output file format will be similar. By default, the input file format is .xmir.

In the directory that contains the file passed as a parameter, a new directory generated is created, in which, after the program is executed, the transformed file will be located.

Example

For the following .eo-code, which appears at temp/example.eo:

[] > example
  memory 0 > x
  goto > @
    [g]
      seq > @
        x.write (x.plus 1)
        if.
          x.eq 5
          g.forward x
          QQ.io.stdout "Again\n"
        g.backward

After the application is executed, the file temp/generated/example_transformed.eo will be created:

[] > example
  memory 0 > x
  seq > @
    flag_fwd.write -1
    flag_bwd.write 0
    while. > g_rem!
      or.
        flag_fwd.eq -1
        flag_bwd.eq 0
      [i]
        seq > @
          flag_fwd.write 0
          flag_bwd.write 1
          seq
            x.write (x.plus 1)
            if.
              x.eq 5
              flag_fwd.write 2
              QQ.io.stdout "Again\n"
            if.
              flag_fwd.eq 0
              flag_bwd.write 0
              TRUE
    if.
      flag_fwd.eq 2
      x
      g_rem
  memory -1 > flag_fwd
  memory 0 > flag_bwd

How to Contribute

You will need JDK 11+ and Maven 3.8+. Clone the repo and run the build like this:

$ mvn clean install -Pqulice

There are .eo files in src/test/eo/org/eolang/dejump, which you can edit or add your own source there. There are the following build steps that process these files:

At generate-test-sources Maven phase, gmavenplus-plugin takes all .eo sources and generates new ones. The files that it generates are not just .eo programs, but EO tests, which combine the code originally taken from original EO programs with the EO code generated. Thus, for src/test/eo/org/eolang/dejump/alpha.eo a modified EO source will be saved into target/eo-after/process_alpha-test.eo.
At process-test-sources phase, eo-maven-plugin process generated .eo files from target/eo-after directory and runs them as junit-tests.

All generated .eo junit-tests are deployed to gh-pages.

	@todo #52:30min Rewrite as OOP-style of applying functions and comparing
	results in MatcherAssert
	*/
	for (int idx = 0; idx < first.size(); idx++) {
	if (first.get(idx).contains("flag_")) {
	first.set(
	idx,
	String.format(
	"%sflag",
	first.get(idx).substring(0, first.get(idx).indexOf("flag_"))
	)
	);
	second.set(
	idx,
	String.format(
	"%sflag",
	second.get(idx).substring(0, second.get(idx).indexOf("flag_"))
	)
	);
	}
	if (first.get(idx).contains("g_")) {
	first.set(
	idx,
	String.format(
	"%srem",
	first.get(idx).substring(0, first.get(idx).indexOf("g_"))
	)
	);
	second.set(
	idx,
	String.format(
	"%srem",
	second.get(idx).substring(0, second.get(idx).indexOf("g_"))
	)
	);
	}
	}
	MatcherAssert.assertThat(
	first,
	Matchers.is(second)
	);
	}

	}

	@todo #54:30min Configure slf4j Logger and replace these line to Logger.debug
	*/

	* @todo #52:30min Rewrite for loop in fullRun method
	* as OOP-style of applying functions and comparing
	* results in MatcherAssert

	@todo #25:30m Add template for objects before that ones,
	that has attribute @uniq.

objectionary / dejump Goto Github PK

dejump's Introduction

Usage

Example

How to Contribute

dejump's People

Contributors

Stargazers

Watchers

Forkers

dejump's Issues

TODO:

Skeleton

Rate-Limited

Open

Detected dependencies

Recommend Projects

Recommend Topics

Recommend Org