Function TestTrackerAddKeepsOrder

internal/tracker/tracker_gen_test.go:34–138

(t *testing.T)

)

func TestTrackerAddKeepsOrder(t *testing.T) {
	parameters := gopter.DefaultTestParameters()

	// uncomment when test fails and set the seed to the printed value
	// parameters.Rng.Seed(1234)
	arbitraries := arbitrary.DefaultArbitraries()

	nonEmptyIdentifier := gen.Identifier().SuchThat(func(v string) bool {
		return len(v) > 0
	})
	arbitraries.RegisterGen(gen.SliceOf(
		gen.Struct(reflect.TypeOf(taskRecord{}), map[string]gopter.Gen{
			"Ref":         gen.RegexMatch("^([[:alnum:]]+:)?[[:xdigit:]]+$"),
			"EffectiveOn": gen.Time(),
			"ExpiresOn":   gen.PtrOf(gen.Time()),
			"Tag":         gen.Identifier(),
			"Repository":  nonEmptyIdentifier,
		})))

	properties := gopter.NewProperties(parameters)

	properties.Property("collections are sorted", arbitraries.ForAll(
		func(records []taskRecord) bool {
			tracker, err := newTracker(nil)
			if err != nil {
				t.Fatal(err)
			}

			for _, r := range records {
				tracker.addTrustedTaskRecord(ociPrefix, r)
			}

			raw, err := tracker.Output()
			if err != nil {
				panic(err)
			}

			buff := bytes.NewBuffer(raw)
			scanner := bufio.NewScanner(buff)
			scanner.Split(bufio.ScanLines)

			// at this level of indentation, last string was
			lastAt := map[int]string{}
			lastLevel := 0
			for scanner.Scan() {
				line := scanner.Text()

				// ignore blank lines or document separator lines
				if line == "" || line == "---" {
					continue
				}

				if strings.HasPrefix(strings.TrimLeftFunc(line, unicode.IsSpace), "?") {
					// complex key, next line is the value
					_, line, _ = strings.Cut(line, "?")
					scanner.Scan()
				}