J2EO: Java to EO Translator

This is a translator of Java programming language to EOLANG programming language.

Usage

1. Make sure you have installed:

   • Java 11+ (make sure command java -version shows 11+ version of Java in terminal if you have multiple Java version installed).
   • Gradle 7.4+ to build the project.
   • Maven 3.8+ to run tests (be aware of possible conflicts of the latest versions of Maven and Java on some OSs).
   • ANTLR4 4.9.2 to build parser.

   You can refer to ACCEPTANCE.md file for instructions on installing these components.

2. Clone the repo into your folder:

   HTTPS:

   git clone https://github.com/polystat/j2eo.git
   cd ./j2eo

   or SSH:

   git clone git@github.com:polystat/j2eo.git
   cd ./j2eo

3. Build the project:

   ./build.sh

   • See the troubleshooting section in case of problems

4. After build process, j2eo.jar file will appear in the project root folder (./j2eo). With this file, is it possible to translate .java files or packages to .eo packages. Run:

   java -jar j2eo.jar <source .java file or directory with Java files> -o <output directory>

   to get the translation.

   For example,

   java -jar j2eo.jar src/test/resources/SimpleTest.java -o output_eo

   or

   java -jar j2eo.jar src/test/resources/polystat_tests/test1 -o output_eo

You can also use yegor256/j2eo image for Docker:

$ docker run -v $(pwd):/eo yegor256/j2eo hello.java --target output

This command will translate hello.java in the current directory, saving the output to output/ subdirectory.

Unit tests

Built-in unit tests may be executed using:

gradle test

Bundled test suite

J2EO comes with 1000+ bundled tests. There are two testing scenarios:

Static check execution:

• Java source code is translated to EO using J2EO project
• Obtained EO code are compared with saved one. If they match — test is passed. If not — test is failed.

All saved EO programs are located in translated_test directory.

This scenario can be executed by the following command:

./gradlew test --tests "common.TestJ2EOStaticCheck"

Parallel execution:

• original Java source code of the text is compiled with Java compiler and executed. Stdout output is saved.
• Java source code is translated to EO using J2EO project, then compiled with EO compiler and executed. Stdout output is stored.
• Stdout outputs are compared. If they match — test is passed. If not — test is failed.

This scenario may be executed using ./test_candidates.sh script.

Test suite follows the Java Language Specification structure, covering applicable chapters and sections of the Java specifications.

Running translator on Hadoop

Hadoop is a large Java project (contains ~1.8M lines of code as of time of writing this). We included it as a benchmark of the translator.

Repository contains a script to build J2EO, download Hadoop repo and run J2EO on it.

Usage:

./test-hadoop.sh

It will download zipped hadoop and unpack it (in a separate folder) into ../j2eo-data relative to the project's root. Next, it will put the If you no more need that folder, run

rm -rf ../j2eo-data

---

Motivation

This project is a part of Polystat project, the goal of which is to statically analyze different languages using EOLANG, the implementation of phi-calculus. In order to do that, the first step is to convert source language into EO. This particular repository contains translator from Java to EO.

---

Decisions

Q: Why do we implement yet another Java parser?

A: Publicly available parsers only support older versions of Java, while we aim to support the latest version ( currently 16). Thus, we had to create our own parser.

Also in recent versions, external Java grammar implemented in ANTLR was added as an alternative. It claims to support Java 17, and it does, as for our testing on big projects.

Q: Why do we implement EO AST?

A: Working with AST instead of raw strings allows utilization of Java compiler's type checking to minimize amount of bugs in our code. It is also much easier to work with abstraction layer than with strings.

---

How does it work?

• First, the Java source code files are parsed recursively.
• Then, for each file, translator converts Java AST to EO AST.
• Then, EO AST is printed out as a source code to output directory in the same directory structure.

---

Troubleshooting

Java

Make sure you have these in sync (mentioning (not pointing to) the same jdk directory)

• which java
• which javac
  • configure alternatives in case of mismatch (link)
• echo $JAVA_HOME
  • See how to set $JAVA_HOME (link)
  • If it still points to a wrong directory, see where you might have set it (link) and edit that place

---

Awesome Bugs translation

Awesome bugs repo

.java files:

• directStateAccess
• divByZero
• inheritance
• unjustifiedAssumption

Translations:

• directStateAccess
• divByZero
• inheritance
• unjustifiedAssumption

---

Test Translations

