// Copyright 2022 The Bazel Authors. All rights reserved.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//    http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package com.google.devtools.build.lib.skyframe.serialization;

import static com.google.common.truth.Truth.assertThat;
import static com.google.devtools.build.lib.skyframe.serialization.strings.UnsafeStringCodec.stringCodec;

import com.google.common.collect.ImmutableList;
import com.google.devtools.build.lib.skyframe.serialization.testutils.TestUtils;
import com.google.protobuf.CodedInputStream;
import com.google.protobuf.CodedOutputStream;
import java.io.IOException;
import javax.annotation.Nullable;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.JUnit4;

/** Tests memo-based encoding and decoding, especially for cyclic data structures. */
@RunWith(JUnit4.class)
public class MemoizerTest {

  // These classes are used to model a potentially cyclic data structure with both mutable and
  // immutable components.

  private interface DummyLinkedList {

    String getValue();

    @Nullable
    DummyLinkedList getNext();
  }

  private static class MutableDummy implements DummyLinkedList {

    private final String value;

    @Nullable private DummyLinkedList next;

    MutableDummy(String value, @Nullable DummyLinkedList next) {
      this.value = value;
      this.next = next;
    }

    @Override
    public String getValue() {
      return value;
    }

    @Override
    @Nullable
    public DummyLinkedList getNext() {
      return next;
    }

    void setNext(@Nullable DummyLinkedList next) {
      this.next = next;
    }
  }

  private static class ImmutableDummy implements DummyLinkedList {

    private final String value;

    @Nullable private final DummyLinkedList next;

    ImmutableDummy(String value, @Nullable DummyLinkedList next) {
      this.value = value;
      this.next = next;
    }

    @Override
    public String getValue() {
      return value;
    }

    @Override
    @Nullable
    public DummyLinkedList getNext() {
      return next;
    }
  }

  @Test
  public void chainOfMutables() throws IOException, SerializationException {
    DummyLinkedList c = new MutableDummy("C", null);
    DummyLinkedList b = new MutableDummy("B", c);
    DummyLinkedList a = new MutableDummy("A", b);
    assertABC(TestUtils.roundTripMemoized(a));
  }

  @Test
  public void chainOfMixed() throws IOException, SerializationException {
    DummyLinkedList c = new MutableDummy("C", null);
    DummyLinkedList b = new ImmutableDummy("B", c);
    DummyLinkedList a = new MutableDummy("A", b);
    assertABC(TestUtils.roundTripMemoized(a));
  }

  @Test
  public void cycleOfMutables() throws IOException, SerializationException {
    MutableDummy b = new MutableDummy("B", null);
    DummyLinkedList a = new MutableDummy("A", b);
    b.setNext(a);
    assertABcycle(TestUtils.roundTripMemoized(a));
  }

  @Test
  public void cycleOfMixedWithMutableRoot() throws IOException, SerializationException {
    MutableDummy a = new MutableDummy("A", null);
    DummyLinkedList b = new ImmutableDummy("B", a);
    a.setNext(b);
    assertABcycle(TestUtils.roundTripMemoized(a));
  }

  @Test
  public void cycleOfMixedWithImmutableRoot() throws IOException, SerializationException {
    MutableDummy b = new MutableDummy("B", null);
    DummyLinkedList a = new ImmutableDummy("A", b);
    b.setNext(a);
    assertABcycle(TestUtils.roundTripMemoized(a));
  }

  // The following two tests verify that objects memoized using serialize can interoperate with
  // objects memoized using serializeLeaf, bidirectionally.

  @Test
  public void serializedLeaf_canBeBackreferenced() throws Exception {
    @SuppressWarnings("StringCopy") // deliberate to create different references
    String first = new String("foo");
    @SuppressWarnings("StringCopy") // deliberate to create different references
    String second = new String("foo");
    ImmutableList<Object> subject = ImmutableList.of(new Wrapper(first), second);
    assertThat(((Wrapper) subject.get(0)).value).isNotSameInstanceAs(subject.get(1));

    ImmutableList<Object> deserialized =
        TestUtils.roundTripMemoized(subject, new WrapperLeafCodec());
    assertThat(subject).isEqualTo(deserialized);
    // The "foo" instance memoized via serializeLeaf can be backreferenced by a codec that isn't
    // explicitly invoked via serializeLeaf.
    assertThat(((Wrapper) deserialized.get(0)).value).isSameInstanceAs(deserialized.get(1));
  }

  @Test
  public void serializeLeaf_canBackreferenceNonSerializeLeaf() throws Exception {
    @SuppressWarnings("StringCopy") // deliberate to create different references
    String first = new String("foo");
    @SuppressWarnings("StringCopy") // deliberate to create different references
    String second = new String("foo");
    ImmutableList<Object> subject = ImmutableList.of(first, new Wrapper(second));
    assertThat(subject.get(0)).isNotSameInstanceAs(((Wrapper) subject.get(1)).value);

    ImmutableList<Object> deserialized =
        TestUtils.roundTripMemoized(subject, new WrapperLeafCodec());
    assertThat(subject).isEqualTo(deserialized);
    // The "foo" instance memoized via serialize can be backreferenced by a codec that uses
    // serializeLeaf.
    assertThat(deserialized.get(0)).isSameInstanceAs(((Wrapper) deserialized.get(1)).value);
  }

  /** An example class that allows {@link LeafObjectCodec} to be exercised. */
  private static class Wrapper {
    private final String value;

    private Wrapper(String value) {
      this.value = value;
    }

    @Override
    public boolean equals(Object obj) {
      if (obj instanceof Wrapper that) {
        return value.equals(that.value);
      }
      return false;
    }

    @Override
    public int hashCode() {
      return value.hashCode();
    }
  }

  private static final class WrapperLeafCodec extends LeafObjectCodec<Wrapper> {
    @Override
    public Class<Wrapper> getEncodedClass() {
      return Wrapper.class;
    }

    @Override
    public boolean autoRegister() {
      return false;
    }

    @Override
    public void serialize(LeafSerializationContext context, Wrapper obj, CodedOutputStream codedOut)
        throws SerializationException, IOException {
      context.serializeLeaf(obj.value, stringCodec(), codedOut);
    }

    @Override
    public Wrapper deserialize(LeafDeserializationContext context, CodedInputStream codedIn)
        throws SerializationException, IOException {
      return new Wrapper(context.deserializeLeaf(codedIn, stringCodec()));
    }
  }

  /** Asserts that {@code value} has the linked list structure {@code A -> B -> C}. */
  private static void assertABC(DummyLinkedList value) {
    assertThat(value.getValue()).isEqualTo("A");
    assertThat(value.getNext()).isNotNull();
    assertThat(value.getNext().getValue()).isEqualTo("B");
    assertThat(value.getNext().getNext()).isNotNull();
    assertThat(value.getNext().getNext().getValue()).isEqualTo("C");
    assertThat(value.getNext().getNext().getNext()).isNull();
  }

  /** Asserts that {@code value} has the cyclic linked list structure {@code A -> B -> A...}. */
  private static void assertABcycle(DummyLinkedList value) {
    assertThat(value.getValue()).isEqualTo("A");
    assertThat(value.getNext()).isNotNull();
    assertThat(value.getNext().getValue()).isEqualTo("B");
    assertThat(value.getNext().getNext()).isNotNull();
    // Check instance identity to ensure we reproduced the object graph without creating duplicates.
    assertThat(value.getNext().getNext()).isSameInstanceAs(value);
  }
}