github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/propchecker_dir/sample_property_check.go (about)

     1  package main
     2  
     3  import (
     4      "github.com/DARA-Project/GoDist-Scheduler/propchecker"
     5      "log"
     6      "time"
     7  )
     8  
     9  func main() {
    10      start := time.Now()
    11      checker, err := propchecker.NewChecker("./example/example.prop")
    12      elapsed := time.Since(start)
    13      log.Printf("Parsing and Building took %s", elapsed)
    14      if err != nil {
    15          log.Fatal(err)
    16      }
    17  
    18      context := make(map[string]interface{})
    19      context["main.a"] = 15
    20      context["main.b"] = 20
    21  
    22      start = time.Now()
    23      result, failures, err := checker.Check(context)
    24      elapsed = time.Since(start)
    25      if err != nil {
    26          log.Fatal(err)
    27      }
    28      log.Printf("Checking Properties took %s\n", elapsed)
    29  	log.Println("All properties passed:",result)
    30  	log.Println("Total property check failures:", len(*failures))
    31  
    32      start = time.Now()
    33  	context["main.b"] = 15
    34      elapsed = time.Since(start)
    35  	result, failures, err = checker.Check(context)
    36  	if err != nil {
    37  		log.Fatal(err)
    38  	}
    39      log.Printf("Checking Properties took %s\n", elapsed)
    40  	log.Println("All properties passed:",result)
    41  	log.Println("Total property check failures:", len(*failures))
    42  }