chapel/test/library/standard/Reflection/field-queries-ok.chpl at 0a362909c2b50348f67c50482cb4e4874905b695 · chapel-lang/chapel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
// Check that getNumFields et al. handles a variety of aggregate types.
// See also: test/param/ferguson/field*
use Reflection;

proc test(type tp) {
  compilerWarning("===== ", tp:string);
  compilerWarning("  getNumFields    ", getNumFields(tp)         :string);
  compilerWarning("  getFieldName    ", getFieldName(tp, 5)             );
  compilerWarning("  hasField        ", hasField(tp, "f6")       :string);
  compilerWarning("  getFieldIndex   ", getFieldIndex(tp, "f6")  :string);
  compilerWarning("  isFieldBound 5  ", isFieldBound(tp, 5)      :string);
  compilerWarning("  isFieldBound f6 ", isFieldBound(tp, "f6")   :string);
}


class CCon {
  var f1, f2, f3, f4, f5, f6: int;
}

test(CCon);
test(CCon: owned class);
test(CCon: owned class?);
test(CCon: shared class);
test(CCon: shared class?);
test(CCon: borrowed class);
test(CCon: borrowed class?);
test(CCon: unmanaged class);
test(CCon: unmanaged class?);


class CGen {
  var f1, f2, f3, f4, f5, f6;
}

test(CGen(?));
test(CGen(?): owned class);
test(CGen(?): owned class?);
test(CGen(?): shared class);
test(CGen(?): shared class?);
test(CGen(?): borrowed class);
test(CGen(?): borrowed class?);
test(CGen(?): unmanaged class);
test(CGen(?): unmanaged class?);


record RCon {
  var f1, f2, f3, f4, f5, f6: int;
}

test(RCon);


record RGen {
  var f1, f2, f3, f4, f5, f6;
}

test(RGen(?));


union UCon {
  var f1, f2, f3, f4, f5, f6: int;
}

test(UCon);


compilerError("=== done ===");