EOrust.java:158-160: Implement the "put" method. Now it...

[0pdd]

The puzzle 2237-e2051aed from #2237 has to be resolved:

eo/eo-runtime/src/main/java/EOorg/EOeolang/EOrust.java

Lines 158 to 160 in 494408a

	* @todo #2237:45min Implement the "put" method. Now it does
	* nothing and created to check rust2java interaction. This
	* method relates to building a new eo object in rust insert.

The puzzle was created by @rultor on 21-Jul-23.

Estimate: 45 minutes, role: DEV.

If you have any technical questions, don't ask me, submit new tickets instead. The task will be "done" when the problem is fixed and the text of the puzzle is removed from the source code. Here is more about PDD and about me.

[levBagryansky]

Consider the example below

[] > rust-put-not-fails
  [content] > book
  QQ.rust > r
    """
    use eo_env::EOEnv;
    use eo_env::eo_enum::EO;
    use eo_env::eo_enum::EO::{EOInt};
    pub fn foo(env: &mut EOEnv) -> EO {
      let v = env.find("^.book") as u32;
      env.put(v, &[0x00, 0x1a, 0xEE]).unwrap();
      EOInt(0 as i64)
    }
    """
    *
      []
  assert-that > @
    book
    $.equal-to
      00-1A-EE

This test is incorrect since book does not have Δ attribute in its declaration

public final class EOω1book extends PhDefault {
  public EOω1book(final Phi sigma) {
    super(sigma);
  }
}

so we cannot put there anything.
@yegor256 please help. Maybe we can make Δ an orbitary attribute for all PhDefault? or put can also take "att" argument like
env.put(v, "content", &[0x00, 0x1a, 0xEE])?

[yegor256]

@levBagryansky it seems that the Rust code is wrong. You need 1) to make a copy of book, 2) make a copy of org.eolang.int, 3) put() a number into int.Δ, and finally 4) attach the copy of int to the copy of book.

[levBagryansky]

@yegor256 book does not have Δ attribute so should its copy have it?

[yegor256]

@levBagryansky there are only five objects in EO that have this attribute: int, float, string, bytes and bool. No other objects may have it.

[levBagryansky]

@yegor256 indeed, so should copy add "φ" attribute? In the example above book does not have it.

[yegor256]

@levBagryansky What are you trying to achieve? What should be the semantic of this Rust code? How can book be equal to three bytes? :)

[levBagryansky]

@yegor256 can you please provide an example with put?

[yegor256]

@levBagryansky I can, if you tell me what you want your program to do? Can you write it in EO, without Rust first?

[levBagryansky]

@yegor256 In this example r is a copy of book with value inside. Is it legal?

[] > rust-put-not-fails
  [] > book
    10 > price
  QQ.rust > r
    ...
  assert-that > @
    and. > @
      eq.
        r.price
        10
      eq.
        r
        00-1A-EE

[yegor256]

@levBagryansky this code won't work, since book is not data object and it doesn't decorate one. Also, book is a "closed" object in your example, you can't make a copy of it and then modify price.

[yegor256]

@maxonfjvipon can you please help?

[levBagryansky]

@yegor256 @maxonfjvipon is it legal?

[] > rust-put-not-fails
  "qwerty" > book
    10 > price
  QQ.rust > r
    ...
  assert-that > @
    and. > @
      eq.
        r.price
        10
      eq.
        r
        "War and Peace"

[0pdd]

The puzzle 2237-e2051aed has disappeared from the source code, that's why I closed this issue.