testrandqueue2.d

// Copyright: Coverify Systems Technology 2013 - 2014
// License:   Distributed under the Boost Software License, Version 1.0.
//            (See accompanying file LICENSE_1_0.txt or copy at
//            http://www.boost.org/LICENSE_1_0.txt)
// Authors:   Puneet Goel <puneet@coverify.com>

import std.stdio;
import esdl.rand;
import esdl.data.bvec;
import esdl.data.queue;

int FFFF = 20;

class Foo
{
  mixin randomization;
  @rand Queue!(Queue!byte) foo;
  @rand int bar;
  void display() {
    import std.stdio;
    writeln(foo[]);
  }
  constraint!q{
    foo.length <= 4;
    foo.length >= 2;

    // foo.length > 0;
    // foo[0].length == 2;
    // bar.length == 3;

    /* feeopwfjope
     */

    foreach(i, ff; foo) {
      // if (i == 0) ff.length == 2;
      // foo[i].length > 4;
      ff.length <= 4;
      foreach(j, f; ff) {
	// f == j + 2;
	f < 20;
	f > 0;
      }
    }
  } aconst;
}

void main() {
  for (size_t j=0; j!=1; ++j) {
    Foo foo = new Foo;
    foo.seedRandom(0);
    for (size_t i=0; i!=10; ++i) {
      foo.randomize();
      foo.display();
    }
    import std.stdio;
    writeln("End of program");
  }
}