You can find all the .java tests translated to .eo files here.
To translate .java tests into .eo files manually, you have to perform the following steps:

1. Build the project
2. Locate J2EO-xxx.jar file in the ./build/libs/ folder
3. Copy this J2EO-xxx.jar file into the ./src/test/resources/test_candidates/ folder
4. Run generate_eo_from_tests.py script in that folder

The script takes some time while performing translation. In the end, you will get updated translated files in the ./src/test/resources/translated_tests/ folder.

Examples of Java to EOLang translation

We use Java language specification document as a foundation for Java feature hierarchy.
Java 16 language specification: see .pdf file

Ch. 4 - Types, Values, and Variables

• Increment operator: Java to EO

Ch. 5 - Conversions and Contexts

Ch. 6 - Names

• A simple declaration: Java to EO

Ch. 7 - Packages and Modules WIP

Ch. 8 - Classes

• Method class member: Java to EO
• Field initialization: Java to EO
• Method declaration: Java to EO
• Inner class: Java to EO

Ch. 9 - Interfaces

Ch. 10 - Arrays

• Primitive array declaration: Java to EO

Ch. 11 - Exceptions WIP

Ch. 14 - Block Statements, and Patterns

Ch. 15 - Expressions

• Left-hand operands are evaluated first: Java to EO
• Integer literal: Java to EO
• Complex parenthesized expression: Java to EO
• Creation of a simple integer array: Java to EO
• Postfix increment: Java to EO
• Unary plus operator: Java to EO
• Multiplication operator: Java to EO
• Variable right shift: Java to EO
• Greater operator: Java to EO
• Assignment operator: Java to EO

Ch. 16 - Definite Assignments WIP

Ch. 18 - Type inference WIP

---

Examples of translation projections

Bellow there are all designed mappings at the current moment. If you didn't find a construction in the list bellow it is probably unsupported.

This list is created accordingly Java SE 16. Some chapters are omitted because they related only to internal structure of Java. Others are omitted due to lack of implementation of translation.

4 Types, Values, and Variables

---

4.2 Primitive Types and Values

Any primitives types are supported. For handling them we use a primitives package. It provides memory wrappers for any primitive types.

Wrappers are more convenient way to simulate primitives types. For, example memory.write returns bool object instead itself, so for handling = operator we should do something like this:

[a b] > write
  seq > @
    a.write b
    a

It is more complex than just a.write b, where a and b are wrappers. Moreover, pure memory does not support in-place operations and conversions. Therefore, we decided to generate more beautiful EO code and use wrappers instead generation of unreadable code with pure 'memory'.

4.2.2 Integer Operations

The Java programming language provides a number of operators that act on integral values. Supported ones:

• The comparison operators, which result in a value of type boolean:
  • The numerical comparison operators <, <=, >, and >=
  • The numerical equality operators == and !=
• The unary plus and minus operators + and -
• The multiplicative operators *, /, and %
• The additive operators + and -
• The increment operator ++, both prefix and postfix
• The decrement operator --, both prefix and postfix
• The signed and unsigned shift operators <<, >>, and >>>
• The cast operator, which can convert from an integral value to a value of any specified numeric type

Common translation scheme:

expr_1 op expr_2 

-->

[] > binary
  expr_1.translated_op > @
    expr_2

Unary case:

expr op
// OR
op expr

-->

[] > unary
  expr.translated_op > @

Cast case:

(primitive_type) expr

-->

[] > cast
  translated_primitive_type.from expr

4.2.3 Floating-Point Types, Formats, and Values

Currently, there is only runtime support for double. Nevertheless, translator can handle float well, but output EO code would not be equivalent to initial one during runtime.

4.2.4 Floating-Point Operations

The Java programming language provides a number of operators that act on floating-point values. Supported operators:

• The comparison operators, which result in a value of type boolean:
  • The numerical comparison operators <, <=, >, and >=
  • The numerical equality operators == and !=
• The numerical operators, which result in a value of type float or double:
  • The unary plus and minus operators + and -
  • The multiplicative operators *, /, and %
• The additive operators + and -
• The increment operator ++, both prefix and postfix
• The decrement operator --, both prefix and postfix
• The cast operator, which can convert from a floating-point value to a value of any specified numeric type

Scheme of translation is the same as in 4.2.2

4.3 Reference Types and Values

Currently, only classes as reference types are supported. Identifier of class is prepended with class__ during translation.

