| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver432.c | 12 int fld1; member in struct:__anon79
23 global1.fld1++;
|
| H A D | struct_ptr_globals.c | 12 int fld1; member in struct:s
20 int fld1; member in struct:t
|
| H A D | struct_globals.c | 12 int fld1; member in struct:s
|
| H A D | dupthms.c | 16 int fld1; member in struct:s
32 return uval.carray[0] + uval.iarray[1] + uval.v.fld1;
|
| H A D | struct_locals.c | 11 struct s1 { int fld1; char c; }; member in struct:s1
|
| H A D | parse_struct.c | 13 int fld1; member in struct:struct1
31 if (sptr) { return sptr->fld1 + 1; }
37 return m.fld1 + 1;
47 return &(sptr->fld1);
57 s.s.fld1 = i + 4;
|
| H A D | bugzilla213.c | 12 typedef struct { int fld1, fld2; } tcb_t; member in struct:__anon74
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/theory_tests/ |
| H A D | dupop20171208aScript.sml | 5 val _ = Datatype `testtype = <| fld1 : 'a ; fld2 : num -> bool |>`;
|
| H A D | dupop20171208bScript.sml | 7 val _ = Datatype `testtype = <| fld0 : num ; fld1 : 'c ; fld3 : 'dd -> bool ;
|
| H A D | mdtScript.sml | 29 val _ = Datatype`testrcd = <| fld1 : bool ; fld2 : 'a -> num |>`;
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/ |
| H A D | recordEnumSimpsBScript.sml | 16 ���(r with fld1 := 3).fld1 = 3���,
20 ���(r with fld1 := 3).fld2 = r.fld2���,
|
| H A D | recordEnumSimpsAScript.sml | 14 val _ = Datatype���Record = <| fld1 : num ; fld2 : 'a -> num |>���;
25 ���(r with fld1 := 3).fld1 = 3���,
29 ���(r with fld1 := 3).fld2 = r.fld2���,
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | selftest.sml | 112 small_record = <| fld1 : num -> bool ; fld2 : num |>
115 val _ = Hol_datatype`squish_record = <|fld1:bool|>`
116 val _ = Hol_datatype`poly_squish_record = <|fld1:'a->'b|>`
121 `<| fld1 := SUC |>`
134 (``:(num,num)poly_squish_record``, [("fld1", ``SUC``)]) of
277 ("field sel. for fn type", ``r.fld1 x``, "r.fld1 x"),
279 ``r with fld1 := (\x. T)``, "r with fld1 := (\\x. T)"),
280 ("multi-field update", ``r with <| fld2 := 3; fld1
[all...] |
| H A D | Datatype.sml | 542 rcdty = <| fld1 : ty1 ; fld2 : ty2 ; ... fldmax : tymax |>
545 subrec1_ty = <| fld1 : ty1 ; fld2 : ty2 ; ... |> ;
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/record/ |
| H A D | RecordType.sml | 304 (r with fld1 updated by val).fld2 = r.fld2
306 fld1 (fld2_fupd val r) = fld1 r
422 !r1 r2. (r1 = r2) = (r1.fld1 = r2.fld1) /\ (r1.fld2 = r2.fld2)
451 r1 with <| fld1 := v1 ; fld2 := v2 |> =
452 <| fld1 := v1; fld2 := v2 |>
457 !r. ?v1 v2 v3. r = <| fld1 := v1; fld2 := v2; fld3 := v3 |>
461 (!v1 v2 v3. P <| fld1 := v1; fld2 := v2; fld3 := v3 |>)
466 (<| fld1
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | qbuf.sml | 21 ii) fld1 (lexbuf) is NONE iff current \in {BT_AQ, BT_EOI}
|
| H A D | selftest.sml | 611 val expected3 = [("ty", Record [("fld1", vbool), ("fld2", vbool -=> vbool)])]
624 ("h", "ty = <| fld1 : bool ; fld2 : bool -> bool |>;", expected3),
625 ("h", "ty = <| fld1 : bool ; fld2 : bool -> bool; |>;", expected3),
626 ("h", "ty= <|fld1:bool;fld2:bool->bool; |>;", expected3),
631 ("h", "ty= <|fld1:bool;fld2:bool->bool; |>;ty2=N|C 'a ty",
|
| H A D | term_pp.sml | 806 !x y :: (rec.fld1). body
|