cuelang.org/go@v0.10.1/cue/testdata/disjunctions/019_ips.txtar (about)

     1  # DO NOT EDIT; generated by go run testdata/gen.go
     2  #
     3  #name: ips
     4  #evalFull
     5  -- in.cue --
     6  IP: 4 * [ uint8]
     7  
     8  Private:
     9  	*[ 192, 168, uint8, uint8] |
    10  	[ 10, uint8, uint8, uint8] |
    11  	[ 172, >=16 & <=32, uint8, uint8]
    12  
    13  Inst: Private & [ _, 10, ...]
    14  
    15  MyIP: Inst & [_, _, 10, 10]
    16  -- out/def --
    17  IP: [uint8, uint8, uint8, uint8]
    18  Private: *[192, 168, uint8, uint8] | [10, uint8, uint8, uint8] | [172, >=16 & <=32, uint8, uint8]
    19  Inst: [10, 10, uint8, uint8]
    20  MyIP: [10, 10, 10, 10]
    21  -- out/legacy-debug --
    22  <0>{IP: [(int & >=0 & int & <=255),(int & >=0 & int & <=255),(int & >=0 & int & <=255),(int & >=0 & int & <=255)], Private: [192,168,(int & >=0 & int & <=255),(int & >=0 & int & <=255)], Inst: [10,10,(int & >=0 & int & <=255),(int & >=0 & int & <=255)], MyIP: [10,10,10,10]}
    23  -- out/compile --
    24  --- in.cue
    25  {
    26    IP: (4 * [
    27      &(int, >=0, <=255),
    28    ])
    29    Private: (*[
    30      192,
    31      168,
    32      &(int, >=0, <=255),
    33      &(int, >=0, <=255),
    34    ]|[
    35      10,
    36      &(int, >=0, <=255),
    37      &(int, >=0, <=255),
    38      &(int, >=0, <=255),
    39    ]|[
    40      172,
    41      (>=16 & <=32),
    42      &(int, >=0, <=255),
    43      &(int, >=0, <=255),
    44    ])
    45    Inst: (〈0;Private〉 & [
    46      _,
    47      10,
    48      ...,
    49    ])
    50    MyIP: (〈0;Inst〉 & [
    51      _,
    52      _,
    53      10,
    54      10,
    55    ])
    56  }
    57  -- out/eval/stats --
    58  Leaks:  3
    59  Freed:  54
    60  Reused: 48
    61  Allocs: 9
    62  Retain: 6
    63  
    64  Unifications: 48
    65  Conjuncts:    111
    66  Disjuncts:    60
    67  -- out/eval --
    68  (struct){
    69    IP: (#list){
    70      0: (int){ &(>=0, <=255, int) }
    71      1: (int){ &(>=0, <=255, int) }
    72      2: (int){ &(>=0, <=255, int) }
    73      3: (int){ &(>=0, <=255, int) }
    74    }
    75    Private: (list){ |(*(#list){
    76        0: (int){ 192 }
    77        1: (int){ 168 }
    78        2: (int){ &(>=0, <=255, int) }
    79        3: (int){ &(>=0, <=255, int) }
    80      }, (#list){
    81        0: (int){ 10 }
    82        1: (int){ &(>=0, <=255, int) }
    83        2: (int){ &(>=0, <=255, int) }
    84        3: (int){ &(>=0, <=255, int) }
    85      }, (#list){
    86        0: (int){ 172 }
    87        1: (number){ &(>=16, <=32) }
    88        2: (int){ &(>=0, <=255, int) }
    89        3: (int){ &(>=0, <=255, int) }
    90      }) }
    91    Inst: (#list){
    92      0: (int){ 10 }
    93      1: (int){ 10 }
    94      2: (int){ &(>=0, <=255, int) }
    95      3: (int){ &(>=0, <=255, int) }
    96    }
    97    MyIP: (#list){
    98      0: (int){ 10 }
    99      1: (int){ 10 }
   100      2: (int){ 10 }
   101      3: (int){ 10 }
   102    }
   103  }