4.4 Type Variables

Type variables are omitted due to lack of types in EO.

4.5 Parameterized Types

The same situation as 4.4

4.6 Type Erasure

The same situation as 4.4

4.9 Intersection Types

The same situation as 4.4

4.12.1 Variables of Primitive Type

Any primitive type variable is being stored on special handwritten objects (primitives). For example, int value will be stored in prim__int object, long in prim__long and so on.

Example:

float a;

-->

prim__float.constructor_1 > a
  prim__float.new

4.12.2 Variables of Reference Type

Any reference type variable is being stored on cage.

Example:

Ref a;

-->

cage > a

5 Conversions and Contexts

---

5.1.1 Identity Conversion

This conversion is omitted by the translator. E.g., (ClassA) class_a_instance is class_a_instance in the translator perspective.

5.1.2 Widening Primitive Conversion

19 specific conversions on primitive types are called the widening primitive conversions:

• byte to short, int, long, float or double
• short to int, long, float or double
• char to int, long, float or double
• int to long, float or double
• long to float or double
• float to double (runtime support is not precise)

All of them has runtime support.

Example:

(primitive_type) expr

-->

[] > cast
  translated_type.from > @
    expr

translated_type is obtained according to [4.12.1](#4.12.1-Variables of Primitive Type)

5.1.3 Narrowing Primitive Conversion

22 specific conversions on primitive types are called the narrowing primitive conversions:

• short to byte or char
• char to byte or short
• int to byte, short or char
• long to byte, short, char or int
• float to byte, short, char, int or long
• double to byte, short, char, int, long or float (runtime support is not precise)

All of them has runtime support.

Translation scheme is the same as 5.1.2

5.1.5 Widening Reference Conversion / 5.1.6 Narrowing Reference Conversion

The same situation as 4.4

5.1.11 String Conversion

Currently, there is no support for this type of conversion. User should manually resolve them. For example:

"1" + 1

it should be manually rewritten to:

"1" + String.valueOf(1)

In this case the translator would convert it to:

[] > binary_1
  literal_1.add > @
    methodInvocation_1
[] > literal_1
  class__String.constructor_2
    class__String.new
    "1"
[] > methodInvocation_1
  class__String.valueOf > @
    literal_2
[] > literal_2
  prim__int.constructor_2
    prim__int.new
    1 

6 Names

---

6.1 Declarations

A declaration introduces an entity into a program and includes an identifier. Supported declared entity is one of the following:

• An imported class or interface, declared in a single-type-import declaration or a type-import-on-demand declaration
• An imported static member, declared in a single-static-import declaration or a static-import-on-demand declaration
• A class, declared by a normal class declaration
• A member of a reference type, one of the following:
  • A member class
  • A field, one of the following:
    • A field declared in a class
    • The field length, which is implicitly a member of every array type
  • A method, one of the following:
    • A method (abstract or otherwise) declared in a class
• A formal parameter, one of the following:
  • A formal parameter of a method of a class
  • A formal parameter of a constructor of a class
• A local variable, one of the following:
  • A local variable declared by a local variable declaration statement in a block
• A local class, one of the following:
  • A local class declared by a normal class declaration

Any declaration is translated into EO object or EO copy of specific object. Example:

class A { body }

->

[] > class__A
  ...
  body
  ...

Or,

int a;

-->

prim__int.constructor_1 > a
  prim__int.new

6.2 Names and Identifiers

A name is used to refer to an entity declared in a program.

A simple name is a single identifier. Each simple identifier preserves name except classes. Their names are prepended with class__. There is no name mangling for variables.

A qualified name consists of a name, a "." token, and an identifier. Qualified names are separated to several objects during translation. Example:

a.b.c;

-->

[] > fieldAcces_1
  fieldAcess_2.c > @
[] > fieldAcces_2
  simpleRefence_1.b > @
[] > simpleRefence_1
  a

Of course, it can be optimized to just one EO object, but at this moment translator does not perform such optimization for keeping translation of dot-separated entities more general.

6.4 Shadowing and Obscuring

For now there is now handling of shadowing and obscuring.

6.6 Access Control

EO does not support access modifiers. All objects in an EO is public by default. Therefore, during translation such information is being lost.

7 Packages and Modules

---

7.5 Import Declarations

Currently, translator supports only single type import declaration and single static support declarations.

Example:

import a.b.c;
import static d.e.f;

-->

+alias a.b.class__c
+alias d.class_e.f

Any identifier in import declaration would be prepended with class__ if it's known that it is a class. Identifier java will be replaced with stdlib.

Example:

import java.lang.Random;

-->

+alias stdlib.lang.class__Random

8 Classes

---

8.1.1 Class Modifiers

Any modifiers except static are being omitted during translation. static is needed to distinguish a inner class from nested one.

8.3 Field Declarations

Currently, only non-static fields are supported.

8.4 Method Declarations

Any method would be translated into EO object. Name in this case would be saved.

Example:

static String m(int p_int, String p_str) {
    return p_int + p_str;
}

-->

[p_int p_str] > m
  seq > @
    return_1
  [] > return_1
    binary_1 > @
  [] > binary_1
    simpleReference_1.add > @
      simpleReference_2
  [] > simpleReference_1
    p_int > @
  [] > simpleReference_2
    p_str > @

Any non-static method will have additional parameter this that refers callee itself. It is necessary to implement overriding methods in EO correctly.

8.5 Member Class and Interface Declarations

Now only static nested classes are supported. Nested interfaces are unsupported. Example:

class Outer {
    class Inner {}
} 

-->

[] > class__Outer
  ...
  [] > class Inner
    ...

8.8 Constructor Declarations

Only non-multiple construction declarations with explicit super call are supported.

Example:

public A() {
    super();
    ...
}

-->

[this] > constructor
  seq > @
    initialization
    statementExpression_1
    ...
    this
  [] > initialization
    this.init > @
      this
  [] > statementExpression_1
    this.super.constructor > @
      this.super

initialization is responsible for init of default values.

statementExpression_1 is a super call emulation.

this is created object itself.

If no constructor is provided then translator generate default constructor.

Class translation structure:

[] > class__<Name of class>
  class__<Parent name> > super              # Inheritance simulation
  super > @
  [] > new                                  # new is representation 
                                            # of object itself
    class__<Parent name>.new > super
    super > @                               # Inheritance simulation
    "class__<Name of class>" > className    # Name of class is being saved

    1 > address                             # Identify that it 
                                            # isn't a null object

    [this] > init                           # Initializes class members
      ...                                   # default values

    ...                                     # Class methods and variables
  ...                                       # Static methods and variables
  [this] > constructor                      # Constructor
    ...

10 Arrays

---

10.2 Array Variables

Translator supports both types of arrays: primitive and reference. Examples: int[] and String[]

10.3 Array Creation

Look at 15.10.1 section.

10.4 Array Access

For access to array elements translator uses get provided by EO array object. However, as indexes it uses primitive wrappers. Example is provided in 15.10.3 section.

10.6 Array Initializers

An array initializer is written as a comma-separated list of expressions, enclosed by braces { and }. Example, { 1 + 1, 2 }

Currently, it is the only way to store something in array. Other types of initializers (e.g. new Type[num]) are unsupported.

Example:

{ 1 + 1, 2 }

-->

[] > initializerArray_1
  * > @
    initializerSimple_1
    initializerSimple_2
[] > initializerSimple_1
  binary_1 > @
[] > binary_1
  literal_1.add > @
    literal_2
[] > literal_1
  prim__int.constructor_2 > @
    prim__int.new
    1
[] > literal_2
  prim__int.constructor_2 > @
    prim__int.new
    1
[] > initializerSimple_2
  literal_3 > @
[] > literal_3
  prim__int.constructor_2 > @
    prim__int.new
    2

10.7 Array Members

For now only length attribute is supported. During translation, it remains unchanged.

14 Blocks, Statements, and Patterns

---

14.2 Blocks

By Java grammar, blocks are sequence of declarations and statements separated by curly braces. Translator creates new EO object for each block. Example:

{
    declaration;
    statement;
}

-->

[] > block_1
  seq > @
    declaration_1
    statement_1

Number after object name is needed just for avoiding name collisions. declaration_1 and statement_1 are EO objects. They describe internal structure of itself. Inside a seq object they are just dataizing.

Now let's look to real Java code:

void foo() {
    int a = 1;
    println(a);
}

->

1  [this] > foo
2    seq > @
3      variableDeclaration_1
4      statementExpression_1
5    prim__int.constructor_1 > a
6      prim__int.new
7    [] > variableDeclaration_1
8      a.write > @
9        initializerSimple_1
10   [] > initializerSimple_1
11     literal_1 > @
12   [] > literal_1
13     prim__int.constructor_2 > @
14       prim__int.new
15       1
16   [] > statementExpression_1
17     this.println > @
18       this
19       simpleReference_1
20   [] > simpleReference_1
21     a > @

Any variables in blocks are declared separately from the seq object. In this case int a was declared at lines 5-6. Also it has an initializer 1. So translator assign a to initializer value at lines 7-9. This initializer is simple one. It is a just literal. Translator mentioned it on lines 10-11. Literals are translated to EO objects itself (lines 12-15).

Any statement in blocks are statement expression by default. Their behaviour as a declarations are described separately. In this case statement println(a) is declared on lines 16-19. By default, any method is considered as class method. So access to it is performed via this (line 17). Moreover, it is necessary to pass this as argument during method invocation (line 18). println(a) is call with single argument a. It is a simple reference that was mentioned at line 19. Simple reference is itself a distinct object which translator declared on lines 20-21.

14.4 Local Variable Declarations

A local variable declaration declares and optionally initializes one or more local variables. Translator keeps location of declaration unchanged. E.g. class member declarations stay inside class body, local method variables stays inside a method body and e.t.c. Depending on the type declared entity can be stored in cage, primitive wrapper or in separate EO object.

Example of class member declaration:

class A {
    int member;
}

-->

[] > class__A
  ...
  [] > new
    ...
    prim__int.constructor_1 > member
      prim__int.new
  ...

Example of class member with initializer:

class A {
    int member = 0;
}

-->

[] > class__A
  ...
  [] > new
    ...
    [this] > init
      seq > @
        variableDeclaration_1
      [] > variableDeclaration_1
        this.member.write > @
          initializerSimple_1
      [] > initializerSimple_1
        literal_1 > @
      [] > literal_1
        prim__int.constructor_2 > @
          prim__int.new
          0
    prim__int.constructor_1 > member
      prim__int.new
  ...

In this case when instance of class A would be created, init object would be called for initializing variables.

Example of local method variable with initializer:

void m() {
    int a = 0;
}

-->

[this] > m
  seq > @
    variableDeclaration_1
  prim__int.constructor_1 > a
    prim__int.new
  [] > variableDeclaration_1
    a.write > @
      initializerSimple_1
  [] > initializerSimple_1
    literal_1 > @
  [] > literal_1
    prim__int.constructor_2 > @
      prim__int.new
      0

Here the same logic is applicable as in previous example. Variable itself is being stored out of seq object, but it dataizes its initialization.

Example with nested class is located in [8.5](#8.5 Member Class and Interface Declarations).

14.5 Statements

All statements of block are being stored inside seq object after translation. Each of them is represented by unique name which during dataization simulates behaviour of initial statement.

Example:

{
    int a = 1;
    method();
}

-->

[] > block_1
  seq > @
    variableDeclaration_1       # int a = 1;
    statementExpression_1       # method();
  prim__int.constructor_1 > a   # int a
    prim__int.new
  [] > variableDeclaration_1    # assignment
    a.write > @
      initializerSimple_1
  [] > initializerSimple_1
    literal_1 > @
  [] > literal_1                # literal: 1
    prim__int.constructor_2 > @
      prim__int.new
      1
  [] > statementExpression_1    # method()
    this.method > @             # call
      this

14.6 The Empty Statement

Translator ignores it.

14.9 The if Statement

Example:

if (cond) 
    then_block;
else
    else_block;

-->

[] > ifThenElse_1
  translated_cond.if > @
    block_1
    block_2
...                         # translation of cond
[] > block_1
  ...                       # then_block translation
[] > block_2
  ...                       # else_block translation

If no else part is provided then translator generate empty block (empty):

[] > empty_1
  TRUE > @

14.10 The assert Statement

Example:

assert cond : expr;

-->

[] > assert_1
  translated_cond.if > @
    TRUE
    []
      translated_expr > msg
...                         # translation of cond
...                         # translation of expr

14.12 The while Statement

Example:

while (cond)
    block;

-->

[] > while_1
  translated_cond.while > @
    [while_i]
      block_1 > @
...                         # translation of cond
[] > block_1
  ...                       # block translation

14.13 The do Statement

Example:

do
    block;
while (cond);

-->

[] > do_1
  translated_cond.do > @
    [do_i]
      block_1 > @
...                         # translation of cond
[] > block_1
  ...                       # block translation

Note: currently there is no runtime support of do object.

15 Expressions

---

15.8.1 Lexical Literals

Now supported only integer, floating point and string literals. Translator use wrappers to simulate behaviour of Java primitives. Let's consider an assign operator in Java write value into variable and return its value. memory in EO does not provide a such behaviour. Therefore, we need to use a wrapper.

Examples:

1 ->

[] > literal_1
  prim__int.constructor_2 > @
    prim__int.new
    1

1.0 ->

[] > literal_1
  prim__float.constructor_2 > @
    prim__float.new
    1.0

"string" ->

[] > literal_1
  class__String.constructor_2 > @
    class__String.new
    "string"

15.8.3 this

It's remaining unchanged.

15.8.5 Parenthesized Expressions

(expresion) ->

[] > parenthesized_1
  expresion > @

It can be simplified, but we keep such translation to maintain more complex cases.

15.9 Class Instance Creation Expression

new A(arg) ->

[] > statementExpression_1
  class__A.constructor > @
    class__A.new
    simpleReference_1
[] > simpleReference_1
  arg > @

For referencing variables simpleReference_1 is used. It can be simplified, but it's used for maintaining complex cases.

15.10.1 Array Creation Expressions

Currently, only creation with array initializers is supported. Example of array initializers: {1, 2, 3}.

For storing array translator uses cage object. For simulation of array initializers translator uses array aka * object from EO.

int[] array = {1} ->

[] > variableDeclaration_1
  array.write > @
    initializerArray_1
[] > initializerArray_1
  * > @
    initializerSimple_1
[] > initializerSimple_1
  literal_1 > @
[] > literal_1
  prim__int.constructor_2 > @
    prim__int.new
    1

15.10.3 Array Access Expressions

array[idx] ->

[] > statementExpression_1
  simpleReference_1.get > @
    simpleReference_2.v
[] > simpleReference_1
  array > @
[] > simpleReference_2
  idx > @

simpleReference_2.v is getting int value from wrapper.

15.11 Field Access Expressions

a.b ->

[] > statementExpression_1
  simpleReference_1.b > @
[] > simpleReference_1
  a > @

It can be simplified, but we keep such translation for generalization.

15.11.2 Accessing Superclass Members using super

a.super.b ->

[] > statementExpression_1
  simpleReference_1.super.b > @
[] > simpleReference_1
  a > @

15.12 Method Invocation Expressions

a.b(arg) ->

[] > statementExpression_1
  a.b > @                   # call of b
    a                       # a should be passed
    simpleReference_2       # args
[] > simpleReference_2
  arg > @

15.14.2 Postfix Increment Operator ++

expr++ ->

[] > statementExpression_1
  simpleReference_1.inc_post > @    # increment itself
[] > simpleReference_1
  expr > @

15.14.3 Postfix Decrement Operator --

expr-- ->

[] > statementExpression_1
  simpleReference_1.dec_post > @    # decrement itself
[] > simpleReference_1
  expr > @

15.15.1 Prefix Increment Operator ++

++expr ->

[] > statementExpression_1
  simpleReference_1.inc_pre > @    # increment itself
[] > simpleReference_1
  expr > @

15.15.2 Prefix Decrement Operator --

--expr ->

[] > statementExpression_1
  simpleReference_1.dec_pre > @    # decrement itself
[] > simpleReference_1
  expr > @

15.15.3 Unary Plus Operator +

+expr ->

[] > statementExpression_1
  simpleReference_1 > @
[] > simpleReference_1
  expr > @

It can be simplified, but we keep such translation for generalization.

15.15.4 Unary Minus Operator -

-expr ->

[] > statementExpression_1
  simpleReference_1.neg > @    # negation itself
[] > simpleReference_1
  expr > @

15.16 Cast Expressions

(int) 1.0 ->

[] > statementExpression_1
  prim__int.from > @               # cast itself
    literal_1
[] > literal_1
  prim__float.constructor_2 > @
    prim__float.new
    1.0

15.17-26 Binary Operators

left operand right ->

[] > statementExpression_1
  simpleReference_1.t_operand > @
    simpleReference_2
[] > simpleReference_1
  left > @
[] > simpleReference_2
  right > @

t_opernad is translated operand

There are only runtime support only for following operands: +, -, *, %, /, &&, ||, >, <, >=, <=, ==, !=, <<, >> and >>>