...

Text file src/cuelang.org/go/cue/testdata/basicrewrite/014_disjunctions.txtar

Documentation: cuelang.org/go/cue/testdata/basicrewrite

     1# DO NOT EDIT; generated by go run testdata/gen.go
     2
     3#name: disjunctions
     4#evalPartial
     5-- in.cue --
     6o1:  1 | 2 | 3
     7o2:  (1 | 2 | 3) & 1
     8o3:  2 & (1 | *2 | 3)
     9o4:  (1 | *2 | 3) & (1 | 2 | *3)
    10o5:  (1 | *2 | 3) & (3 | *2 | 1)
    11o6:  (1 | 2 | 3) & (3 | 1 | 2)
    12o7:  (1 | 2 | 3) & (2 | 3)
    13o8:  (1 | 2 | 3) & (3 | 2)
    14o9:  (2 | 3) & (1 | 2 | 3)
    15o10: (3 | 2) & (1 | *2 | 3)
    16
    17m1: (1 | (*2 | 3)) & (>=2 & <=3)
    18m2: (1 | (*2 | 3)) & (2 | 3)
    19m3: (*1 | *(*2 | 3)) & (2 | 3)
    20m4: (2 | 3) & (*2 | 3)
    21m5: (*2 | 3) & (2 | 3)
    22
    23// (*2 | 3) & (2 | 3)
    24// (2 | 3) & (*2 | 3)
    25// 2&(*2 | 3) | 3&(*2 | 3)
    26// (*1 | (*2 | 3)) & (2 | 3)
    27// *1& (2 | 3) | (*2 | 3)&(2 | 3)
    28// *2&(2 | 3) | 3&(2 | 3)
    29
    30// (2 | 3)&(*1 | (*2 | 3))
    31// 2&(*1 | (*2 | 3)) | 3&(*1 | (*2 | 3))
    32// *1&2 | (*2 | 3)&2 | *1&3 | (*2 | 3)&3
    33// (*2 | 3)&2 | (*2 | 3)&3
    34// *2 | 3
    35
    36// All errors are treated the same as per the unification model.
    37i1: [1, 2][3] | "c"
    38-- out/def --
    39o1:  1 | 2 | 3
    40o2:  1
    41o3:  2
    42o4:  1 | 2 | 3 | *_|_
    43o5:  1 | *2 | 3
    44o6:  1 | 2 | 3
    45o7:  2 | 3
    46o8:  2 | 3
    47o9:  2 | 3
    48o10: 3 | *2
    49m1:  *2 | 3
    50m2:  *2 | 3
    51m3:  *2 | 3
    52m4:  *2 | 3
    53m5:  *2 | 3
    54
    55// All errors are treated the same as per the unification model.
    56i1: "c"
    57-- out/legacy-debug --
    58<0>{o1: (1 | 2 | 3), o2: 1, o3: 2, o4: (1 | 2 | 3 | *_|_), o5: (1 | *2 | 3), o6: (1 | 2 | 3), o7: (2 | 3), o8: (2 | 3), o9: (2 | 3), o10: (3 | *2), m1: (*2 | 3), m2: (*2 | 3), m3: (*2 | 3), m4: (*2 | 3), m5: (*2 | 3), i1: "c"}
    59-- out/compile --
    60--- in.cue
    61{
    62  o1: (1|2|3)
    63  o2: ((1|2|3) & 1)
    64  o3: (2 & (1|*2|3))
    65  o4: ((1|*2|3) & (1|2|*3))
    66  o5: ((1|*2|3) & (3|*2|1))
    67  o6: ((1|2|3) & (3|1|2))
    68  o7: ((1|2|3) & (2|3))
    69  o8: ((1|2|3) & (3|2))
    70  o9: ((2|3) & (1|2|3))
    71  o10: ((3|2) & (1|*2|3))
    72  m1: ((1|(*2|3)) & (>=2 & <=3))
    73  m2: ((1|(*2|3)) & (2|3))
    74  m3: ((*1|*(*2|3)) & (2|3))
    75  m4: ((2|3) & (*2|3))
    76  m5: ((*2|3) & (2|3))
    77  i1: ([
    78    1,
    79    2,
    80  ][3]|"c")
    81}
    82-- out/eval/stats --
    83Leaks:  1
    84Freed:  134
    85Reused: 126
    86Allocs: 9
    87Retain: 1
    88
    89Unifications: 18
    90Conjuncts:    150
    91Disjuncts:    135
    92-- out/eval --
    93(struct){
    94  o1: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
    95  o2: (int){ 1 }
    96  o3: (int){ 2 }
    97  o4: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
    98  o5: (int){ |(*(int){ 2 }, (int){ 1 }, (int){ 3 }) }
    99  o6: (int){ |((int){ 1 }, (int){ 2 }, (int){ 3 }) }
   100  o7: (int){ |((int){ 2 }, (int){ 3 }) }
   101  o8: (int){ |((int){ 2 }, (int){ 3 }) }
   102  o9: (int){ |((int){ 2 }, (int){ 3 }) }
   103  o10: (int){ |(*(int){ 2 }, (int){ 3 }) }
   104  m1: (int){ |(*(int){ 2 }, (int){ 3 }) }
   105  m2: (int){ |(*(int){ 2 }, (int){ 3 }) }
   106  m3: (int){ |(*(int){ 2 }, (int){ 3 }) }
   107  m4: (int){ |(*(int){ 2 }, (int){ 3 }) }
   108  m5: (int){ |(*(int){ 2 }, (int){ 3 }) }
   109  i1: (string){ "c" }
   110}

View as plain text