!7

set flag ConceptRef_markInToString.
//set flag MetaTransformer_debug.

concept Bla {
  S name;
  new Ref myRef;
  new RefL<Bla> references;
}

module > DynPrintLog {
  start-thread {
    new Concepts cc;
    Bla a = cnew(cc, Bla, name := "a");
    Bla b = cnew(cc, Bla, name := "hello", whatever := 123, ref := a, myRef := a,
      references := ll(a, a));
    pnl(conceptShadow_rawMap(a));
    ConceptShadow shadow = ConceptShadow(a);
    print(shadow);
    pnl(conceptShadow_rawMap(b));
    shadow = ConceptShadow(b);
    print(shadow);
    assertEqualsVerbose(getClassName(Bla), shadow.get(":class"));
    assertEqualsVerbose(ConceptID(a.id), shadow.get("ref"));
    assertEqualsVerbose(ConceptID(a.id), shadow.get("myRef"));
    assertEqualsVerbose(ll(ConceptID(a.id), ConceptID(a.id)), shadow.get("references"));
    assertEqualsVerbose(b.id, shadow.get("id"));
    assertEqualsVerbose("hello", shadow.get("name"));
    
    // check that 2 shadows of same unchanged object are equal
    assertEqualsVerbose(shadow, ConceptShadow(b));
    
    // change object
    cset(b, name := "newName");
    ConceptShadow shadow2 = new(b);
    assertNotEqualsVerbose(shadow, shadow2);
  }
}